| 2006 | Type Processing by Constraint Reasoning. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2006 | Widening Polyhedra with Landmarks. | Axel Simon, Andy King |
| 2006 | Comparing Completeness Properties of Static Analyses and Their Logics. | David A. Schmidt |
| 2006 | A Modal Language for the Safety of Mobile Values. | Sungwoo Park |
| 2006 | Event Driven Software Quality. | Jens Palsberg |
| 2006 | A Pushdown Machine for Recursive XML Processing. | Keisuke Nakano, Shin-Cheng Mu |
| 2006 | XML Validation for Context-Free Grammars. | Yasuhiko Minamide, Akihiko Tozawa |
| 2006 | A Fine-Grained Join Point Model for More Reusable Aspects. | Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa |
| 2006 | Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy. | Markus Lumpe |
| 2006 | Automatic Testing of Higher Order Functions. | Pieter W. M. Koopman, Rinus Plasmeijer |
| 2006 | Proof Abstraction for Imperative Languages. | William L. Harrison |
| 2006 | An Analysis for Proving Temporal Properties of Biological Systems. | Roberta Gori, Francesca Levi |
| 2006 | Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis. | Tobias Gedell, Jrgen Gustavsson, Josef Svenningsson |
| 2006 | Private Row Types: Abstracting the Unnamed. | Jacques Garrigue |
| 2006 | On Jones-Optimal Specializers: A Case Study Using Unmix. | Johan Gade, Robert Glck |
| 2006 | Scheme with Classes, Mixins, and Traits. | Matthew Flatt, Robert Bruce Findler, Matthias Felleisen |
| 2006 | Type and Effect System for Multi-staged Exceptions. | Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi |
| 2006 | A Practical String Analyzer by the Widening Approach. | Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh |
| 2006 | A Localized Tracing Scheme Applied to Garbage Collection. | Yannis Chicha, Stephen M. Watt |
| 2006 | Relational Reasoning for Recursive Types and References. | Nina Bohr, Lars Birkedal |
| 2006 | A Bytecode Logic for JML and Types. | Lennart Beringer, Martin Hofmann |
| 2006 | Reading, Writing and Relations. | Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
| 2006 | Computational Secrecy by Typing for the Pi Calculus. | Martn Abadi, Ricardo Corin, Cdric Fournet |
| 2005 | Using Datalog with Binary Decision Diagrams for Program Analysis. | John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam |
| 2005 | Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis. | Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor |