| 2012 | A Generalization of Stålmarck's Method. Aditya V. Thakur, Thomas W. Reps |
| 2012 | A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. Arnault Ioualalen, Matthieu Martel |
| 2012 | A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections. Jan Midtgaard, Michael D. Adams, Matthew Might |
| 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 | Automatic Fence Insertion in Integer Programs via Predicate Abstraction. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine |
| 2012 | Bilateral Algorithms for Symbolic Abstraction. Aditya V. Thakur, Matt Elder, Thomas W. Reps |
| 2012 | Binary Reachability Analysis of Higher Order Functional Programs. Ruslán Ledesma-Garza, Andrey Rybalchenko |
| 2012 | Computer-Aided Cryptographic Proofs. Gilles Barthe, Benjamin Grégoire, Santiago Zanella-Béguelin |
| 2012 | Control Flow Analysis for the Join Calculus. Peter Calvert, Alan Mycroft |
| 2012 | Craig Interpretation. Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2012 | Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong |
| 2012 | Finding Non-terminating Executions in Distributed Asynchronous Programs. Michael Emmi, Akash Lal |
| 2012 | Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner |
| 2012 | Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang |
| 2012 | Liveness-Based Pointer Analysis. Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat |
| 2012 | Loop Leaping with Closures. Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski |
| 2012 | Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. Roberto Giacobazzi, Isabella Mastroeni |
| 2012 | Modular Heap Analysis for Higher-Order Programs. Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani |
| 2012 | Modular Static Analysis with Zonotopes. Eric Goubault, Sylvie Putot, Franck Védrine |
| 2012 | On the Limits of the Classical Approach to Cost Analysis. Diego Esteban Alonso-Blas, Samir Genaim |
| 2012 | Path-Sensitive Backward Slicing. Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
| 2012 | Polyhedral Analysis Using Parametric Objectives. Jacob M. Howe, Andy King |
| 2012 | Satisfiability Solvers Are Static Analysers. Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2012 | Semantics and Analyses for JavaScript and the Web. Shriram Krishnamurthi |
| 2012 | Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings Antoine Miné, David Schmidt |
| 2012 | Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. Julien Henry, David Monniaux, Matthieu Moy |
| 2012 | Symbolic Learning of Component Interfaces. Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman |
| 2012 | Termination Proofs for Linear Simple Loops. Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay |
| 2012 | When the Decreasing Sequence Fails. Nicolas Halbwachs, Julien Henry |