| 2003 | The m-calculus: a higher-order distributed process calculus. | Alan Schmitt, Jean-Bernard Stefani |
| 2003 | A type theory for memory allocation and data layout. | Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning |
| 2003 | Bigraphs and transitions. | Ole Hgh Jensen, Robin Milner |
| 2003 | Static prediction of heap space usage for first-order functional programs. | Martin Hofmann, Steffen Jost |
| 2003 | Discovering affine equalities using random interpretation. | Sumit Gulwani, George C. Necula |
| 2003 | Interprocedural compatibility analysis for static object preallocation. | Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard |
| 2003 | A type system for higher-order modules. | Derek Dreyer, Karl Crary, Robert Harper |
| 2003 | Toward a foundational typed assembly language. | Karl Crary |
| 2003 | Coercive subtyping for the calculus of constructions. | Gang Chen |
| 2003 | New results on the computability and complexity of points - to analysis. | Venkatesan T. Chakaravarthy |
| 2003 | Folklore confirmed: reducible flow graphs are exponentially larger. | Larry Carter, Jeanne Ferrante, Clark D. Thomborson |
| 2003 | Ownership types for object encapsulation. | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
| 2003 | A generic approach to the static analysis of concurrent programs with procedures. | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
| 2003 | Destructors, finalizers, and synchronization. | Hans-Juergen Boehm |
| 2003 | Pure patterns type systems. | Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
| 2003 | From symptom to cause: localizing errors in counterexample traces. | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
| 2003 | A real-time garbage collector with low overhead and consistent utilization. | David F. Bacon, Perry Cheng, V. T. Rajan |
| 2003 | Selective memoization. | Umut A. Acar, Guy E. Blelloch, Robert Harper |
| 2002 | The first-order theory of subtyping constraints. | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
| 2002 | Exploiting prolific types for memory management and optimizations. | Yefim Shuf, Manish Gupta, Rajesh Bordawekar, Jaswinder Pal Singh |
| 2002 | A type system for certified binaries. | Zhong Shao, Bratin Saha, Valery Trifonov, Nikolaos Papaspyrou |
| 2002 | An efficient profile-analysis framework for data-layout optimizations. | Shai Rubin, Rastislav Bodk, Trishul M. Chilimbi |
| 2002 | Stochastic lambda calculus and monads of probability distributions. | Norman Ramsey, Avi Pfeffer |
| 2002 | Information flow inference for ML. | Franois Pottier, Vincent Simonet |
| 2002 | Towards automatic construction of staged compilers. | Matthai Philipose, Craig Chambers, Susan J. Eggers |