| 2004 | A Control Flow Analysis for Safe and Boxed Ambients. Francesca Levi, Chiara Bodei |
| 2004 | A Dependently Typed Ambient Calculus. Cédric Lhoussaine, Vladimiro Sassone |
| 2004 | A Distributed Abstract Machine for Boxed Ambient Calculi. Andrew Phillips, Nobuko Yoshida, Susan Eisenbach |
| 2004 | A Hardest Attacker for Leaking References. René Rydhof Hansen |
| 2004 | A Memoizing Semantics for Functional Logic Languages. Salvador España Boquera, Vicent Estruch |
| 2004 | A Semantic Framework for Designer Transactions. Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking |
| 2004 | Adaptive Pattern Matching on Binary Data. Per Gustafsson, Konstantinos Sagonas |
| 2004 | Answer Type Polymorphism in Call-by-Name Continuation Passing. Hayo Thielecke |
| 2004 | Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. Tom Hirschowitz, Xavier Leroy, J. B. Wells |
| 2004 | Canonical Graph Shapes. Arend Rensink |
| 2004 | Compositional Analysis of Authentication Protocols. Michele Bugliesi, Riccardo Focardi, Matteo Maffei |
| 2004 | Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation. Vitaly Shmatikov |
| 2004 | Extracting a Data Flow Analyser in Constructive Logic. David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
| 2004 | From Constraints to Finite Automata to Filtering Algorithms. Mats Carlsson, Nicolas Beldiceanu |
| 2004 | Functors for Proofs and Programs. Jean-Christophe Filliâtre, Pierre Letouzey |
| 2004 | Just Fast Keying in the Pi Calculus. Martín Abadi, Bruno Blanchet, Cédric Fournet |
| 2004 | Linear Types for Packet Processing. Robert Ennals, Richard Sharp, Alan Mycroft |
| 2004 | ML-Like Inference for Classifiers. Cristiano Calcagno, Eugenio Moggi, Walid Taha |
| 2004 | Modal Proofs as Distributed Programs (Extended Abstract). Limin Jia, David Walker |
| 2004 | Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings David A. Schmidt |
| 2004 | Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. Antoine Miné |
| 2004 | Resources, Concurrency, and Local Reasoning (Abstract). Peter W. O'Hearn |
| 2004 | Semantical Analysis of Specification Logic, 3: An Operational Approach. Dan R. Ghica |
| 2004 | Sound and Decidable Type Inference for Functional Dependencies. Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
| 2004 | Static Analysis of Digital Filters. Jérôme Feret |
| 2004 | Strong Preservation as Completeness in Abstract Interpretation. Francesco Ranzato, Francesco Tapparo |
| 2004 | System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury |
| 2004 | Trust Management in Strand Spaces: A Rely-Guarantee Method. Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen |
| 2004 | ULM: A Core Programming Model for Global Computing: (Extended Abstract). Gérard Boudol |