Program Day 1

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

17:30 Reception and Posters

Using Domain Specific Languages to Support Verification in the Railway Domain,
Phillip James, Arnold Beckmann and Markus Roggenbach

From Fault Injection to Mutant Injection: the Next Step for Safety Analysis?,
Guillermo Rodriguez-Navas, Patrick Graydon and Iain Bate

Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering,
Magdalena Widl

play gallery

HVC 2012 Photo gallery

Keynote speakers

Previous Conferences

As in previous years, the post-conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS).

HVC 2012 Poster

HVC 2012 Poster

See us on Linked In See us on Facebook