Program

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

Monday, August 21st

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

09:15‑10:30  Session 1: Invited Talk

09:15	Welcoming Remarks
09:30	Byron Cook (Microsoft Research) Automatic Termination Proofs for Systems-level Code [ppt]

10:30‑11:00  Break

11:00‑12:00  Session 2

11:00	Ganna Zaks and Amir Pnueli Translation Validation of Interprocedural Optimizations
11:30	Luke Simon, Ajay Mallya, Ajay Bansal and Gopal Gupta Co-Logic Programming: Extending Logic Programming with Coinduction

12:30‑14:00  Lunch break

14:00‑15:30  Session 3

14:00	Aleks Zaks, Ilya Shlyakhter , Franjo Ivancic, Srihari Cadambi, Zijiang Yang, Malay Ganai, Aarti Gupta and Pranav Ashar Using Range Analysis for Software Verification
14:30	Elvira Albert , Miguel Gómez-Zamalloa, Laurent Hubert and German Puebla Java Bytecode Verification using Analysis and Transformation of Logic Programs
15:00	Stefano Tonetta and Natasha Sharygina A Uniform Framework for Predicate Abstraction Approximation

15:30‑16:00  Break

16:00‑17:00  Session 4

16:00	Achim D. Brucker and Burkhart Wolff A Package for Extensible Object-Oriented Data Models with an Application to IMP++
16:30	Dieu Donne Okalas Ossami, Jeanine Souquieres and Jean-Pierre Jacquot Ensuring Specifications Correctness by Construction