| 2007 | Principal Type Schemes for Modular Programs. | Derek Dreyer, Matthias Blume |
| 2007 | Scalar Outcomes Suffice for Finitary Probabilistic Testing. | Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang |
| 2007 | Dependent Types for Low-Level Programming. | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
| 2007 | The Java Memory Model: Operationally, Denotationally, Axiomatically. | Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio |
| 2007 | Structured Communication-Centred Programming for Web Services. | Marco Carbone, Kohei Honda, Nobuko Yoshida |
| 2007 | CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. | Maria Grazia Buscemi, Ugo Montanari |
| 2007 | A Complete Guide to the Future. | Frank S. de Boer, Dave Clarke, Einar Broch Johnsen |
| 2007 | On the Implementation of Construction Functions for Non-free Concrete Data Types. | Frdric Blanqui, Thrse Hardin, Pierre Weis |
| 2007 | Small Witnesses for Abstract Interpretation-Based Proofs. | Frdric Besson, Thomas P. Jensen, Tiphaine Turpin |
| 2007 | A Certified Lightweight Non-interference Java Bytecode Verifier. | Gilles Barthe, David Pichardie, Tamara Rezk |
| 2007 | Cost Analysis of Java Bytecode. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla, Damiano Zanardini |
| 2007 | A Concurrent Calculus with Atomic Transactions. | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
| 2007 | A Consistent Semantics of Self-adjusting Computation. | Umut A. Acar, Matthias Blume, Jacob Donham |
| 2006 | A Typed Assembly Language for Confidentiality. | Dachuan Yu, Nayeem Islam |
| 2006 | Approaches to Polymorphism in Classical Sequent Calculus. | Alexander J. Summers, Steffen van Bakel |
| 2006 | Types for Dynamic Reconfiguration. | Joo Costa Seco, Lus Caires |
| 2006 | Haskell Is Not Not ML. | Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
| 2006 | The Weird World of Bi-directional Programming. | Benjamin C. Pierce |
| 2006 | Coinductive Big-Step Operational Semantics. | Xavier Leroy |
| 2006 | A Verification Methodology for Model Fields. | K. Rustan M. Leino, Peter Mller |
| 2006 | Path Optimization in Programs and Its Application to Debugging. | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
| 2006 | Bisimulations for Untyped Imperative Objects. | Vasileios Koutavas, Mitchell Wand |
| 2006 | ILC: A Foundation for Automated Reasoning About Pointer Programs. | Limin Jia, David Walker |
| 2006 | Pure Pattern Calculus. | C. Barry Jay, Delia Kesner |
| 2006 | Type-Based Amortised Heap-Space Analysis. | Martin Hofmann, Steffen Jost |