Programme of the Barcelona Meeting (10-11 March 2016)

Schedule 2016-03-10 Thu
9:00 Welcome
9:30 Malte Schmitz: “Runtime Monitoring with Union-Find Structures”
10:15 Luke Chircop, “Device-Centric Monitoring for Mobile Device Management”
11:00 Coffee Break
11:30 Luis Pina, “Deploying dynamic analyses and preventing compiler backdoors with multi-version execution”
12:15 Manuel Dolz “Embedding Semantics of the Single-Producer/Single-Consumer Lock-Free Queue into a Race Detection Tool”
13:00 Lunch Break
14:30 COST Action Discussion 1 : Summer School 2016
16:00 Coffee Break
16:30 COST Action Discussion 2 : Tutorial Book
Schedule 2016-03-11 Fri
9:00 Welcome
9:30 Jorge Villamayor, “Distributed Coordinated Checkpoints with Replication for Automatic Recovery”
10:15 Raymond Hu: “Hybrid Session Verification through Endpoint API Generation”
11:00 Coffee Break
11:30 Nuno Machado, “Production-guided Concurrency Debugging”
12:15 Fran Cazorla, “Runtime Timing Verification in Embedded Real-Time Systems: the PROXIMA approach”
13:00 Lunch Break
14:30 Vijay Janapa Reddi: “Simulation and Analysis Engine for System-Level Program Introspection”
15:15 Violet Ka I Pun, “Statically and Dynamically verifiable SLA metrics”
16:00 Coffee Break
16:30 Closing remarks