| 2006 | A framework for unrestricted whole-program optimization. Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August |
| 2006 | A global progressive register allocator. David Ryan Koes, Seth Copen Goldstein |
| 2006 | Accurate, efficient, and adaptive calling context profiling. Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi |
| 2006 | Algorithm specialization in generic programming: challenges of constrained generics in C++. Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek |
| 2006 | An experimental analysis of self-adjusting computation. Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan |
| 2006 | Artemis: practical runtime monitoring of applications for execution anomalies. Long Fei, Samuel P. Midkiff |
| 2006 | Auto-vectorization of interleaved data for SIMD. Dorit Nuzman, Ira Rosen, Ayal Zaks |
| 2006 | Automatic instruction scheduler retargeting by reverse-engineering. Matthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August |
| 2006 | Better extensibility through modular syntax. Robert Grimm |
| 2006 | Cache-conscious coallocation of hot data streams. Trishul M. Chilimbi, Ran Shaham |
| 2006 | Combining abstract interpreters. Sumit Gulwani, Ashish Tiwari |
| 2006 | Compiler and runtime support for efficient software transactional memory. Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman |
| 2006 | Context-sensitive domain-independent algorithm composition and selection. Troy A. Johnson, Rudolf Eigenmann |
| 2006 | Continuations and transducer composition. Olin Shivers, Matthew Might |
| 2006 | Correctness-preserving derivation of concurrent garbage collection algorithms. Martin T. Vechev, Eran Yahav, David F. Bacon |
| 2006 | DieHard: probabilistic memory safety for unsafe languages. Emery D. Berger, Benjamin G. Zorn |
| 2006 | Effective static race detection for Java. Mayur Naik, Alex Aiken, John Whaley |
| 2006 | Eventrons: a safe programming construct for high-frequency hard real-time applications. Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove |
| 2006 | Fast and flexible instruction selection with on-demand tree-parsing automata. M. Anton Ertl, Kevin Casey, David Gregg |
| 2006 | Free-Me: a static analysis for automatic individual object reclamation. Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton |
| 2006 | LOCKSMITH: context-sensitive correlation analysis for race detection. Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks |
| 2006 | Modular verification of assembly code with stack-based control abstractions. Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
| 2006 | Online performance auditing: using hot optimizations without getting burned. Jeremy Lau, Matthew Arnold, Michael Hind, Brad Calder |
| 2006 | Optimizing data permutations for SIMD devices. Gang Ren, Peng Wu, David A. Padua |
| 2006 | Optimizing memory transactions. Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi |
| 2006 | Practical dynamic software updating for C. Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol |
| 2006 | Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006 Michael I. Schwartzbach, Thomas Ball |
| 2006 | Profile-based global live-range splitting. Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani |
| 2006 | Profile-guided proactive garbage collection for locality optimization. Wen-Ke Chen, Sanjay Bhansali, Trishul M. Chilimbi, Xiaofeng Gao, Weihaw Chuang |
| 2006 | Pruning dynamic slices with confidence. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta |
| 2006 | Reducing NoC energy consumption through compiler-directed channel voltage scaling. Guangyu Chen, Feihui Li, Mahmut T. Kandemir, Mary Jane Irwin |
| 2006 | Refinement-based context-sensitive points-to analysis for Java. Manu Sridharan, Rastislav Bodík |
| 2006 | SAFECode: enforcing alias analysis for weakly typed languages. Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
| 2006 | Shared memory programming for large scale machines. Christopher Barton, Calin Cascaval, George Almási, Yili Zheng, Montse Farreras, Siddhartha Chatterjee, José Nelson Amaral |
| 2006 | Termination proofs for systems code. Byron Cook, Andreas Podelski, Andrey Rybalchenko |
| 2006 | The Atomos transactional programming language. Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun |
| 2006 | The Compressor: concurrent, incremental, and parallel compaction. Haim Kermany, Erez Petrank |