| 2008 | The potential for variable-granularity access tracking for optimistic parallelism. | Mihai Burcea, J. Gregory Steffan, Cristiana Amza |
| 2008 | Accelerating two-dimensional page walks for virtualized systems. | Ravi Bhargava, Ben Serebrin, Francesco Spadini, Srilatha Manne |
| 2008 | Exploiting access semantics and program behavior to reduce snoop power in chip multiprocessors. | Chinnakrishnan S. Ballapuram, Ahmad Sharif, Hsien-Hsin S. Lee |
| 2008 | GC assertions: using the garbage collector to check heap properties. | Edward Aftandilian, Samuel Z. Guyer |
| 2006 | SecCMP: a secure chip-multiprocessor architecture. | Li Yang, Lu Peng |
| 2006 | Writing Solaris device drivers in Java. | Hiroshi Yamauchi, Mario Wolczko |
| 2006 | A regulated transitive reduction (RTR) for longer memory race recording. | Min Xu, Mark D. Hill, Rastislav Bodk |
| 2006 | A: an assertion language for distributed systems. | Andrew Tjang, Fbio Oliveira, Richard P. Martin, Thu D. Nguyen |
| 2006 | Accelerator: using data parallelism to program GPUs for general-purpose uses. | David Tarditi, Sidd Puri, Jose Oglesby |
| 2006 | OSEK/VDX API for Java. | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schrder-Preikschat, Michael Franz |
| 2006 | Type inference for unboxed types and first class mutability. | Swaroop Sridhar, Jonathan S. Shapiro |
| 2006 | Combinatorial sketching for finite programs. | Armando Solar-Lezama, Liviu Tancau, Rastislav Bodk, Sanjit A. Seshia, Vijay A. Saraswat |
| 2006 | A probabilistic pointer analysis for speculative optimizations. | Jeff Da Silva, J. Gregory Steffan |
| 2006 | Ultra low-cost defect protection for microprocessor pipelines. | Smitha Shyam, Kypros Constantinides, Sujay Phadke, Valeria Bertacco, Todd M. Austin |
| 2006 | Tradeoffs in fine-grained heap memory protection. | Jianli Shen, Guru Venkataramani, Milos Prvulovic |
| 2006 | Programming language challenges in systems codes: why systems programmers still use C, and what to do about it. | Jonathan Shapiro |
| 2006 | A program transformation and architecture support for quantum uncomputation. | Ethan Schuchman, T. N. Vijaykumar |
| 2006 | Accurate and efficient filtering for the Intel thread checker race detector. | Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas |
| 2006 | Impact of virtualization on computer architecture and operating systems. | Mendel Rosenblum |
| 2006 | Atomicity and visibility in tiny embedded systems. | John Regehr, Nathan Cooprider, David Gay |
| 2006 | Efficient type and memory safety for tiny embedded systems. | John Regehr, Nathan Cooprider, Will Archer, Eric Eide |
| 2006 | Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance. | Vimal K. Reddy, Eric Rotenberg, Sailashri Parthasarathy |
| 2006 | Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006). | Christian W. Probst, Andreas Gal, Robert Grimm, Olaf Spinczyk |
| 2006 | A defect tolerant self-organizing nanoscale SIMD architecture. | Jaidev P. Patwardhan, Vijeta Johri, Chris Dwyer, Alvin R. Lebeck |
| 2006 | SlicK: slice-based locality exploitation for efficient redundant multithreading. | Angshuman Parashar, Anand Sivasubramaniam, Sudhanva Gurumurthi |