| 2012 | A Process Algebra for Wireless Mesh Networks. | Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
| 2012 | Trace Spaces: An Efficient New Technique for State-Space Reduction. | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen |
| 2012 | Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. | Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
| 2012 | A Systematic Approach to Delimited Control with Multiple Prompts. | Paul Downen, Zena M. Ariola |
| 2012 | Complete Monitors for Behavioral Contracts. | Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | Multiparty Session Types Meet Communicating Automata. | Pierre-Malo Denilou, Nobuko Yoshida |
| 2012 | Probabilistic Abstract Interpretation. | Patrick Cousot, Michael Monerau |
| 2012 | A Compositional Specification Theory for Component Behaviours. | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
| 2012 | The Call-by-Need Lambda Calculus, Revisited. | Stephen Chang, Matthias Felleisen |
| 2012 | Automated Verification of Equivalence Properties of Cryptographic Protocols. | Rohit Chadha, Stefan Ciobaca, Steve Kremer |
| 2012 | Eventually Consistent Transactions. | Sebastian Burckhardt, Daan Leijen, Manuel Fhndrich, Mooly Sagiv |
| 2012 | Concurrent Library Correctness on the TSO Memory Model. | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
| 2012 | A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. | Gilles Barthe, Delphine Demange, David Pichardie |
| 2012 | What's Decidable about Weak Memory Models? | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
| 2011 | General Bindings and Alpha-Equivalence in Nominal Isabelle. | Christian Urban, Cezary Kaliszyk |
| 2011 | Precise Interprocedural Analysis in the Presence of Pointers to the Stack. | Pascal Sotin, Bertrand Jeannet |
| 2011 | The Relationship between Separation Logic and Implicit Dynamic Frames. | Matthew J. Parkinson, Alexander J. Summers |
| 2011 | Algorithmic Nominal Game Semantics. | Andrzej S. Murawski, Nikos Tzevelekos |
| 2011 | Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. | Antoine Min |
| 2011 | A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). | Vasileios Koutavas, Matthew Hennessy |
| 2011 | Biochemical Reaction Rules with Constraints. | Mathias John, Cdric Lhoussaine, Joachim Niehren, Cristian Versari |
| 2011 | A New Method for Dependent Parsing. | Trevor Jim, Yitzhak Mandelbaum |
| 2011 | Secure the Clones - Static Enforcement of Policies for Secure Object Copying. | Thomas P. Jensen, Florent Kirchner, David Pichardie |
| 2011 | From Exponential to Polynomial-Time Security Typing via Principal Types. | Sebastian Hunt, David Sands |
| 2011 | Barriers in Concurrent Separation Logic. | Aquinas Hobor, Cristian Gherghina |