Program Day 1

PDF version for printing (343 KB)

09:00 Registration

09:30 Opening Remarks,
Oded Cohn, Director, IBM Research – Haifa

10:00 Keynote Speaker: On Behavioral Programming,
Prof. David Harel, Weizmann Institute of Science
Session Chair: João Lourenço, New University of Lisbon

11:00 Break

11:30 Technical Session 1: Software Testing and Verification
Session Chair: Eran Yahav, Technion

11:30 Precise Detection of Atomicity Violations (Winner of the Best Paper Award),
Vasco Pessanha, Ricardo Dias, and João Lourenço

12:00 Proving Mutual Termination of Programs,
Dima Elenbogen, Shmuel Katz, and Ofer Strichman

12:30 Knowledge-Based Transactional Behavior,
Saddek Bensalem, Marius Bozga, Doron Peled, and Jean Quilbeuf

13:00 Lunch

14:30 Technical Session 2: Software Testing and Verification, Poster Promos
Session Chair: Onn Shehory, IBM Research – Haifa

14:30 (Tool Paper) FoREnSiC - An Automatic Debugging Environment for C Programs,
Roderick Bloem, Rolf Drechsler, Goerschwin Fey, Alexander Finder, Georg Hofferek, Robert Koenighofer, Jaan Raik, Urmas Repinski, and Andre Suelflow

14:45 Repair with on-the-fly Program Analysis,
Robert Koenighofer and Roderick Bloem

15:15 Poster Promos

15:30 Break

16:00 Technical Session 3: SAT
Session Chair: Ofer Strichman, Technion

16:00 Computing Interpolants without Proofs,
Alexander Ivrii, Arie Matsliah, and Hana Chockler

16:30 MaxSAT-Based MCS Enumeration,
Antonio Morgado, Mark Liffiton, and João Marques-Silva

17:00 Automated Reencoding of Boolean Formulas,
Norbert Manthey, Marijn Heule, and Armin Biere