| 2008 | Inferring Channel Buffer Bounds Via Linear Programming. | Tachio Terauchi, Adam Megacz |
| 2008 | Practical Programming with Higher-Order Encodings and Dependent Types. | Adam Poswolsky, Carsten Schrmann |
| 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 | Verification of Higher-Order Computation: A Game-Semantic Approach. | C.-H. Luke Ong |
| 2008 | Iterative Specialisation of Horn Clauses. | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
| 2008 | Upper Adjoints for Fast Inter-procedural Variable Equalities. | Markus Mller-Olm, Helmut Seidl |
| 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 Estvez Martn, Antonio J. Fernndez, Fernando Senz-Prez |
| 2008 | Programming in JoCaml (Tool Demonstration). | Louis Mandel, Luc Maranget |
| 2008 | Verification of Equivalent-Results Methods. | K. Rustan M. Leino, Peter Mller |
| 2008 | Linear Declassification. | Yta Kaneko, Naoki Kobayashi |
| 2008 | Just Forget It - The Semantics and Enforcement of Information Erasure. | Sebastian Hunt, David Sands |
| 2008 | Oracle Semantics for Concurrent Separation Logic. | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
| 2008 | A Theory of Hygienic Macros. | David Herman, Mitchell Wand |
| 2008 | Cover Algorithms and Their Combination. | Sumit Gulwani, Madan Musuvathi |
| 2008 | Full Abstraction for Linda. | Cinzia Di Giusto, Maurizio Gabbrielli |
| 2008 | A Formal Implementation of Value Commitment. | Cdric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
| 2008 | Constructive Mathematics and Functional Programming (Abstract). | Thierry Coquand |
| 2008 | Semi-persistent Data Structures. | Sylvain Conchon, Jean-Christophe Fillitre |
| 2008 | Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
| 2008 | Regular Expression Subtyping for XML Query and Update Languages. | James Cheney |
| 2008 | Ranking Abstractions. | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
| 2008 | Open Bisimulation for the Concurrent Constraint Pi-Calculus. | Maria Grazia Buscemi, Ugo Montanari |
| 2008 | A Hybrid Denotational Semantics for Hybrid Systems. | Olivier Bouissou, Matthieu Martel |