| 2011 | A New Method for Dependent Parsing. Trevor Jim, Yitzhak Mandelbaum |
| 2011 | A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). Vasileios Koutavas, Matthew Hennessy |
| 2011 | Algorithmic Nominal Game Semantics. Andrzej S. Murawski, Nikos Tzevelekos |
| 2011 | Barriers in Concurrent Separation Logic. Aquinas Hobor, Cristian Gherghina |
| 2011 | Biochemical Reaction Rules with Constraints. Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari |
| 2011 | Compiling Information-Flow Security to Minimal Trusted Computing Bases. Cédric Fournet, Jérémy Planul |
| 2011 | Dataflow Analysis for Datarace-Free Programs. Arnab De, Deepak D'Souza, Rupesh Nasre |
| 2011 | From Exponential to Polynomial-Time Security Typing via Principal Types. Sebastian Hunt, David Sands |
| 2011 | General Bindings and Alpha-Equivalence in Nominal Isabelle. Christian Urban, Cezary Kaliszyk |
| 2011 | Generalizing the Template Polyhedral Domain. Michael Colón, Sriram Sankaranarayanan |
| 2011 | Improving Strategies via SMT Solving. Thomas Martin Gawlitza, David Monniaux |
| 2011 | Linear Absolute Value Relation Analysis. Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
| 2011 | Measure Transformer Semantics for Bayesian Machine Learning. Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
| 2011 | Polymorphic Contracts. João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
| 2011 | Precise Interprocedural Analysis in the Presence of Pointers to the Stack. Pascal Sotin, Bertrand Jeannet |
| 2011 | Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings Gilles Barthe |
| 2011 | Proving Isolation Properties for Software Transactional Memory. Annette Bieniusa, Peter Thiemann |
| 2011 | Secure the Clones - Static Enforcement of Policies for Secure Object Copying. Thomas P. Jensen, Florent Kirchner, David Pichardie |
| 2011 | Semantics of Concurrent Revisions. Sebastian Burckhardt, Daan Leijen |
| 2011 | Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. Antoine Miné |
| 2011 | The Relationship between Separation Logic and Implicit Dynamic Frames. Matthew J. Parkinson, Alexander J. Summers |
| 2011 | Transfer Function Synthesis without Quantifier Elimination. Jörg Brauer, Andy King |
| 2011 | Type-Based Access Control in Data-Centric Systems. Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão |
| 2011 | Typing Copyless Message Passing. Viviana Bono, Chiara Messa, Luca Padovani |
| 2011 | Typing Local Control and State Using Flow Analysis. Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
| 2011 | Verified Software Toolchain - (Invited Talk). Andrew W. Appel |