Paper links go to the ACM Digitial Library, so they work only from campus machines.

OOPSLA 2002
Alias annotations for program understandingJonathan Aldrich, Valentin Kostadinov, Craig Chambers
Towards a formalization for COM part I: the primitive calculusRiccardo Pucella
OOPSLA 2001
A core calculus for Java exceptionsD. Ancona, G. Lagorio, E. Zucca
OOPSLA 2000
An efficient class and object encodingNeal Glew
ICFP 2002
Modular typechecking for hierarchically extensible datatypes and functionsTodd Millstein, Colin Bleckner, Craig Chambers
PDLI 2001
Asynchronous exceptions in HaskellSimon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy
PDLI 1999
A theory of type qualifiersJeffrey S. Foster, Manuel Fahndrich, Alexander Aiken
POPL 2003
The m-calculus: a higher-order distributed process calculusAlan Schmitt, Jean-Bernard Stefani
A type theory for memory allocation and data layoutLeaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
POPL 2002
Analyzing security protocols with secrecy types and logic programsMartin Abadi, Bruno Blanchet
A type system for certified binariesZhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou
POPL 2001
Combining subsumption and binary methods: an object calculus with viewsJerome Vouillon
POPL 1999
Type-based analysis of uncaught exceptionsFrancois Pessaux, Xavier Leroy