22. SOSP 2009:
Big Sky, Montana, USA
Jeanna Neefe Matthews, Thomas E. Anderson (Eds.):
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009.
ACM 2009, ISBN 978-1-60558-752-3 
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
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
Last update Sun May 26 03:26:25 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
