Abstract is missing.
- FAWN: a fast array of wimpy nodesDavid G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan. 1-14 [doi]
- RouteBricks: exploiting parallelism to scale software routersMihai Dobrescu, Norbert Egi, Katerina J. Argyraki, Byung-Gon Chun, Kevin R. Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy. 15-28 [doi]
- The multikernel: a new OS architecture for scalable multicore systemsAndrew Baumann, Paul Barham, Pierre-Évariste Dagand, Timothy L. Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania. 29-44 [doi]
- Fast byte-granularity software fault isolationMiguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black. 45-58 [doi]
- Tolerating hardware device failures in softwareAsim Kadav, Matthew J. Renzelmann, Michael M. Swift. 59-72 [doi]
- Automatic device driver synthesis with termiteLeonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser. 73-86 [doi]
- Automatically patching errors in deployed softwareJeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard. 87-102 [doi]
- Debugging in the (very) large: ten years of implementation and experienceKirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt. 103-116 [doi]
- Detecting large-scale system problems by mining console logsWei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan. 117-132 [doi]
- Better I/O through byte-addressable, persistent memoryJeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee. 133-146 [doi]
- Modular data storage with AnvilMike Mammarella, Shant Hovsepian, Eddie Kohler. 147-160 [doi]
- Operating systems transactionsDonald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel. 161-176 [doi]
- PRES: probabilistic replay with execution sketching on multiprocessorsSoyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu. 177-192 [doi]
- ODR: output-deterministic replay for multicore debuggingGautam Altekar, Ion Stoica. 193-206 [doi]
- seL4: formal verification of an OS kernelGerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood. 207-220 [doi]
- Helios: heterogeneous multiprocessing with satellite kernelsEdmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt. 221-234 [doi]
- Surviving sensor network software faultsYang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr. 235-246 [doi]
- Distributed aggregation for data-parallel computing: interfaces and implementationsYuan Yu, Pradeep Kumar Gunda, Michael Isard. 247-260 [doi]
- Quincy: fair scheduling for distributed computing clustersMichael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew Goldberg. 261-276 [doi]
- Upright cluster servicesAllen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riche. 277-290 [doi]
- Improving application security with data flow assertionsAlexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek. 291-304 [doi]
- Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphsJohn Dunagan, Alice X. Zheng, Daniel R. Simon. 305-320 [doi]
- Fabric: a platform for secure distributed computation and storageJed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers. 321-334 [doi]