| 2001 | A Formal Executable Semantics of the JavaCard Platform. Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa |
| 2001 | A Formalisation of Java's Exception Mechanism. Bart Jacobs |
| 2001 | A Query Language Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli |
| 2001 | A Systematic Approach to Static Access Control. François Pottier, Christian Skalka, Scott F. Smith |
| 2001 | Backwards Abstract Interpretation of Probabilistic Programs. David Monniaux |
| 2001 | Compiling Problem Specifications into SAT. Marco Cadoli, Andrea Schaerf |
| 2001 | Control-Flow Analysis in Cubic Time. Flemming Nielson, Helmut Seidl |
| 2001 | Encoding Intensional Type Analysis. Stephanie Weirich |
| 2001 | Enforcing Safety Properties Using Type Specialization. Peter Thiemann |
| 2001 | Entailment with Conditional Equality Constraints. Zhendong Su, Alexander Aiken |
| 2001 | Fusion on Languages. Roland Carl Backhouse |
| 2001 | JOIN(X): Constraint-Based Type Inference for the Join-Calculus. Sylvain Conchon, François Pottier |
| 2001 | Modal Transition Systems: A Foundation for Three-Valued Program Analysis. Michael Huth, Radha Jagadeesan, David A. Schmidt |
| 2001 | Modeling an Algebraic Stepper. John Clements, Matthew Flatt, Matthias Felleisen |
| 2001 | Modular Causality in a Synchronous Stream Language. Pascal Cuoq, Marc Pouzet |
| 2001 | On the Completeness of Model Checking. Francesco Ranzato |
| 2001 | On the Complexity of Constant Propagation. Markus Müller-Olm, Oliver Rüthing |
| 2001 | Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. John C. Mitchell |
| 2001 | Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings David Sands |
| 2001 | Programming the Web with High-Level Programming Languages. Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen |
| 2001 | Proof-Directed De-compilation of Low-Level Code. Shin-ya Katsumata, Atsushi Ohori |
| 2001 | Secure Information Flow and CPS. Steve Zdancewic, Andrew C. Myers |
| 2001 | Semantics and Program Analysis of Computationally Secure Information Flow. Peeter Laud |
| 2001 | Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus |
| 2001 | The Def-inite Approach to Dependency Analysis. Samir Genaim, Michael Codish |
| 2001 | The Recursive Record Semantics of Objects Revisited. Gérard Boudol |
| 2001 | Tool Demonstration: Finding Duplicated Code Using Program Dependences. Raghavan Komondoor, Susan Horwitz |
| 2001 | Typestate Checking of Machine Code. Zhichen Xu, Thomas W. Reps, Barton P. Miller |
| 2001 | What Are Polymorphically-Typed Ambients? Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen |