| 2006 | Abstract Interpretation with Specialized Definitions. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo |
| 2006 | Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar |
| 2006 | Analysis of Low-Level Code Using Cooperating Decompilers. Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
| 2006 | Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm. Alexey Loginov, Thomas W. Reps, Mooly Sagiv |
| 2006 | Beyond Iteration Vectors: Instancewise Relational Abstract Domains. Pierre Amiranoff, Albert Cohen, Paul Feautrier |
| 2006 | Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
| 2006 | Catching and Identifying Bugs in Register Allocation. Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa |
| 2006 | Certificate Translation for Optimizing Compilers. Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk |
| 2006 | Combining Widening and Acceleration in Linear Relation Analysis. Laure Gonnord, Nicolas Halbwachs |
| 2006 | Cryptographically-Masked Flows. Aslan Askarov, Daniel Hedin, Andrei Sabelfeld |
| 2006 | Existential Label Flow Inference Via CFL Reachability. Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks |
| 2006 | Interprocedural Shape Analysis with Separated Heap Abstractions. Alexey Gotsman, Josh Berdine, Byron Cook |
| 2006 | Memory Leak Analysis by Contradiction. Maksim Orlovich, Radu Rugina |
| 2006 | Parametric and Termination-Sensitive Control Dependence. Feng Chen, Grigore Rosu |
| 2006 | Path-Sensitive Dataflow Analysis with Iterative Refinement. Dinakar Dhurjati, Manuvir Das, Yue Yang |
| 2006 | Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems. Julien Bertrane |
| 2006 | Recency-Abstraction for Heap-Allocated Storage. Gogul Balakrishnan, Thomas W. Reps |
| 2006 | Separation Logic and Program Analysis. Peter W. O'Hearn |
| 2006 | Shape Analysis for Low-Level Code. Hongseok Yang |
| 2006 | Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. Gilad Arnold |
| 2006 | Static Analysis for Java Servlets and JSP. Christian Kirkegaard, Anders Møller |
| 2006 | Static Analysis in Disjunctive Numerical Domains. Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta |
| 2006 | Static Analysis of Numerical Algorithms. Eric Goubault, Sylvie Putot |
| 2006 | Static Analysis of String Manipulations in Critical Embedded C Programs. Xavier Allamigeon, Wenceslas Godard, Charles Hymans |
| 2006 | Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings Kwangkeun Yi |
| 2006 | Structural Invariants. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu |
| 2006 | Underapproximating Predicate Transformers. David A. Schmidt |
| 2006 | Unleashing the Power of Static Analysis. Manuvir Das |