| 2008 | Java Bytecode Verification for @NonNull Types. | Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov |
| 2008 | On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. | Francesco Logozzo, Manuel Fhndrich |
| 2008 | Coqa: Concurrent Objects with Quantized Atomicity. | Yu David Liu, Xiaoqi Lu, Scott F. Smith |
| 2008 | A System for Generating Static Analyzers for Machine Instructions. | Junghee Lim, Thomas W. Reps |
| 2008 | Control Flow Emulation on Tiled SIMD Architectures. | Ghulam Lashari, Ondrej Lhotk, Michael McCool |
| 2008 | Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. | Uday P. Khedker, Bageshri Karkare |
| 2008 | Generating SIMD Vectorized Permutations. | Franz Franchetti, Markus Pschel |
| 2008 | Keep Off the Grass: Locking the Right Path for Atomicity. | Dave Cunningham, Khilan Gudka, Susan Eisenbach |
| 2008 | An Adaptive Strategy for Inline Substitution. | Keith D. Cooper, Timothy J. Harvey, Todd Waterman |
| 2008 | Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. | Uday Bondhugula, Muthu Manikandan Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan |
| 2008 | Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs. | Etienne Bergeron, Marc Feeley, Jean-Pierre David |
| 2007 | An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures. | K. Shyam, R. Govindarajan |
| 2007 | A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees. | Bernhard Scholz, Johann Blieberger |
| 2007 | Extended Linear Scan: An Alternate Foundation for Global Register Allocation. | Vivek Sarkar, Rajkishore Barik |
| 2007 | Using Prefetching to Improve Reference-Counting Garbage Collectors. | Harel Paz, Erez Petrank |
| 2007 | Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. | Santosh Nagarakatte, R. Govindarajan |
| 2007 | Correcting the Dynamic Call Graph Using Control-Flow Constraints. | Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley |
| 2007 | Layout Transformations for Heap Objects Using Static Access Patterns. | Jinseong Jeon, Keoncheol Shin, Hwansoo Han |
| 2007 | A Fast Cutting-Plane Algorithm for Optimal Coalescing. | Daniel Grund, Sebastian Hack |
| 2007 | New Algorithms for SIMD Alignment. | Liza Fireman, Erez Petrank, Ayal Zaks |
| 2007 | A Declarative Framework for Analysis and Optimization. | Henry Falconer, Paul H. J. Kelly, David M. Ingram, Michael R. Mellor, Tony Field, Olav Beckmann |
| 2007 | Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors. | Doosan Cho, Ravi Ayyagari, Gang-Ryung Uh, Yunheung Paek |
| 2007 | A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. | Sigmund Cherem, Radu Rugina |
| 2007 | Program Refactoring, Program Synthesis, and Model-Driven Development. | Don S. Batory |
| 2007 | Obfuscating Java: The Most Pain for the Least Gain. | Michael Batchelder, Laurie J. Hendren |