| 2002 | A type system for certified binaries. Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou |
| 2002 | A uniform type structure for secure information flow. Kohei Honda, Nobuko Yoshida |
| 2002 | Adaptive functional programming. Umut A. Acar, Guy E. Blelloch, Robert Harper |
| 2002 | An efficient profile-analysis framework for data-layout optimizations. Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi |
| 2002 | Analyzing security protocols with secrecy types and logic programs. Martín Abadi, Bruno Blanchet |
| 2002 | Bisimulation congruences in safe ambients. Massimo Merro, Matthew Hennessy |
| 2002 | Bounding space usage of conservative garbage collectors. Hans-Juergen Boehm |
| 2002 | CCured: type-safe retrofitting of legacy code. George C. Necula, Scott McPeak, Westley Weimer |
| 2002 | Composing dataflow analyses and transformations. Sorin Lerner, David Grove, Craig Chambers |
| 2002 | Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002 John Launchbury, John C. Mitchell |
| 2002 | Exploiting prolific types for memory management and optimizations. Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh |
| 2002 | From POPL to the classroom and back. Matthias Felleisen |
| 2002 | Functional logic overloading. Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber |
| 2002 | Information flow inference for ML. François Pottier, Vincent Simonet |
| 2002 | Lazy abstraction. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
| 2002 | Mining specifications. Glenn Ammons, Rastislav Bodík, James R. Larus |
| 2002 | Predicate abstraction for software verification. Cormac Flanagan, Shaz Qadeer |
| 2002 | Proving correctness of compiler optimizations by temporal logic. David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen |
| 2002 | Representation independence, confinement and access control [extended abstract]. Anindya Banerjee, David A. Naumann |
| 2002 | Resource usage analysis. Atsushi Igarashi, Naoki Kobayashi |
| 2002 | Role analysis. Viktor Kuncak, Patrick Lam, Martin C. Rinard |
| 2002 | Scalable formal design methods for asynchronous VLSI. Rajit Manohar |
| 2002 | Stack inspection: theory and variants. Cédric Fournet, Andrew D. Gordon |
| 2002 | Stochastic lambda calculus and monads of probability distributions. Norman Ramsey, Avi Pfeffer |
| 2002 | Systematic design of program transformation frameworks by abstract interpretation. Patrick Cousot, Radhia Cousot |
| 2002 | The SLAM project: debugging system software via static analysis. Thomas Ball, Sriram K. Rajamani |
| 2002 | The first-order theory of subtyping constraints. Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
| 2002 | The hardness of cache conscious data placement. Erez Petrank, Dror Rawitz |
| 2002 | The strength of non-size increasing computation. Martin Hofmann |
| 2002 | Towards automatic construction of staged compilers. Matthai Philipose, Craig Chambers, Susan J. Eggers |
| 2002 | Types as models: model checking message-passing programs. Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |