| 2006 | A Bytecode Logic for JML and Types. Lennart Beringer, Martin Hofmann |
| 2006 | A Fine-Grained Join Point Model for More Reusable Aspects. Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa |
| 2006 | A Localized Tracing Scheme Applied to Garbage Collection. Yannis Chicha, Stephen M. Watt |
| 2006 | A Modal Language for the Safety of Mobile Values. Sungwoo Park |
| 2006 | A Practical String Analyzer by the Widening Approach. Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh |
| 2006 | A Pushdown Machine for Recursive XML Processing. Keisuke Nakano, Shin-Cheng Mu |
| 2006 | An Analysis for Proving Temporal Properties of Biological Systems. Roberta Gori, Francesca Levi |
| 2006 | Automatic Testing of Higher Order Functions. Pieter W. M. Koopman, Rinus Plasmeijer |
| 2006 | Combining Offline and Online Optimizations: Register Allocation and Method Inlining. Hiroshi Yamauchi, Jan Vitek |
| 2006 | Comparing Completeness Properties of Static Analyses and Their Logics. David A. Schmidt |
| 2006 | Computational Secrecy by Typing for the Pi Calculus. Martín Abadi, Ricardo Corin, Cédric Fournet |
| 2006 | Event Driven Software Quality. Jens Palsberg |
| 2006 | On Jones-Optimal Specializers: A Case Study Using Unmix. Johan Gade, Robert Glück |
| 2006 | Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson |
| 2006 | Principal Type Inference for GHC-Style Multi-parameter Type Classes. Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
| 2006 | Private Row Types: Abstracting the Unnamed. Jacques Garrigue |
| 2006 | Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings Naoki Kobayashi |
| 2006 | Proof Abstraction for Imperative Languages. William L. Harrison |
| 2006 | Reading, Writing and Relations. Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
| 2006 | Relational Reasoning for Recursive Types and References. Nina Bohr, Lars Birkedal |
| 2006 | Scheme with Classes, Mixins, and Traits. Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
| 2006 | Type Processing by Constraint Reasoning. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2006 | Type and Effect System for Multi-staged Exceptions. Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi |
| 2006 | Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. Markus Lumpe |
| 2006 | Widening Polyhedra with Landmarks. Axel Simon, Andy King |
| 2006 | XML Validation for Context-Free Grammars. Yasuhiko Minamide, Akihiko Tozawa |