| 2002 | The hardness of cache conscious data placement. | Erez Petrank, Dror Rawitz |
| 2002 | Functional logic overloading. | Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber |
| 2002 | CCured: type-safe retrofitting of legacy code. | George C. Necula, Scott McPeak, Westley Weimer |
| 2002 | Bisimulation congruences in safe ambients. | Massimo Merro, Matthew Hennessy |
| 2002 | Scalable formal design methods for asynchronous VLSI. | Rajit Manohar |
| 2002 | Composing dataflow analyses and transformations. | Sorin Lerner, David Grove, Craig Chambers |
| 2002 | Proving correctness of compiler optimizations by temporal logic. | David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen |
| 2002 | Role analysis. | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
| 2002 | Resource usage analysis. | Atsushi Igarashi, Naoki Kobayashi |
| 2002 | A uniform type structure for secure information flow. | Kohei Honda, Nobuko Yoshida |
| 2002 | The strength of non-size increasing computation. | Martin Hofmann |
| 2002 | Lazy abstraction. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grgoire Sutre |
| 2002 | Stack inspection: theory and variants. | Cdric Fournet, Andrew D. Gordon |
| 2002 | Predicate abstraction for software verification. | Cormac Flanagan, Shaz Qadeer |
| 2002 | From POPL to the classroom and back. | Matthias Felleisen |
| 2002 | Systematic design of program transformation frameworks by abstract interpretation. | Patrick Cousot, Radhia Cousot |
| 2002 | Types as models: model checking message-passing programs. | Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |
| 2002 | Bounding space usage of conservative garbage collectors. | Hans-Juergen Boehm |
| 2002 | Representation independence, confinement and access control [extended abstract]. | Anindya Banerjee, David A. Naumann |
| 2002 | The SLAM project: debugging system software via static analysis. | Thomas Ball, Sriram K. Rajamani |
| 2002 | Mining specifications. | Glenn Ammons, Rastislav Bodk, James R. Larus |
| 2002 | Adaptive functional programming. | Umut A. Acar, Guy E. Blelloch, Robert Harper |
| 2002 | Analyzing security protocols with secrecy types and logic programs. | Martn Abadi, Bruno Blanchet |
| 2001 | Verifying safety properties of concurrent Java programs using 3-valued logic. | Eran Yahav |
| 2001 | Type-preserving garbage collectors. | Daniel C. Wang, Andrew W. Appel |