| 2007 | Modular Safety Checking for Fine-Grained Concurrency. | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
| 2007 | Footprint Analysis: A Shape Analysis That Discovers Preconditions. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2007 | Formalised Inductive Reasoning in the Logic of Bunched Implications. | James Brotherston |
| 2007 | Static Analysis of Dynamic Communication Systems by Partner Abstraction. | Jrg Bauer, Reinhard Wilhelm |
| 2007 | A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. | Francesco Banterle, Roberto Giacobazzi |
| 2006 | Shape Analysis for Low-Level Code. | Hongseok Yang |
| 2006 | Underapproximating Predicate Transformers. | David A. Schmidt |
| 2006 | Static Analysis in Disjunctive Numerical Domains. | Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta |
| 2006 | Abstract Interpretation with Specialized Definitions. | Germn Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2006 | Existential Label Flow Inference Via CFL Reachability. | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks |
| 2006 | Memory Leak Analysis by Contradiction. | Maksim Orlovich, Radu Rugina |
| 2006 | Separation Logic and Program Analysis. | Peter W. O'Hearn |
| 2006 | Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. | Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
| 2006 | Static Analysis for Java Servlets and JSP. | Christian Kirkegaard, Anders Mller |
| 2006 | Structural Invariants. | Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
| 2006 | Catching and Identifying Bugs in Register Allocation. | Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa |
| 2006 | Static Analysis of Numerical Algorithms. | Eric Goubault, Sylvie Putot |
| 2006 | Interprocedural Shape Analysis with Separated Heap Abstractions. | Alexey Gotsman, Josh Berdine, Byron Cook |
| 2006 | Combining Widening and Acceleration in Linear Relation Analysis. | Laure Gonnord, Nicolas Halbwachs |
| 2006 | Path-Sensitive Dataflow Analysis with Iterative Refinement. | Dinakar Dhurjati, Manuvir Das, Yue Yang |
| 2006 | Unleashing the Power of Static Analysis. | Manuvir Das |
| 2006 | Parametric and Termination-Sensitive Control Dependence. | Feng Chen, Grigore Rosu |
| 2006 | Analysis of Low-Level Code Using Cooperating Decompilers. | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
| 2006 | Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Toms Vojnar |