| 2001 | A compiler technique for improving whole-program locality. Mahmut T. Kandemir |
| 2001 | A generic type system for the Pi-calculus. Atsushi Igarashi, Naoki Kobayashi |
| 2001 | An abstract Monte-Carlo method for the analysis of probabilistic programs. David Monniaux |
| 2001 | Avoiding exponential explosion: generating compact verification conditions. Cormac Flanagan, James B. Saxe |
| 2001 | BI as an Assertion Language for Mutable Data Structures. Samin S. Ishtiaq, Peter W. O'Hearn |
| 2001 | Colored local type inference. Martin Odersky, Christoph Zenger, Matthias Zenger |
| 2001 | Combining subsumption and binary methods: an object calculus with views. Jerome Vouillon |
| 2001 | Computational flux. Robin Milner |
| 2001 | Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001 Chris Hankin, Dave Schmidt |
| 2001 | Efficient deductive methods for program analysis. Harald Ganzinger |
| 2001 | Extensionality and Intensionality of the Ambient Logics. Davide Sangiorgi |
| 2001 | Mobile values, new names, and secure communication. Martín Abadi, Cédric Fournet |
| 2001 | Modules, abstract types, and distributed versioning. Peter Sewell |
| 2001 | Nomadic pict: correct communication infrastructure for mobile computation. Asis Unyapoth, Peter Sewell |
| 2001 | Oracle-based checking of untrusted software. George C. Necula, Shree Prakash Rahul |
| 2001 | Programming language methods in computer security. John C. Mitchell |
| 2001 | Regular expression pattern matching for XML. Haruo Hosoya, Benjamin C. Pierce |
| 2001 | Secure safe ambients. Michele Bugliesi, Giuseppe Castagna |
| 2001 | Stratified operational semantics for safety and correctness of the region calculus. Cristiano Calcagno |
| 2001 | Subtyping arithmetical types. Joseph Gil |
| 2001 | The size-change principle for program termination. Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram |
| 2001 | Type-base flow analysis: from polymorphic subtyping to CFL-reachability. Jakob Rehof, Manuel Fähndrich |
| 2001 | Type-indexed rows. Mark Shields, Erik Meijer |
| 2001 | Type-preserving garbage collectors. Daniel C. Wang, Andrew W. Appel |
| 2001 | Typing a multi-language intermediate code. Andrew D. Gordon, Don Syme |
| 2001 | Verifying safety properties of concurrent Java programs using 3-valued logic. Eran Yahav |
| 2001 | What packets may come: automata for network monitoring. Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter |