| 2009 | Automatic device driver synthesis with termite. Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
| 2009 | Automatically patching errors in deployed software. Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Gregory T. Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard |
| 2009 | Better I/O through byte-addressable, persistent memory. Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee |
| 2009 | Debugging in the (very) large: ten years of implementation and experience. Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince R. Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt |
| 2009 | Detecting large-scale system problems by mining console logs. Wei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan |
| 2009 | Distributed aggregation for data-parallel computing: interfaces and implementations. Yuan Yu, Pradeep Kumar Gunda, Michael Isard |
| 2009 | FAWN: a fast array of wimpy nodes. David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan |
| 2009 | Fabric: a platform for secure distributed computation and storage. Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers |
| 2009 | Fast byte-granularity software fault isolation. Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black |
| 2009 | Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs. John Dunagan, Alice X. Zheng, Daniel R. Simon |
| 2009 | Helios: heterogeneous multiprocessing with satellite kernels. Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt |
| 2009 | Improving application security with data flow assertions. Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2009 | Modular data storage with Anvil. Mike Mammarella, Shant Hovsepian, Eddie Kohler |
| 2009 | ODR: output-deterministic replay for multicore debugging. Gautam Altekar, Ion Stoica |
| 2009 | Operating systems transactions. Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel |
| 2009 | PRES: probabilistic replay with execution sketching on multiprocessors. Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu |
| 2009 | Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009 Jeanna Neefe Matthews, Thomas E. Anderson |
| 2009 | Quincy: fair scheduling for distributed computing clusters. Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew V. Goldberg |
| 2009 | RouteBricks: exploiting parallelism to scale software routers. Mihai Dobrescu, Norbert Egi, Katerina J. Argyraki, Byung-Gon Chun, Kevin R. Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy |
| 2009 | Surviving sensor network software faults. Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr |
| 2009 | The multikernel: a new OS architecture for scalable multicore systems. Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania |
| 2009 | Tolerating hardware device failures in software. Asim Kadav, Matthew J. Renzelmann, Michael M. Swift |
| 2009 | Upright cluster services. Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché |
| 2009 | seL4: formal verification of an OS kernel. Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |