| 2012 | A Case for Behavior-Preserving Actions in Separation Logic. David Costanzo, Zhong Shao |
| 2012 | A Dynamic Interpretation of the CPS Hierarchy. Marek Materzok, Dariusz Biernacki |
| 2012 | A Functional View of Imperative Information Flow. Thomas H. Austin, Cormac Flanagan, Martín Abadi |
| 2012 | A Generic Cyclic Theorem Prover. James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen |
| 2012 | A New Order-Theoretic Characterisation of the Polytime Computable Functions. Martin Avanzini, Naohi Eguchi, Georg Moser |
| 2012 | A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti |
| 2012 | Concurrent Test Generation Using Concolic Multi-trace Analysis. Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta |
| 2012 | Decision Procedures over Sophisticated Fractional Permissions. Xuan Bach Le, Cristian Gherghina, Aquinas Hobor |
| 2012 | Dynamic Software Update for Message Passing Programs. Gabrielle Anderson, Julian Rathke |
| 2012 | End-to-end Multilevel Hybrid Information Flow Control. Lennart Beringer |
| 2012 | Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. Pascal Sotin, Xavier Rival |
| 2012 | Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. Aloïs Brunel, Antoine Madet |
| 2012 | Inference of Necessary Field Conditions with Abstract Interpretation. Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich |
| 2012 | JATO: Native Code Atomicity for Java. Siliang Li, Yu David Liu, Gang Tan |
| 2012 | Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma, Zhengwei Qi |
| 2012 | Lazy v. Yield: Incremental, Linear Pretty-Printing. Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
| 2012 | Linear Approximation of Continuous Systems with Trapezoid Step Functions. Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
| 2012 | Mechanized Semantics for Compiler Verification. Xavier Leroy |
| 2012 | Modular Verification of Concurrent Thread Management. Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi |
| 2012 | Ownership Types for Object Synchronisation. Yi Lu, John Potter, Jingling Xue |
| 2012 | Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. Jan Vitek |
| 2012 | Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings Ranjit Jhala, Atsushi Igarashi |
| 2012 | Scalable Formal Machine Models. Greg Morrisett |
| 2012 | Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
| 2012 | Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey |
| 2012 | Succour to the Confused Deputy - Types for Capabilities. Radha Jagadeesan, Corin Pitcher, James Riely |
| 2012 | Types and Access Controls for Cross-Domain Security in Flash. Aseem Rastogi, Avik Chaudhuri, Rob Johnson |
| 2012 | Vinter: A Vampire-Based Tool for Interpolation. Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov |