| 2005 | Verification of Source Code Transformations by Program Equivalence Checking. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2005 | Optimizing C Multithreaded Memory Management Using Thread-Local Storage. | Yair Sade, Shmuel Sagiv, Ran Shaham |
| 2005 | Source-Level Debugging for Multiple Languages with Modest Programming Effort. | Sukyoung Ryu, Norman Ramsey |
| 2005 | A Study of Type Analysis for Speculative Method Inlining in a JIT Environment. | Feng Qian, Laurie J. Hendren |
| 2005 | An Efficient On-the-Fly Cycle Collection. | Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan |
| 2005 | Age-Oriented Concurrent Garbage Collection. | Harel Paz, Erez Petrank, Stephen M. Blackburn |
| 2005 | Compilation of Generic Regular Path Expressions Using C++ Class Templates. | Luca Padovani |
| 2005 | Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. | Karina Olmos, Eelco Visser |
| 2005 | Jazz: A Tool for Demand-Driven Structural Testing. | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
| 2005 | A Compiler-Based Approach to Data Security. | Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks |
| 2005 | Using Inter-Procedural Side-Effect Information in JIT Optimizations. | Anatole Le, Ondrej Lhotk, Laurie J. Hendren |
| 2005 | Hob: A Tool for Verifying Data Structure Consistency. | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
| 2005 | Boosting the Performance of Multimedia Applications Using SIMD Instructions. | Weihua Jiang, Chao Mei, Bo Huang, Jianhui Li, Jiahua Zhu, Binyu Zang, Chuanqi Zhu |
| 2005 | XML Goes Native: Run-Time Representations for Xtatic. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |
| 2005 | Task Partitioning for Multi-core Network Processors. | Robert Ennals, Richard Sharp, Alan Mycroft |
| 2005 | Data Slicing: Separating the Heap into Independent Regions. | Jeremy Condit, George C. Necula |
| 2005 | Tiger - An Interpreter Generation Tool. | Kevin Casey, David Gregg, M. Anton Ertl |
| 2005 | Generalized Index-Set Splitting. | Christopher Barton, Arie Tal, Bob Blainey, Jos Nelson Amaral |
| 2005 | CodeSurfer/x86-A Platform for Analyzing x86 Executables. | Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum |
| 2004 | Value-Based Partial Redundancy Elimination. | Thomas VanDrunen, Antony L. Hosking |
| 2004 | Increasing the Applicability of Scalar Replacement. | Byoungro So, Mary W. Hall |
| 2004 | Developing a Foundation for Code Optimization. | Mary Lou Soffa |
| 2004 | Widening Integer Arithmetic. | Kevin Redwine, Norman Ramsey |
| 2004 | Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs. | Venkatesh Prasad Ranganath, John Hatcliff |
| 2004 | An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas. | Erin Parker, Siddhartha Chatterjee |