| 2003 | A Compilation and Optimization Model for Aspect-Oriented Programs. Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn |
| 2003 | A New One-Pass Transformation into Monadic Normal Form. Olivier Danvy |
| 2003 | A Pattern Matching Compiler for Multiple Target Languages. Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek |
| 2003 | Address Register Assignment for Reducing Code Size. Mahmut T. Kandemir, Mary Jane Irwin, Guilin Chen, J. Ramanujam |
| 2003 | Automatic Detection of Uninitialized Variables. Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho |
| 2003 | Combined Code Motion and Register Allocation Using the Value State Dependence Graph. Neil Johnson, Alan Mycroft |
| 2003 | Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Görel Hedin |
| 2003 | Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages. Barbara G. Ryder |
| 2003 | Early Control of Register Pressure for Software Pipelined Loops. Sid Ahmed Ali Touati, Christine Eisenbeis |
| 2003 | Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. Etienne Gagnon, Laurie J. Hendren |
| 2003 | Generalised Regular Parsers. Adrian Johnstone, Elizabeth Scott |
| 2003 | Improving Data Locality by Chunking. Cédric Bastoul, Paul Feautrier |
| 2003 | Integrating Generations with Advanced Reference Counting Garbage Collectors. Hezi Azatchi, Erez Petrank |
| 2003 | Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience. Somnath Ghosh, Abhay Kanhere, Rakesh Krishnaiyer, Dattatraya Kulkarni, Wei Li, Chu-Cheow Lim, John Ng |
| 2003 | Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms. Rainer Leupers |
| 2003 | Polyglot: An Extensible Compiler Framework for Java. Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers |
| 2003 | Precision in Practice: A Type-Preserving Java Compiler. Christopher League, Zhong Shao, Valery Trifonov |
| 2003 | Rapid and Robust Compiler Construction Using Template-Based Metacompilation. Kees van Reeuwijk |
| 2003 | Register Allocation by Optimal Graph Coloring. Christian Andersson |
| 2003 | Run-Time Type Checking for Binary Programs. Michael Burrows, Stephen N. Freund, Janet L. Wiener |
| 2003 | Scaling Java Points-to Analysis Using SPARK. Ondrej Lhoták, Laurie J. Hendren |
| 2003 | The Interprocedural Express-Lane Transformation. David Melski, Thomas W. Reps |
| 2003 | The MAGICA Type Inference Engine for MATLAB. Pramod G. Joisha, Prithviraj Banerjee |
| 2003 | The Verifying Compiler: A Grand Challenge for Computing Research. C. A. R. Hoare |