


default search action
8th OSDI 2008: San Diego, California, USA
- Richard Draves, Robbert van Renesse:

8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings. USENIX Association 2008, ISBN 978-1-931971-65-2
Cloud Computing
- Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey:

DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. 1-14 - Dushyanth Narayanan, Austin Donnelly, Eno Thereska, Sameh Elnikety, Antony I. T. Rowstron:

Everest: Scaling Down Peak Loads Through I/O Off-Loading. 15-28 - Matei Zaharia, Andy Konwinski, Anthony D. Joseph, Randy H. Katz, Ion Stoica:

Improving MapReduce Performance in Heterogeneous Environments. 29-42
OS Architecture
- Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang:

Corey: An Operating System for Many Cores. 43-57 - Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell:

CuriOS: Improving Reliability through Operating System Structure. 59-72 - Ting Yang, Tongping Liu, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss:

Redline: First Class Support for Interactivity in Commodity Operating Systems. 73-86
Monitoring
- Navendu Jain, Prince Mahajan, Dmitry Kit, Praveen Yalagandula, Michael Dahlin, Yin Zhang:

Network Imprecision: A New Consistency Metric for Scalable Monitoring. 87-102 - Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, Larry L. Peterson:

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems. 103-116 - Xu Chen, Ming Zhang, Zhuoqing Morley Mao, Paramvir Bahl:

Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions. 117-130
File Systems
- Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:

SQCK: A Declarative File System Checker. 131-146 - Vijayan Prabhakaran, Thomas L. Rodeheffer, Lidong Zhou:

Transactional Flash. 147-160 - Ashok Anand, Sayandeep Sen, Andrew Krioukov, Florentina I. Popovici, Aditya Akella, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Suman Banerjee:

Avoiding File System Micromanagement with Range Writes. 161-176
Programming Language Techniques
- Sorav Bansal, Alex Aiken:

Binary Translation Using Peephole Superoptimizers. 177-192 - Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang:

R2: An Application-Level Kernel for Record and Replay. 193-208 - Cristian Cadar, Daniel Dunbar, Dawson R. Engler:

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. 209-224
Security
- Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis:

Hardware Enforcement of Application Security Policies Using Tagged Memory. 225-240 - Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider:

Device Driver Safety Through a Reference Validation Mechanism. 241-254 - Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King:

Digging for Data Structures. 255-266
Dealing with Concurrency Bugs
- Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu:

Finding and Reproducing Heisenbugs in Concurrent Programs. 267-280 - Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke:

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. 281-294 - Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea:

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. 295-308
Various Good Things
- Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat:

Difference Engine: Harnessing Memory Redundancy in Virtual Machines. 309-322 - Rodrigo Fonseca, Prabal Dutta, Philip Alexander Levis, Ion Stoica:

Quanto: Tracking Energy in Networked Embedded Systems. 323-338 - John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch:

Leveraging Legacy Code to Deploy Desktop Applications on the Web. 339-354
Wide-Area Distributed Systems
- Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin:

FlightPath: Obedience vs. Choice in Cooperative Services. 355-368 - Yanhua Mao, Flavio Paiva Junqueira, Keith Marzullo:

Mencius: Building Efficient Replicated State Machine for WANs. 369-384

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














