| Widening Polyhedra with Landmarks | Axel Simon and Andy King |
| Comparing completeness properties of static analyses and their logics | David Schmidt |
| An Analysis for Proving Temporal Properties of Biological Systems | Roberta Gori and Francesca Levi |
| A Pushdown Machine for Recursive XML Processing | Keisuke Nakano and Shin-Cheng Mu |
| Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy | Markus Lumpe |
| A Fine-Grained Join Point Model for More Reusable Aspects | Yusuke Endoh, Hidehiko Masuhara and Akinori Yonezawa |
| XML Validation for Context-Free Grammars | Yasuhiko Minamide and Akihiko Tozawa |
| Private row types: abstracting the unnamed | Jacques Garrigue |
| A Practical String Analyzer by the Widening Approach | Tae-Hyoung Choi, Hyun-Ha Kim, Oukseh Lee and Kyung-Goo Doh |
| Relational Reasoning for Recursive Types and References | Nina Bohr and Lars Birkedal |
| On Jones-Optimal Specializers: A Case Study Using Unmix | Johan Gade and Robert Glueck |
| Type and Effect System for Multi-Staged Exceptions | Hyunjun Eo, Ik-Soon Kim and Kwangkeun Yi |
| Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis | Tobias Gedell, Jörgen Gustavsson and Josef Svenningsson |
| Principal Type Inference for GHC-Style Multi-Parameter Type Classes | Martin Sulzmann, Tom Schrijvers and Peter J Stuckey |
| Reading, Writing and Relations | Nick Benton, Andrew Kennedy, Martin Hofmann and Lennart Beringer |
| A Modal Language for the Safety of Mobile Values | Sungwoo Park |
| Automatic Testing of Higher Order Functions | Pieter Koopman and Rinus Plasmeijer |
| A bytecode logic for JML and Types | Lennart Beringer and Martin Hofmann |
| Combining Offline and Online Optimizations: Register Allocation and Method Inlining | Hiroshi Yamauchi and Jan Vitek |
| Proof Abstraction for Imperative Languages | William L. Harrison |
| A Localized Tracing Scheme for Garbage Collection | Yannis Chicha and Stephen M. Watt |
| Computational Secrecy by Typing for the Pi Calculus | Martin Abadi, Ricardo Corin and Cedric Fournet |