| 2005 | A Compiler-Based Approach to Data Security. Feihui Li, Guilin Chen, Mahmut T. Kandemir, Richard R. Brooks |
| 2005 | A Study of Type Analysis for Speculative Method Inlining in a JIT Environment. Feng Qian, Laurie J. Hendren |
| 2005 | Age-Oriented Concurrent Garbage Collection. Harel Paz, Erez Petrank, Stephen M. Blackburn |
| 2005 | An Efficient On-the-Fly Cycle Collection. Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan |
| 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 | CodeSurfer/x86-A Platform for Analyzing x86 Executables. Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, Tim Teitelbaum |
| 2005 | Compilation of Generic Regular Path Expressions Using C++ Class Templates. Luca Padovani |
| 2005 | Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings Rastislav Bodík |
| 2005 | Completeness Analysis for Incomplete Object-Oriented Programs. Jingling Xue, Phung Hua Nguyen |
| 2005 | Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. Karina Olmos, Eelco Visser |
| 2005 | Data Slicing: Separating the Heap into Independent Regions. Jeremy Condit, George C. Necula |
| 2005 | Experiences with Enumeration of Integer Projections of Parametric Polytopes. Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor |
| 2005 | Generalized Index-Set Splitting. Christopher Barton, Arie Tal, Bob Blainey, José Nelson Amaral |
| 2005 | Hob: A Tool for Verifying Data Structure Consistency. Patrick Lam, Viktor Kuncak, Martin C. Rinard |
| 2005 | Jazz: A Tool for Demand-Driven Structural Testing. Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
| 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 | Task Partitioning for Multi-core Network Processors. Robert Ennals, Richard Sharp, Alan Mycroft |
| 2005 | Tiger - An Interpreter Generation Tool. Kevin Casey, David Gregg, M. Anton Ertl |
| 2005 | Using Inter-Procedural Side-Effect Information in JIT Optimizations. Anatole Le, Ondrej Lhoták, Laurie J. Hendren |
| 2005 | Verification of Source Code Transformations by Program Equivalence Checking. K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2005 | When Abstraction Fails. Andreas Zeller |
| 2005 | XML Goes Native: Run-Time Representations for Xtatic. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt |