22. SOSP 2009: Big Sky, Montana, USA

Scalability

• David G. Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan:
  FAWN: a fast array of wimpy nodes. 1-14
  
• Mihai Dobrescu, Norbert Egi, Katerina J. Argyraki, Byung-Gon Chun, Kevin R. Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia Ratnasamy:
  RouteBricks: exploiting parallelism to scale software routers. 15-28
  
• Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Timothy L. Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania:
  The multikernel: a new OS architecture for scalable multicore systems. 29-44
  

Device drivers

• Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black:
  Fast byte-granularity software fault isolation. 45-58
  
• Asim Kadav, Matthew J. Renzelmann, Michael M. Swift:
  Tolerating hardware device failures in software. 59-72
  
• Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser:
  Automatic device driver synthesis with termite. 73-86
  

Debugging

• Jeff 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:
  Automatically patching errors in deployed software. 87-102
  
• Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt:
  Debugging in the (very) large: ten years of implementation and experience. 103-116
  
• Wei Xu, Ling Huang, Armando Fox, David A. Patterson, Michael I. Jordan:
  Detecting large-scale system problems by mining console logs. 117-132
  

I/O

• Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee:
  Better I/O through byte-addressable, persistent memory. 133-146
  
• Mike Mammarella, Shant Hovsepian, Eddie Kohler:
  Modular data storage with Anvil. 147-160
  
• Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel:
  Operating systems transactions. 161-176
  

Parallel debugging

• Soyeon Park, Yuanyuan Zhou, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu:
  PRES: probabilistic replay with execution sketching on multiprocessors. 177-192
  
• Gautam Altekar, Ion Stoica:
  ODR: output-deterministic replay for multicore debugging. 193-206
  

Kernals

• Gerwin 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:
  seL4: formal verification of an OS kernel. 207-220
  
• Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt:
  Helios: heterogeneous multiprocessing with satellite kernels. 221-234
  
• Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr:
  Surviving sensor network software faults. 235-246
  

Clusters

• Yuan Yu, Pradeep Kumar Gunda, Michael Isard:
  Distributed aggregation for data-parallel computing: interfaces and implementations. 247-260
  
• Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, Andrew Goldberg:
  Quincy: fair scheduling for distributed computing clusters. 261-276
  
• Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riche:
  Upright cluster services. 277-290
  

Security

• Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
  Improving application security with data flow assertions. 291-304
  
• John Dunagan, Alice X. Zheng, Daniel R. Simon:
  Heat-ray: combating identity snowball attacks using machinelearning, combinatorial optimization and attack graphs. 305-320
  
• Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers:
  Fabric: a platform for secure distributed computation and storage. 321-334