| 2007 | Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks. | Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek |
| 2006 | Lightweight Lexical Closures for Legitimate Execution Stack Access. | Masahiro Yasugi, Tasuku Hiraishi, Taiichi Yuasa |
| 2006 | A Fresh Look at PRE as a Maximum Flow Problem. | Jingling Xue, Jens Knoop |
| 2006 | Polyhedral Code Generation in the Real World. | Nicolas Vasilache, Cdric Bastoul, Albert Cohen |
| 2006 | Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. | Teck Bok Tok, Samuel Z. Guyer, Calvin Lin |
| 2006 | Interprocedural Dataflow Analysis in the Presence of Large Libraries. | Atanas Rountev, Scott Kagan, Thomas J. Marlowe |
| 2006 | Using Dependent Types to Port Type Systems to Low-Level Languages. | George C. Necula |
| 2006 | SARA: Combining Stack Allocation and Register Allocation. | V. Krishna Nandivada, Jens Palsberg |
| 2006 | The CGiS Compiler-A Tool Demonstration. | Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm |
| 2006 | Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective. | Jack Liu, Youfeng Wu |
| 2006 | Context-Sensitive Points-to Analysis: Is It Worth It?. | Ondrej Lhotk, Laurie J. Hendren |
| 2006 | Data-Flow Analysis as Model Checking Within the jABC. | Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen |
| 2006 | Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode. | Simon D. Hammond, David Lacey |
| 2006 | Register Allocation for Programs in SSA-Form. | Sebastian Hack, Daniel Grund, Gerhard Goos |
| 2006 | Selective Runtime Memory Disambiguation in a Dynamic Binary Translator. | Bolei Guo, Youfeng Wu, Cheng Wang, Matthew J. Bridges, Guilherme Ottoni, Neil Vachharajani, Jonathan Chang, David I. August |
| 2006 | Accurately Choosing Execution Runs for Software Fault Localization. | Liang Guo, Abhik Roychoudhury, Tao Wang |
| 2006 | Path-Based Reuse Distance Analysis. | Changpeng Fang, Steve Carr, Soner nder, Zhenlin Wang |
| 2006 | Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions. | Joo Dias, Norman Ramsey |
| 2006 | Hybrid Optimizations: Which Optimization Algorithm to Use?. | John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle |
| 2006 | Enhanced Bitwidth-Aware Register Allocation. | Rajkishore Barik, Vivek Sarkar |
| 2006 | Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. | David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan |
| 2006 | Iterative Collective Loop Fusion. | Thomas J. Ashby, Michael F. P. O'Boyle |
| 2005 | When Abstraction Fails. | Andreas Zeller |
| 2005 | Completeness Analysis for Incomplete Object-Oriented Programs. | Jingling Xue, Phung Hua Nguyen |
| 2005 | Experiences with Enumeration of Integer Projections of Parametric Polytopes. | Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |