| 2004 | A bisimulation for dynamic sealing. Eijiro Sumii, Benjamin C. Pierce |
| 2004 | A logic you can count on. Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier |
| 2004 | A semantics for web services authentication. Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon |
| 2004 | A type system for well-founded recursion. Derek Dreyer |
| 2004 | Abstract non-interference: parameterizing non-interference by abstract interpretation. Roberto Giacobazzi, Isabella Mastroeni |
| 2004 | Abstractions from proofs. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
| 2004 | An abstract interpretation-based framework for software watermarking. Patrick Cousot, Radhia Cousot |
| 2004 | Asynchronous and deterministic objects. Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
| 2004 | Atomizer: a dynamic atomicity checker for multithreaded programs. Cormac Flanagan, Stephen N. Freund |
| 2004 | Channel dependent types for higher-order mobile processes. Nobuko Yoshida |
| 2004 | Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
| 2004 | Formalization of generics for the .NET common language runtime. Dachuan Yu, Andrew Kennedy, Don Syme |
| 2004 | Free theorems in the presence of Patricia Johann, Janis Voigtländer |
| 2004 | Global value numbering using random interpretation. Sumit Gulwani, George C. Necula |
| 2004 | Incremental execution of transformation specifications. Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen |
| 2004 | Isomorphisms of generic recursive polynomial types. Marcelo P. Fiore |
| 2004 | Local reasoning about a copying garbage collector. Lars Birkedal, Noah Torp-Smith, John C. Reynolds |
| 2004 | Non-linear loop invariant generation using Gröbner bases. Sriram Sankaranarayanan, Henny Sipma, Zohar Manna |
| 2004 | Parsing expression grammars: a recognition-based syntactic foundation. Bryan Ford |
| 2004 | Polymorphic typed defunctionalization. François Pottier, Nadji Gauthier |
| 2004 | Precise interprocedural analysis through linear algebra. Markus Müller-Olm, Helmut Seidl |
| 2004 | Principal typings for Java-like languages. Davide Ancona, Elena Zucca |
| 2004 | Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 Neil D. Jones, Xavier Leroy |
| 2004 | Semantic types: a fresh look at the ideal model for types. Jerome Vouillon, Paul-André Melliès |
| 2004 | Separation and information hiding. Peter W. O'Hearn, Hongseok Yang, John C. Reynolds |
| 2004 | Simple relational correctness proofs for static analyses and program transformations. Nick Benton |
| 2004 | Summarizing procedures in concurrent programs. Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
| 2004 | Symbolic transfer function-based approaches to certified compilation. Xavier Rival |
| 2004 | The space cost of lazy reference counting. Hans-Juergen Boehm |
| 2004 | Tridirectional typechecking. Jana Dunfield, Frank Pfenning |