| 2003 | A generic approach to the static analysis of concurrent programs with procedures. Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
| 2003 | A real-time garbage collector with low overhead and consistent utilization. David F. Bacon, Perry Cheng, V. T. Rajan |
| 2003 | A type system for higher-order modules. Derek Dreyer, Karl Crary, Robert Harper |
| 2003 | A type theory for memory allocation and data layout. Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning |
| 2003 | Bigraphs and transitions. Ole Høgh Jensen, Robin Milner |
| 2003 | Bitwidth aware global register allocation. Sriraman Tallam, Rajiv Gupta |
| 2003 | Coercive subtyping for the calculus of constructions. Gang Chen |
| 2003 | Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003 Alex Aiken, Greg Morrisett |
| 2003 | Destructors, finalizers, and synchronization. Hans-Juergen Boehm |
| 2003 | Discovering affine equalities using random interpretation. Sumit Gulwani, George C. Necula |
| 2003 | Efficient algorithms for isomorphisms of simple types. Yoav Zibin, Joseph Gil, Jeffrey Considine |
| 2003 | Environment classifiers. Walid Taha, Michael Florentin Nielsen |
| 2003 | Folklore confirmed: reducible flow graphs are exponentially larger. Larry Carter, Jeanne Ferrante, Clark D. Thomborson |
| 2003 | From control effects to typed continuation passing. Hayo Thielecke |
| 2003 | From symptom to cause: localizing errors in counterexample traces. Thomas Ball, Mayur Naik, Sriram K. Rajamani |
| 2003 | Guarded recursive datatype constructors. Hongwei Xi, Chiyan Chen, Gang Chen |
| 2003 | Incremental algorithms for dispatching in dynamically typed languages. Yoav Zibin, Joseph Gil |
| 2003 | Interprocedural compatibility analysis for static object preallocation. Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard |
| 2003 | New results on the computability and complexity of points - to analysis. Venkatesan T. Chakaravarthy |
| 2003 | Ownership types for object encapsulation. Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
| 2003 | Pure patterns type systems. Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
| 2003 | Selective memoization. Umut A. Acar, Guy E. Blelloch, Robert Harper |
| 2003 | Static prediction of heap space usage for first-order functional programs. Martin Hofmann, Steffen Jost |
| 2003 | The essence of XML. Jérôme Siméon, Philip Wadler |
| 2003 | The m-calculus: a higher-order distributed process calculus. Alan Schmitt, Jean-Bernard Stefani |
| 2003 | Toward a foundational typed assembly language. Karl Crary |