Program Day 2 - Wednesday 16/11/2016

09:00 - 10:00 Keynote: Bug Wars: Automation Awakens
Prof. Andreas Veneris, Dept. of Electrical and Computer Engineering, and Dept. of Computer Science, University of Toronto
Session Chair: Avi Ziv

10:00 - 11:30 Technical session: Debugging
Session chair: Andreas Veneris

Probabilistic Fault Localisation,
David Landsberg, Hana Chockler and Daniel Kroening

Iterative User-Driven Fault Localization,
Xiangyu Li, Marcelo d'Amorim and Alessandro Orso

Improving Efficiency and Accuracy of Formula-based Debugging,
Wei Jin and Alessandro Orso

11:30 - 12:00 Coffee Break

12:00 - 13:30 Technical Session: Games & Hybrid Systems
Session chair: Doron Peled

Improving Priority Promotion for Parity Games,
Massimo Benerecetti, Daniele Dell'Erba and Fabio Mogavero

Synthesis of Admissible Shields,
Laura Humphrey, Bettina Könighofer and Ufuk Topcu

Probabilistic hybrid systems verification via SMT and Monte Carlo techniques,
Fedor Shmarov and Paolo Zuliani

13:30 - 14:00 Lunch

14:00 - 22:00 Excursion