| 2008 | THOR: A Tool for Reasoning about Shape and Arithmetic. | Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay |
| 2008 | T(O)RMC: A Tool for (omega)-Regular Model Checking. | Axel Legay |
| 2008 | Singularity: Designing Better Software (Invited Talk). | James R. Larus |
| 2008 | Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. | Akash Lal, Thomas W. Reps |
| 2008 | Faster Than Uppaal? | Sebastian Kupferschmid, Martin Wehrle, Bernhard Nebel, Andreas Podelski |
| 2008 | Validating High-Level Synthesis. | Sudipta Kundu, Sorin Lerner, Rajesh Gupta |
| 2008 | A Hybrid Type System for Lock-Freedom of Mobile Processes. | Naoki Kobayashi, Davide Sangiorgi |
| 2008 | Inferring Congruence Equations Using SAT. | Andy King, Harald Sndergaard |
| 2008 | Jakstab: A Static Analysis Platform for Binaries. | Johannes Kinder, Helmut Veith |
| 2008 | Application of Formal Word-Level Analysis to Constrained Random Simulation. | Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi |
| 2008 | Producing Short Counterexamples Using "Crucial Events". | Sujatha Kashyap, Vijay K. Garg |
| 2008 | Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. | Salil Joshi, Barbara Knig |
| 2008 | Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. | Himanshu Jain, Edmund M. Clarke, Orna Grumberg |
| 2008 | FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. | Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2008 | Probabilistic CEGAR. | Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2008 | Theorem Proving for Verification (Invited Tutorial). | John Harrison |
| 2008 | Constraint-Based Approach for Analysis of Hybrid Systems. | Sumit Gulwani, Ashish Tiwari |
| 2008 | A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. | Bhargav S. Gulavani, Sumit Gulwani |
| 2008 | Correcting a Space-Efficient Simulation Algorithm. | Rob J. van Glabbeek, Bas Ploeger |
| 2008 | QMC: A Model Checker for Quantum Systems. | Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou |
| 2008 | AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar |
| 2008 | Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial). | Harry Foster |
| 2008 | Coping with Outside-the-Box Attacks. | Edward W. Felten |
| 2008 | Monitoring Atomicity in Concurrent Programs. | Azadeh Farzan, P. Madhusudan |
| 2008 | Functional Verification of Power Gated Designs by Compositional Reasoning. | Cindy Eisner, Amir Nahir, Karen Yorav |