| 2008 | A Formal Implementation of Value Commitment. Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
| 2008 | A Hybrid Denotational Semantics for Hybrid Systems. Olivier Bouissou, Matthieu Martel |
| 2008 | A Realizability Model for Impredicative Hoare Type Theory. Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett |
| 2008 | A Sound Semantics for OCamllight. Scott Owens |
| 2008 | A Theory of Hygienic Macros. David Herman, Mitchell Wand |
| 2008 | Certificate Translation in Abstract Interpretation. Gilles Barthe, César Kunz |
| 2008 | Constructive Mathematics and Functional Programming (Abstract). Thierry Coquand |
| 2008 | Cover Algorithms and Their Combination. Sumit Gulwani, Madan Musuvathi |
| 2008 | Full Abstraction for Linda. Cinzia Di Giusto, Maurizio Gabbrielli |
| 2008 | Inferring Channel Buffer Bounds Via Linear Programming. Tachio Terauchi, Adam Megacz |
| 2008 | Iterative Specialisation of Horn Clauses. Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
| 2008 | Just Forget It - The Semantics and Enforcement of Information Erasure. Sebastian Hunt, David Sands |
| 2008 | Linear Declassification. Yûta Kaneko, Naoki Kobayashi |
| 2008 | Non-disjunctive Numerical Domain for Array Predicate Abstraction. Xavier Allamigeon |
| 2008 | Open Bisimulation for the Concurrent Constraint Pi-Calculus. Maria Grazia Buscemi, Ugo Montanari |
| 2008 | Oracle Semantics for Concurrent Separation Logic. Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
| 2008 | Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. Jacob Matthews, Amal Ahmed |
| 2008 | Playing with TOY: Constraints and Domain Cooperation. Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez |
| 2008 | Practical Programming with Higher-Order Encodings and Dependent Types. Adam Poswolsky, Carsten Schürmann |
| 2008 | Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings Sophia Drossopoulou |
| 2008 | Programming in JoCaml (Tool Demonstration). Louis Mandel, Luc Maranget |
| 2008 | Ranking Abstractions. Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
| 2008 | Regular Expression Subtyping for XML Query and Update Languages. James Cheney |
| 2008 | Semi-persistent Data Structures. Sylvain Conchon, Jean-Christophe Filliâtre |
| 2008 | Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
| 2008 | The Conversation Calculus: A Model of Service-Oriented Computation. Hugo Torres Vieira, Luís Caires, João Costa Seco |
| 2008 | Typing Safe Deallocation. Gérard Boudol |
| 2008 | Upper Adjoints for Fast Inter-procedural Variable Equalities. Markus Müller-Olm, Helmut Seidl |
| 2008 | Verification of Equivalent-Results Methods. K. Rustan M. Leino, Peter Müller |
| 2008 | Verification of Higher-Order Computation: A Game-Semantic Approach. C.-H. Luke Ong |