| 2007 | An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. Mathias Péron, Nicolas Halbwachs |
| 2007 | An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu |
| 2007 | Assertion Checking Unified. Sumit Gulwani, Ashish Tiwari |
| 2007 | Automata-Theoretic Model Checking Revisited. Moshe Y. Vardi |
| 2007 | Automated Verification of Shape and Size Properties Via Separation Logic. Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |
| 2007 | Better Under-Approximation of Programs by Hiding Variables. Thomas Ball, Orna Kupferman |
| 2007 | Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. Francesco Logozzo |
| 2007 | Constraint Solving for Interpolation. Andrey Rybalchenko, Viorica Sofronie-Stokkermans |
| 2007 | Constructing Specialized Shape Analyses for Uniform Change. Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W. Reps |
| 2007 | DIVINE: DIscovering Variables IN Executables. Gogul Balakrishnan, Thomas W. Reps |
| 2007 | Interpolants and Symbolic Model Checking. Kenneth L. McMillan |
| 2007 | Invariant Synthesis for Combined Theories. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
| 2007 | Language-Based Abstraction Refinement for Hybrid System Verification. Felix Klaedtke, Stefan Ratschan, Zhikun She |
| 2007 | Lattice Automata. Orna Kupferman, Yoad Lustig |
| 2007 | Learning Algorithms and Formal Verification (Invited Tutorial). P. Madhusudan |
| 2007 | Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. Sigmund Cherem, Radu Rugina |
| 2007 | Model Checking Nonblocking MPI Programs. Stephen F. Siegel |
| 2007 | Model Checking Via GammaCFA. Matthew Might, Benjamin Chambers, Olin Shivers |
| 2007 | More Precise Partition Abstractions. Harald Fecher, Michael Huth |
| 2007 | On Flat Programs with Lists. Marius Bozga, Radu Iosif |
| 2007 | Shape Analysis of Single-Parent Heaps. Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2007 | Symmetry and Completeness in the Analysis of Parameterized Systems. Kedar S. Namjoshi |
| 2007 | The Constraint Database Approach to Software Verification. Peter Z. Revesz |
| 2007 | The Spotlight Principle. Björn Wachter, Bernd Westphal |
| 2007 | Towards Shape Analysis for Device Drivers. Hongseok Yang |
| 2007 | Using First-Order Theorem Provers in the Jahob Data Structure Verification System. Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard |
| 2007 | Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings Byron Cook, Andreas Podelski |
| 2007 | Verifying Compensating Transactions. Michael Emmi, Rupak Majumdar |