| 2004 | Free theorems in the presence of | Patricia Johann, Janis Voigtlnder |
| 2004 | Abstractions from proofs. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
| 2004 | Global value numbering using random interpretation. | Sumit Gulwani, George C. Necula |
| 2004 | Abstract non-interference: parameterizing non-interference by abstract interpretation. | Roberto Giacobazzi, Isabella Mastroeni |
| 2004 | Parsing expression grammars: a recognition-based syntactic foundation. | Bryan Ford |
| 2004 | Atomizer: a dynamic atomicity checker for multithreaded programs. | Cormac Flanagan, Stephen N. Freund |
| 2004 | Isomorphisms of generic recursive polynomial types. | Marcelo P. Fiore |
| 2004 | Tridirectional typechecking. | Jana Dunfield, Frank Pfenning |
| 2004 | A type system for well-founded recursion. | Derek Dreyer |
| 2004 | A logic you can count on. | Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier |
| 2004 | An abstract interpretation-based framework for software watermarking. | Patrick Cousot, Radhia Cousot |
| 2004 | Asynchronous and deterministic objects. | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
| 2004 | The space cost of lazy reference counting. | Hans-Juergen Boehm |
| 2004 | Local reasoning about a copying garbage collector. | Lars Birkedal, Noah Torp-Smith, John C. Reynolds |
| 2004 | A semantics for web services authentication. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2004 | Simple relational correctness proofs for static analyses and program transformations. | Nick Benton |
| 2004 | Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
| 2004 | Principal typings for Java-like languages. | Davide Ancona, Elena Zucca |
| 2003 | Efficient algorithms for isomorphisms of simple types. | Yoav Zibin, Joseph Gil, Jeffrey Considine |
| 2003 | Incremental algorithms for dispatching in dynamically typed languages. | Yoav Zibin, Joseph Gil |
| 2003 | Guarded recursive datatype constructors. | Hongwei Xi, Chiyan Chen, Gang Chen |
| 2003 | From control effects to typed continuation passing. | Hayo Thielecke |
| 2003 | Bitwidth aware global register allocation. | Sriraman Tallam, Rajiv Gupta |
| 2003 | Environment classifiers. | Walid Taha, Michael Florentin Nielsen |
| 2003 | The essence of XML. | Jrme Simon, Philip Wadler |