| 2001 | On the Complexity of Constant Propagation. | Markus Mller-Olm, Oliver Rthing |
| 2001 | Backwards Abstract Interpretation of Probabilistic Programs. | David Monniaux |
| 2001 | Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. | John C. Mitchell |
| 2001 | Semantics and Program Analysis of Computationally Secure Information Flow. | Peeter Laud |
| 2001 | Tool Demonstration: Finding Duplicated Code Using Program Dependences. | Raghavan Komondoor, Susan Horwitz |
| 2001 | Proof-Directed De-compilation of Low-Level Code. | Shin-ya Katsumata, Atsushi Ohori |
| 2001 | A Formalisation of Java's Exception Mechanism. | Bart Jacobs |
| 2001 | Modal Transition Systems: A Foundation for Three-Valued Program Analysis. | Michael Huth, Radha Jagadeesan, David A. Schmidt |
| 2001 | Programming the Web with High-Level Programming Languages. | Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen |
| 2001 | The Def-inite Approach to Dependency Analysis. | Samir Genaim, Michael Codish |
| 2001 | Modular Causality in a Synchronous Stream Language. | Pascal Cuoq, Marc Pouzet |
| 2001 | JOIN(X): Constraint-Based Type Inference for the Join-Calculus. | Sylvain Conchon, Franois Pottier |
| 2001 | Modeling an Algebraic Stepper. | John Clements, Matthew Flatt, Matthias Felleisen |
| 2001 | A Query Language Based on the Ambient Logic. | Luca Cardelli, Giorgio Ghelli |
| 2001 | Compiling Problem Specifications into SAT. | Marco Cadoli, Andrea Schaerf |
| 2001 | The Recursive Record Semantics of Objects Revisited. | Grard Boudol |
| 2001 | Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. | Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
| 2001 | A Formal Executable Semantics of the JavaCard Platform. | Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simo Melo de Sousa |
| 2001 | Fusion on Languages. | Roland Carl Backhouse |
| 2001 | What Are Polymorphically-Typed Ambients? | Torben Amtoft, A. J. Kfoury, Santiago M. Perics-Geertsen |
| 2000 | Equational Reasoning for Linking with First-Class Primitive Modules. | J. B. Wells, Ren Vestergaard |
| 2000 | On Exceptions Versus Continuations in the Presence of State. | Hayo Thielecke |
| 2000 | Alias Types. | Frederick Smith, David Walker, J. Gregory Morrisett |
| 2000 | Polyvariant Flow Analysis with Constrained Types. | Scott F. Smith, Tiejun Wang |
| 2000 | Constraint-Based Inter-Procedural Analysis of Parallel Programs. | Helmut Seidl, Bernhard Steffen |