VSSE2014

Local Information

9:00 - 9.45	Model-based information flow analysis to support software certification Leon Moonen (Simula Research Laboratory) [slides]
9:45 - 10.30	Verifying Programs by Evolving (Under)-Approximations Arie Gurfinkel (Carnegie Mellon University) [slides]
10:30 - 11.00	Coffee
11:00 - 11.45	Program Repair without Regret Barbara Jobstmann (Verimag) [slides]
11:45 - 12.30	Programming in Stages K. Rustan M. Leino (Microsoft Research) [slides]
12:30 - 14.00	Lunch
14:00 - 14.45	Verification-Aided Regression Testing Fabrizio Pastore (Università degli Studi di Milano-Bicocca) [slides]
14:45 - 15.30	Applications of Symbolic Finite Automata Margus Veanes (Microsoft Research) [slides]
15:30 - 16.00	Producing Effective Interpolants for SAT-based Incremental Verification and Upgrade Checking Grigory Fedyukovich (University of Lugano) [slides]