Program

All sessions will take place in Suite 3128 unless otherwise indicated.

Monday, August 21st

Monday's program is also available with abstracts or side by side with other meetings.

08:30‑10:30  Session 1: Practice
Chair: Roderick Bloem

08:30	John Moondanos (Future Formal Technologies Group, Logic Design Group, Intel) From Error to Error: Debugging in the Era of Multi-core Designs
09:15	Alper Sen (Freescale Semiconductor Inc) Error Diagnosis in Equivalence Checking of High Performance Microprocessors
10:00	Lionel van den Berg, Paul Strooper and Wendy Johnston An Automated Approach for the Interpretation of Counter-Examples

10:30‑11:00  Break

11:00‑12:30  Session 2: Debugging
Chair: Fabio Somenzi

11:00	Jooyong Lee Dynamic Reverse Code Generation for Backward Execution
11:30	Andreas Zeller (University of Saarbruecken) Where Do Bugs Come From? [pdf]

12:30‑14:00  Lunch break

14:00‑15:30  Session 3: Fault Localization
Chair: Marco Roveri

14:00	Wolfgang Mayer and Markus Stumptner Model-Based Debugging -- State of the Art And Future Challenges
15:00	Irith Pomeranz and Sudhakar Reddy On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits

15:30‑16:00  Break

16:00‑18:00  Session 4: From Localization to Correction
Chair: Alex Groce

16:00	Andreas Griesmayer, Stefan Staber and Roderick Bloem Automated Fault Localization for C Programs
16:30	Martin Rinard (MIT) Automated Techniques for Surviving Software Errors [ppt]
17:30	Juan Carlos López Pimentel , Raúl Monroy and Dieter Hutter A method for patching interleaving-replay attacks in faulty security protocols