| 2012 | A Compositional Specification Theory for Component Behaviours. Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
| 2012 | A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. Gilles Barthe, Delphine Demange, David Pichardie |
| 2012 | A Process Algebra for Wireless Mesh Networks. Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2012 | A Systematic Approach to Delimited Control with Multiple Prompts. Paul Downen, Zena M. Ariola |
| 2012 | A Type and Effect System for Determinism in Multithreaded Programs. Yi Lu, John Potter, Chenyi Zhang, Jingling Xue |
| 2012 | Adding Equations to System F Types. Neelakantan R. Krishnaswami, Nick Benton |
| 2012 | Automated Verification of Equivalence Properties of Cryptographic Protocols. Rohit Chadha, Stefan Ciobaca, Steve Kremer |
| 2012 | Complete Monitors for Behavioral Contracts. Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | Concurrent Library Correctness on the TSO Memory Model. Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
| 2012 | Eventually Consistent Transactions. Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv |
| 2012 | Expansion for Universal Quantifiers. Sergueï Lenglet, Joe B. Wells |
| 2012 | Fictional Separation Logic. Jonas Braband Jensen, Lars Birkedal |
| 2012 | Foundations of C++. Bjarne Stroustrup |
| 2012 | GMeta: A Generic Formal Metatheory Framework for First-Order Representations. Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
| 2012 | Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
| 2012 | Gradual Ownership Types. Ilya Sergey, Dave Clarke |
| 2012 | Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. Andreas Lochbihler |
| 2012 | Linear Logical Relations for Session-Based Concurrency. Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho |
| 2012 | Multiparty Session Types Meet Communicating Automata. Pierre-Malo Deniélou, Nobuko Yoshida |
| 2012 | Non-monotonic Self-Adjusting Computation. Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch |
| 2012 | On the Correctness of the SIMT Execution Model of GPUs. Axel Habermaier, Alexander Knapp |
| 2012 | Probabilistic Abstract Interpretation. Patrick Cousot, Michael Monerau |
| 2012 | Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Helmut Seidl |
| 2012 | Reasoning about Lock Placements. Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | Reasoning about Multi-stage Programs. Jun Inoue, Walid Taha |
| 2012 | Staged Computation with Staged Lexical Scope. Morten Rhiger |
| 2012 | The Call-by-Need Lambda Calculus, Revisited. Stephen Chang, Matthias Felleisen |
| 2012 | Trace Spaces: An Efficient New Technique for State-Space Reduction. Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen |
| 2012 | Validating LR(1) Parsers. Jacques-Henri Jourdan, François Pottier, Xavier Leroy |
| 2012 | What's Decidable about Weak Memory Models? Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |