Workshop Program


VSSE 2018

Friday 20 April 2018, Amfitrion II

08:00 Registration opens
09:00 – 09:15 Welcome
09:15 – 10:00 Slicing Version Histories to Support Feature Reuse
Julia Rubin
10:00 – 10:30 Coffee Break
10:45 – 11:30 Agile Development of Business-Critical Systems? Formal Methods!
Michael Tautschnig
11:30 – 12:15 How Automated Tools Change the Way We Write Code
Peter Schrammel
12:30 – 13:45 Lunch
13:45 – 14:30 Coupling Predicates as a Versatile Tool for Relational Verification
Mattias Ulbrich
14:30 – 15:15 Structuring Simulink Models for Verification and Reuse
Michael W. Whalen
15:15 – 16:00 Mark Santolucito
Learning Models of Configuration Correctness
16:00 – 16:30 Coffee Break
16:30 – 17:15 Michael Emmi
Verifying Constant-Time Implementations
17:15 – 18:00 Proof-Guided Debugging
Subhajit Roy