| 2005 | Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. | John Field, Carlos A. Varela |
| 2005 | Handling declared information leakage: extended abstract. | Rachid Echahed, Frdric Prost |
| 2005 | Environmental acquisition revisited. | Richard Cobbe, Matthias Felleisen |
| 2005 | A simple typed intermediate language for object-oriented languages. | Juan Chen, David Tarditi |
| 2005 | Associated types with class. | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow |
| 2005 | Specifying Kerberos 5 cross-realm authentication. | Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad |
| 2005 | Context logic and tree update. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2005 | Theoretical foundations for compensations in flow composition languages. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2005 | Connecting effects and uniqueness with adoption. | John Tang Boyland, William Retert |
| 2005 | Permission accounting in separation logic. | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
| 2005 | Policy framings for access control. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2005 | Enterprise privacy promises and enforcement. | Adam Barth, John C. Mitchell |
| 2005 | Polymorphic bytecode: compositional compilation for Java-like languages. | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
| 2005 | Synthesis of interface specifications for Java classes. | Rajeev Alur, Pavol Cern, P. Madhusudan, Wonhong Nam |
| 2004 | Formalization of generics for the .NET common language runtime. | Dachuan Yu, Andrew Kennedy, Don Syme |
| 2004 | Channel dependent types for higher-order mobile processes. | Nobuko Yoshida |
| 2004 | Semantic types: a fresh look at the ideal model for types. | Jerome Vouillon, Paul-Andr Mellis |
| 2004 | A bisimulation for dynamic sealing. | Eijiro Sumii, Benjamin C. Pierce |
| 2004 | Incremental execution of transformation specifications. | Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen |
| 2004 | Non-linear loop invariant generation using Gröbner bases. | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna |
| 2004 | Symbolic transfer function-based approaches to certified compilation. | Xavier Rival |
| 2004 | Summarizing procedures in concurrent programs. | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
| 2004 | Polymorphic typed defunctionalization. | Franois Pottier, Nadji Gauthier |
| 2004 | Separation and information hiding. | Peter W. O'Hearn, Hongseok Yang, John C. Reynolds |
| 2004 | Precise interprocedural analysis through linear algebra. | Markus Mller-Olm, Helmut Seidl |