| 2002 | A Modular, Extensible Proof Method for Small-Step Flow Analyses. Mitchell Wand, Galen B. Williamson |
| 2002 | A Prototype Dependency Calculus. Peter Thiemann |
| 2002 | A Theory of Second-Order Trees. Neal Glew |
| 2002 | An Accumulative Parallel Skeleton for All. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2002 | Another Type System for In-Place Update. David Aspinall, Martin Hofmann |
| 2002 | Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. Eric Goubault, Matthieu Martel, Sylvie Putot |
| 2002 | Automatic Complexity Analysis. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl |
| 2002 | Branching Types. Joe B. Wells, Christian Haack |
| 2002 | Data Space Oriented Tiling. Mahmut T. Kandemir |
| 2002 | Dependency Analysis of Mobile Systems. Jérôme Feret |
| 2002 | Exceptions, Continuations and Macro-expressiveness. James Laird |
| 2002 | Existential Types for Imperative Languages. Dan Grossman |
| 2002 | Finite-Control Mobile Ambients. Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot |
| 2002 | Higher-Order Intensional Type Analysis. Stephanie Weirich |
| 2002 | Mixin Modules in a Call-by-Value Setting. Tom Hirschowitz, Xavier Leroy |
| 2002 | Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Daniel Le Métayer |
| 2002 | Programming Languages for Compressing Graphics. Morgan McGuire, Shriram Krishnamurthi, John F. Hughes |
| 2002 | Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. Matthieu Martel |
| 2002 | Soft Concurrent Constraint Programming. Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 2002 | Thread-Modular Verification for Shared-Memory Programs. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2002 | Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov |
| 2002 | Tool Support for Improving Test Coverage. Susan Horwitz |
| 2002 | Type Checking Systems Code. J. Gregory Morrisett |