| 2011 | Typing Local Control and State Using Flow Analysis. | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
| 2011 | Improving Strategies via SMT Solving. | Thomas Martin Gawlitza, David Monniaux |
| 2011 | Compiling Information-Flow Security to Minimal Trusted Computing Bases. | Cdric Fournet, Jrmy Planul |
| 2011 | Dataflow Analysis for Datarace-Free Programs. | Arnab De, Deepak D'Souza, Rupesh Nasre |
| 2011 | Generalizing the Template Polyhedral Domain. | Michael Coln, Sriram Sankaranarayanan |
| 2011 | Linear Absolute Value Relation Analysis. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2011 | Type-Based Access Control in Data-Centric Systems. | Lus Caires, Jorge A. Prez, Joo Costa Seco, Hugo Torres Vieira, Lcio Ferro |
| 2011 | Semantics of Concurrent Revisions. | Sebastian Burckhardt, Daan Leijen |
| 2011 | Transfer Function Synthesis without Quantifier Elimination. | Jrg Brauer, Andy King |
| 2011 | Measure Transformer Semantics for Bayesian Machine Learning. | Johannes Borgstrm, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
| 2011 | Typing Copyless Message Passing. | Viviana Bono, Chiara Messa, Luca Padovani |
| 2011 | Proving Isolation Properties for Software Transactional Memory. | Annette Bieniusa, Peter Thiemann |
| 2011 | Polymorphic Contracts. | Joo Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
| 2011 | Verified Software Toolchain - (Invited Talk). | Andrew W. Appel |
| 2010 | Explicit Stabilisation for Modular Rely-Guarantee Reasoning. | John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2010 | Weighted Dynamic Pushdown Networks. | Alexander Wenner |
| 2010 | CFA2: A Context-Free Approach to Control-Flow Analysis. | Dimitrios Vardoulakis, Olin Shivers |
| 2010 | Stateful Contracts for Affine Types. | Jesse A. Tov, Riccardo Pucella |
| 2010 | Enforcing Stateful Authorization and Information Flow Policies in Fine. | Nikhil Swamy, Juan Chen, Ravi Chugh |
| 2010 | A Universal Calculus for Stream Processing Languages. | Robert Soul, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
| 2010 | Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. | David A. Naumann, Anindya Banerjee |
| 2010 | A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. | Keiko Nakata, Tarmo Uustalu |
| 2010 | Faulty Logic: Reasoning about Fault Tolerant Programs. | Matthew L. Meola, David Walker |
| 2010 | A Grammar-Based Approach to Invertible Programs. | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2010 | Verifying a Compiler for Java Threads. | Andreas Lochbihler |