


default search action
22nd SOSP 2009: Big Sky, Montana, USA
- Jeanna Neefe Matthews, Thomas E. Anderson:

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, Tim 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, Gregory T. 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 R. 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 A. 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 Alexander 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 V. Goldberg:
Quincy: fair scheduling for distributed computing clusters. 261-276 - Allen Clement, Manos Kapritsos, Sangmin Lee, Yang Wang, Lorenzo Alvisi, Michael Dahlin, Taylor Riché

:
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














