Program

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

Tuesday, August 22nd

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

09:00‑10:30  Session 1

09:00	Sumit Gulwani (Microsoft Research) Program Verification using Probabilistic Techniques [ppt]
10:00	Kevin Elphinstone , Gerwin Klein and Rafal Kolanski Formalising a High-Performance Microkernel

10:30‑11:00  Break

11:00‑12:30  Session 2

11:00	Oystein Thorsen and Charles Wallace Automated Verification of UPC Consistency
11:30	Jonathan Ostroff , Chen-wei Wang, Eric Kerfoot and Faraz Ahmadi Torshizi Automated Model-based Verification of Object-Oriented Code
12:00	Patrice Chalin and Perry James Cross-Verification of JML Tools: An ESC/Java2 Case Study

12:30‑14:00  Lunch break

14:00‑15:30  Session 3

14:00	Eric Feron and Arnaud Venet Static Stability Analysis of embedded, autocoded software
14:30	Jim Grundy (Intel Strategic Cad Laboratories) Challenges and Lessons for Software Verification [pdf]

15:30‑16:00  Break

16:00‑17:00  Session 4

16:00

Discussion