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
Keynote Speakers
- Prof. Swarat Chaudhuri, Rice University
- Dr. Markulf Kohlweiss, Researcher, Microsoft Research
- Dr. Rajeev K. Ranjan, Senior Group Director, R&D Formal and Automated verification, Cadence
- Prof. Andreas Veneris, University of Toronto