| 2012 | Modular Heap Analysis for Higher-Order Programs. | Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
| 2012 | Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. | Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong |
| 2012 | Binary Reachability Analysis of Higher Order Functional Programs. | Rusln Ledesma-Garza, Andrey Rybalchenko |
| 2012 | Semantics and Analyses for JavaScript and the Web. | Shriram Krishnamurthi |
| 2012 | Liveness-Based Pointer Analysis. | Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat |
| 2012 | Path-Sensitive Backward Slicing. | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
| 2012 | A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. | Arnault Ioualalen, Matthieu Martel |
| 2012 | Polyhedral Analysis Using Parametric Objectives. | Jacob M. Howe, Andy King |
| 2012 | Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. | Julien Henry, David Monniaux, Matthieu Moy |
| 2012 | When the Decreasing Sequence Fails. | Nicolas Halbwachs, Julien Henry |
| 2012 | Modular Static Analysis with Zonotopes. | Eric Goubault, Sylvie Putot, Franck Vdrine |
| 2012 | Symbolic Learning of Component Interfaces. | Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman |
| 2012 | Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2012 | Finding Non-terminating Executions in Distributed Asynchronous Programs. | Michael Emmi, Akash Lal |
| 2012 | Satisfiability Solvers Are Static Analysers. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2012 | A Voyage to the Deep-Heap. | Dino Distefano |
| 2012 | An Abstract Domain to Infer Types over Zones in Spreadsheets. | Tie Cheng, Xavier Rival |
| 2012 | Termination Proofs for Linear Simple Loops. | Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay |
| 2012 | Control Flow Analysis for the Join Calculus. | Peter Calvert, Alan Mycroft |
| 2012 | Inference of Polynomial Invariants for Imperative Programs: A Farewell to Grbner Bases. | David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner |
| 2012 | Loop Leaping with Closures. | Sebastian Biallas, Jrg Brauer, Andy King, Stefan Kowalewski |
| 2012 | Computer-Aided Cryptographic Proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2012 | On the Limits of the Classical Approach to Cost Analysis. | Diego Esteban Alonso-Blas, Samir Genaim |
| 2012 | Craig Interpretation. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2012 | Automatic Fence Insertion in Integer Programs via Predicate Abstraction. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |