| 2003 | Address Register Assignment for Reducing Code Size. | Mahmut T. Kandemir, Mary Jane Irwin, Guilin Chen, J. Ramanujam |
| 2003 | The MAGICA Type Inference Engine for MATLAB. | Pramod G. Joisha, Prithviraj Banerjee |
| 2003 | Generalised Regular Parsers. | Adrian Johnstone, Elizabeth Scott |
| 2003 | Combined Code Motion and Register Allocation Using the Value State Dependence Graph. | Neil Johnson, Alan Mycroft |
| 2003 | The Verifying Compiler: A Grand Challenge for Computing Research. | C. A. R. Hoare |
| 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 | Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences. | Etienne Gagnon, Laurie J. Hendren |
| 2003 | A New One-Pass Transformation into Monadic Normal Form. | Olivier Danvy |
| 2003 | Run-Time Type Checking for Binary Programs. | Michael Burrows, Stephen N. Freund, Janet L. Wiener |
| 2003 | Improving Data Locality by Chunking. | Cdric Bastoul, Paul Feautrier |
| 2003 | Integrating Generations with Advanced Reference Counting Garbage Collectors. | Hezi Azatchi, Erez Petrank |
| 2003 | Register Allocation by Optimal Graph Coloring. | Christian Andersson |
| 2002 | Data Compression Transformations for Dynamically Allocated Data Structures. | Youtao Zhang, Rajiv Gupta |
| 2002 | Forwarding in Attribute Grammars for Modular Language Design. | Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski |
| 2002 | Value-Profile Guided Stride Prefetching for Irregular Code. | Youfeng Wu, Mauricio J. Serrano, Rakesh Krishnaiyer, Wei Li, Jesse Fang |
| 2002 | StreamIt: A Language for Streaming Applications. | William Thies, Michal Karczmarek, Saman P. Amarasinghe |
| 2002 | Optimizing Static Power Dissipation by Functional Units in Superscalar Processors. | Siddharth Rele, Santosh Pande, Soner nder, Rajiv Gupta |
| 2002 | A Comprehensive Approach to Array Bounds Check Elimination for Java. | Feng Qian, Laurie J. Hendren, Clark Verbrugge |
| 2002 | Online Subpath Profiling. | David Oren, Yossi Matias, Shmuel Sagiv |
| 2002 | CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. | George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer |
| 2002 | Linear Scan Register Allocation in the Context of SSA Form and Register Constraints. | Hanspeter Mssenbck, Michael Pfeiffer |
| 2002 | A Graph-Free Approach to Data-Flow Analysis. | Markus Mohnen |
| 2002 | Effective Enhancement of Loop Versioning in Java. | Vitaly V. Mikheev, Stanislav A. Fedoseev, Vladimir V. Sukharev, Nikita V. Lipsky |
| 2002 | Decompiling Java Bytecode: Problems, Traps and Pitfalls. | Jerome Miecznikowski, Laurie J. Hendren |
| 2002 | LISA: An Interactive Environment for Programming Language Development. | Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer |