July 9 (Wednesday) | Tutorials Day | |
---|---|---|
8:45 9:00 |
Opening Remarks Aarti Gupta, Sharad Malik Invited Tutorial Introductions | |
9:00 10:30 | Tutorial 1: Harry Foster, Mentor Graphics
Assertion-based Verification | |
10:30 11:00 | Break I | |
11:00 12:30 | Tutorial 2: John Harrison, Intel
Theorem Proving for Verification | |
12:30 2:00 | Lunch | |
2:00 3:30 | Tutorial 3: Peter O'Hearn, University of London
Tutorial on Separation Logic | |
3:30 4:00 | Break II | |
4:00 5:30 | Tutorial 4: Reinhard Wilhelm, Saarland University
Abstract Interpretation with Applications to Timing Validation | |
5:30 7:30 | Conference Reception | |
July 10 (Thursday) | Conference | |
8:45 9:00 | Welcome to CAV 2008 Aarti Gupta and Sharad Malik | |
9:00 10:00 | Invited Talk Chair: Aarti Gupta James Larus, Microsoft Research
| |
10:00 10:30 | Break I | |
10:30 12:30 | Session 1: Concurrency
Chair: Ahmed Bouajjani | |
10:30 11:00 | Akash Lal and Thomas Reps
| |
11:00 11:30 | Azadeh Farzan and Madhusudan Parthasarathy
| |
11:30 12:00 | Sarvani Vakkalanka, Ganesh Gopalakrishnan and Robert Kirby
| |
12:00 12:30 | Naoki Kobayashi and Davide Sangiorgi
| |
12:30 2:00 | Lunch | |
2:00 3:30 | Session 2: Memory Consistency
Chair: Ganesh Gopalakrishnan | |
2:00 2:30 | Surender Baswana, Shashank Mehta and Vishal Powar
| |
2:30 3:00 | Sebastian Burckhardt and Madanlal Musuvathi
| |
3:00 3:30 | Ariel Cohen, Amir Pnueli and Lenore Zuck
| |
3:30 4:00 | Break II | |
4:00 5:30 | Special Session: ACM 2007 Turing Award Winners
Chair: Amir Pnueli Edmund M. Clarke
E. Allen Emerson
Joseph Sifakis
| |
6:00 10:30 | Conference Banquet at Institute for Advanced Study, Princeton | |
July 11 (Friday) | Conference | |
9:00 10:30 | Session 3: Abstraction/Refinement
Chair: Orna Grumberg | |
9:00 9:30 | Mihaela Gheorghiu Bobaru, Corina Pasareanu and Dimitra Giannakopoulou
| |
9:30 10:00 | Ariel Cohen and Kedar Namjoshi
| |
10:00 10:30 | Holger Hermanns, Bjorn Wachter and Lijun Zhang
| |
10:30 11:00 | Break I | |
11:00 12:00 | Session 4: Hybrid Systems
Chair: Holger Hermanns | |
11:00 11:30 | Andre Platzer and Edmund Clarke
| |
11:30 12:00 | Sumit Gulwani and Ashish Tiwari
| |
12:00 12:30 | Session 5: Tools Dynamic Verification
Chair: Oded Maler | |
12:00 12:15 | Ambar Gadkari, Anand Yeolekar, J Suresh, Ramesh S, Swarup Kumar Mohalik and K.C. Shashidhar
| |
12:15 12:30 | Andreas Holzer, Christian Schallhart, Michael Tautschnig and Helmut Veith
| |
12:30 2:00 | Lunch | |
2:00 3:30 | Session 6: Modeling and Specification Formalisms
Chair: Roderick Bloem | |
2:00 2:30 | Salil Joshi and Barbara Konig
| |
2:30 3:00 | Deepak D'Souza and Madhu Gopinathan
| |
3:00 3:30 | Rajeev Alur, Aditya Kanade and Gera Weiss
| |
3:30 4:00 | Break II | |
4:00 5:30 | Session 7: Decision Procedures
Chair: John Harrison | |
4:00 4:30 | Himanshu Jain, Edmund Clarke and Orna Grumberg
| |
4:30 5:00 | Ruzica Piskac and Viktor Kuncak
| |
5:00 5:30 | Andy King and Harald Sondergaard
| |
5:30 6:30 | Session 8: Tools Decision Procedures
Chair: Clark Barrett | |
5:30 5:45 | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez Carbonell and Albert Rubio.
| |
5:45 6:00 | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Alberto Griggio and Roberto Sebastiani.
| |
6:00 6:15 | Dirk Beyer, Damien Zufferey and Rupak Majumdar
| |
6:15 6:30 | Laura Meikle and Jacques Fleuriot
| |
6:30 7:15 | CAV Business Meeting | |
July 12 (Saturday) | Conference | |
9:00 10:00 | Invited Talk Chair: Sharad Malik Edward Felten, Princeton University
| |
10:00 10:30 | Break I | |
10:30 12:30 | Session 9: Program Verification Chair: Ken McMillan | |
10:30 11:00 | Andreas Podelski, Andrey Rybalchenko and Thomas Wies
| |
11:00 11:30 | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko and Mooly Sagiv
| |
11:30 12:00 | Parosh Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frederic Haziza and Ahmed Rezine.
| |
12:00 12:30 | Huu Hai Nguyen and Wei-Ngan Chin.
| |
12:30 1:30 | Lunch | |
1:30 3:00 | Session 10: Program and Shape Analysis
Chair: Kedar Namjoshi | |
1:30 2:00 | Bhargav Gulavani and Sumit Gulwani
| |
2:00 2:30 | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano and Peter O'Hearn
| |
2:30 3:00 | Josh Berdine, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam and Mooly Sagiv
| |
3:00 3:30 | Break II | |
3:30 4:30 | Session 11: Tools Security and Program Analysis
Chair: Daniel Kroening | |
3:30 3:45 | Cas Cremers
| |
3:45 4:00 | Michael Backes, Stefan Lorenz, Matteo Maffei and Kim Pecina
| |
4:00 4:15 | Johannes Kinder and Helmut Veith
| |
4:15 4:30 | Stephen Magill, Ming-Hsien Tsai, Peter Lee and Yih-Kuen Tsay.
| |
4:45 11:45 | Manhattan Cruise Excursion (paid option) | |
July 13 (Sunday) | Conference | |
9:00 10:00 | Session 12: Hardware Verification I
Chair: Fabio Somenzi | |
9:00 9:30 | Cindy Eisner, Amir Nahir and Karen Yorav
| |
9:30 10:00 | Per Bjesse
| |
10:00 10:30 | Break I | |
10:30 11:45 | Session 13: Hardware Verification II
Chair: Karen Yorav | |
10:30 11:00 | Sudipta Kundu, Sorin Lerner and Rajesh Gupta
| |
11:00 11:30 | Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz and Gert-Martin Greuel
| |
11:30 11:45 | Kavita Ravi, Hyondeuk Kim, Hoonsang Jin, Petr Spacek, Robert P. Kurshan, Fabio Somenzi and John Pierce
| |
11:45 12:00 | Armin Biere | |
12:00 12:15 | Clark Barrett | |
12:15 2:00 | Lunch | |
2:00 3:00 | Session 14: Model Checking Chair: Steven German | |
2:00 2:30 | Sujatha Kashyap and Vijay Garg
| |
2:30 3:00 | Peter Niebert, Doron Peled and Amir Pnueli
| |
3:00 4:00 | Session 15: Space Efficient Algorithms
Chair: Lenore Zuck | |
3:00 3:30 | Pavel Simecek, Stefan Edelkamp and Peter Sanders
| |
3:30 4:00 | Rob van Glabbeek and Bas Ploeger
| |
4:00 4:30 | Break II | |
4:30 5:15 | Session 16: Tools Model Checking
Chair: Armin Biere | |
4:30 4:45 | Simon Gay, Rajagopal Nagarajan and Nikolaos Papanikolaou
| |
4:45 5:00 | Axel Legay
| |
5:00 5:15 | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel and Andreas Podelski
| |
End of Conference |