| 2010 | Automatic Abstraction for Intervals Using Boolean Formulae. | Jrg Brauer, Andy King |
| 2010 | Concurrent Separation Logic for Pipelined Parallelization. | Christian J. Bell, Andrew W. Appel, David Walker |
| 2010 | Deriving Numerical Abstract Domains via Principal Component Analysis. | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
| 2010 | Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2010 | From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramrez-Deantes |
| 2009 | Polymorphic Fractional Capabilities. | Hirotoshi Yasuoka, Tachio Terauchi |
| 2009 | Inferring Dataflow Properties of User Defined Table Processors. | Songtao Xia, Manuel Fhndrich, Francesco Logozzo |
| 2009 | The Causal Graph Revisited for Directed Model Checking. | Martin Wehrle, Malte Helmert |
| 2009 | Inter-program Properties. | Andrei Voronkov, Iman Narasamdya |
| 2009 | The Complexity of Andersen's Analysis in Practice. | Manu Sridharan, Stephen J. Fink |
| 2009 | Optimizing Pointer Analysis Using Bisimilarity. | Luke Simon |
| 2009 | Region Analysis for Race Detection. | Helmut Seidl, Vesal Vojdani |
| 2009 | Abstraction Refinement for Quantified Array Assertions. | Mohamed Nassim Seghir, Andreas Podelski, Thomas Wies |
| 2009 | Abstract Interpretation from a Topological Perspective. | David A. Schmidt |
| 2009 | Algorithmic Verification of Systems Software Using SMT Solvers. | Shaz Qadeer |
| 2009 | A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. | David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris |
| 2009 | Type Analysis for JavaScript. | Simon Holm Jensen, Anders Mller, Peter Thiemann |
| 2009 | Automatic Parallelization and Optimization of Programs by Proof Rewriting. | Clment Hurlin |
| 2009 | Refinement of Trace Abstraction. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2009 | Bottom-Up Shape Analysis. | Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori |
| 2009 | Abstract Interpretation of FIFO Replacement. | Daniel Grund, Jan Reineke |
| 2009 | Invariant Checking for Programs with Procedure Calls. | Guillem Godoy, Ashish Tiwari |
| 2009 | Creating Transformations for Matrix Obfuscation. | Stephen Drape, Irina Voiculescu |
| 2009 | Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. | Kyung-Goo Doh, Hyunha Kim, David A. Schmidt |
| 2009 | Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |