| 2008 | Typing Safe Deallocation. | Grard Boudol |
| 2008 | Certificate Translation in Abstract Interpretation. | Gilles Barthe, Csar Kunz |
| 2008 | Non-disjunctive Numerical Domain for Array Predicate Abstraction. | Xavier Allamigeon |
| 2007 | A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. | Cristian Versari |
| 2007 | Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. | Kohei Suenaga, Naoki Kobayashi |
| 2007 | Interprocedurally Analysing Linear Inequality Relations. | Helmut Seidl, Andrea Flexeder, Michael Petter |
| 2007 | Modular Shape Analysis for Dynamically Encapsulated Programs. | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
| 2007 | Techniques for Contextual Equivalence in Higher-Order, Typed Languages. | Andrew M. Pitts |
| 2007 | Abstract Predicates and Mutable ADTs in Hoare Type Theory. | Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal |
| 2007 | Controlling the What and Where of Declassification in Language-Based Security. | Heiko Mantel, Alexander Reinhard |
| 2007 | Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic. | Guodong Li, Scott Owens, Konrad Slind |
| 2007 | Using History Invariants to Verify Observers. | K. Rustan M. Leino, Wolfram Schulte |
| 2007 | Modal I/O Automata for Interface and Product Line Theories. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | A Calculus for Orchestration of Web Services. | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2007 | A Rewriting Semantics for Type Inference. | George Kuan, David MacQueen, Robert Bruce Findler |
| 2007 | Type Reconstruction for General Refinement Types. | Kenneth L. Knowles, Cormac Flanagan |
| 2007 | Anti-pattern Matching. | Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau |
| 2007 | Probabilistic Anonymity Via Coalgebraic Simulations. | Ichiro Hasuo, Yoshinobu Kawabe |
| 2007 | Immutable Objects for a Java-Like Language. | Christian Haack, Erik Poll, Jan Schfer, Aleksy Schubert |
| 2007 | Computing Procedure Summaries for Interprocedural Analysis. | Sumit Gulwani, Ashish Tiwari |
| 2007 | Precise Fixpoint Computation Through Strategy Iteration. | Thomas Gawlitza, Helmut Seidl |
| 2007 | Static Analysis by Policy Iteration on Relational Domains. | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
| 2007 | A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). | Adrian Francalanza, Matthew Hennessy |
| 2007 | On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. | Xinyu Feng, Rodrigo Ferreira, Zhong Shao |
| 2007 | Multi-language Synchronization. | Robert Ennals, David Gay |