| 2006 | A microkernel virtual machine: : building security with clear interfaces. | Xiaoqi Lu, Scott F. Smith |
| 2006 | Empirical relation between coupling and attackability in software systems: : a case study on DOS. | Michael Yanguo Liu, Issa Traor |
| 2006 | Online performance auditing: using hot optimizations without getting burned. | Jeremy Lau, Matthew Arnold, Michael Hind, Brad Calder |
| 2006 | A global progressive register allocator. | David Ryan Koes, Seth Copen Goldstein |
| 2006 | The Compressor: concurrent, incremental, and parallel compaction. | Haim Kermany, Erez Petrank |
| 2006 | Precise alias analysis for static detection of web application vulnerabilities. | Nenad Jovanovic, Christopher Kruegel, Engin Kirda |
| 2006 | Context-sensitive domain-independent algorithm composition and selection. | Troy A. Johnson, Rudolf Eigenmann |
| 2006 | Algorithm specialization in generic programming: challenges of constrained generics in C++. | Jaakko Jrvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek |
| 2006 | Efficient type inference for secure information flow. | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2006 | Trusted declassification: : high-level policy for a security-typed language. | Boniface Hicks, Dave King, Patrick D. McDaniel, Michael Hicks |
| 2006 | Optimizing memory transactions. | Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi |
| 2006 | Certified In-lined Reference Monitoring on .NET. | Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider |
| 2006 | Free-Me: a static analysis for automatic individual object reclamation. | Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton |
| 2006 | Combining abstract interpreters. | Sumit Gulwani, Ashish Tiwari |
| 2006 | Better extensibility through modular syntax. | Robert Grimm |
| 2006 | Applying flow-sensitive CQUAL to verify MINIX authorization check placement. | Timothy Fraser, Nick L. Petroni Jr., William A. Arbaugh |
| 2006 | Modular verification of assembly code with stack-based control abstractions. | Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
| 2006 | Artemis: practical runtime monitoring of applications for execution anomalies. | Long Fei, Samuel P. Midkiff |
| 2006 | Fast and flexible instruction selection with on-demand tree-parsing automata. | M. Anton Ertl, Kevin Casey, David Gregg |
| 2006 | SAFECode: enforcing alias analysis for weakly typed languages. | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
| 2006 | Termination proofs for systems code. | Byron Cook, Andreas Podelski, Andrey Rybalchenko |
| 2006 | Cache-conscious coallocation of hot data streams. | Trishul M. Chilimbi, Ran Shaham |
| 2006 | Reducing NoC energy consumption through compiler-directed channel voltage scaling. | Guangyu Chen, Feihui Li, Mahmut T. Kandemir, Mary Jane Irwin |
| 2006 | Profile-guided proactive garbage collection for locality optimization. | Wen-ke Chen, Sanjay Bhansali, Trishul M. Chilimbi, Xiaofeng Gao, Weihaw Chuang |
| 2006 | The Atomos transactional programming language. | Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun |