| 2009 | A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
| 2009 | Abstract Interpretation from a Topological Perspective. David A. Schmidt |
| 2009 | Abstract Interpretation of FIFO Replacement. Daniel Grund, Jan Reineke |
| 2009 | Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. Kyung-Goo Doh, Hyunha Kim, David A. Schmidt |
| 2009 | Abstraction Refinement for Quantified Array Assertions. Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
| 2009 | Algorithmic Program Synthesis with Partial Programs and Decision Procedures. Rastislav Bodík |
| 2009 | Algorithmic Verification of Systems Software Using SMT Solvers. Shaz Qadeer |
| 2009 | Automatic Parallelization and Optimization of Programs by Proof Rewriting. Clément Hurlin |
| 2009 | Bottom-Up Shape Analysis. Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
| 2009 | Creating Transformations for Matrix Obfuscation. Stephen Drape, Irina Voiculescu |
| 2009 | Increasing the Scope and Resolution of Interprocedural Static Single Assignment. Silvian Calman, Jianwen Zhu |
| 2009 | Inferring Dataflow Properties of User Defined Table Processors. Songtao Xia, Manuel Fähndrich, Francesco Logozzo |
| 2009 | Inter-program Properties. Andrei Voronkov, Iman Narasamdya |
| 2009 | Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
| 2009 | Invariant Checking for Programs with Procedure Calls. Guillem Godoy, Ashish Tiwari |
| 2009 | Optimizing Pointer Analysis Using Bisimilarity. Luke Simon |
| 2009 | Polymorphic Fractional Capabilities. Hirotoshi Yasuoka, Tachio Terauchi |
| 2009 | Proving the Correctness of the Implementation of a Control-Command Algorithm. Olivier Bouissou |
| 2009 | Refinement of Trace Abstraction. Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2009 | Region Analysis for Race Detection. Helmut Seidl, Vesal Vojdani |
| 2009 | Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings Jens Palsberg, Zhendong Su |
| 2009 | The Causal Graph Revisited for Directed Model Checking. Martin Wehrle, Malte Helmert |
| 2009 | The Complexity of Andersen's Analysis in Practice. Manu Sridharan, Stephen J. Fink |
| 2009 | Type Analysis for JavaScript. Simon Holm Jensen, Anders Møller, Peter Thiemann |