8. OSDI 2008:
San Diego,
California,
USA
Richard Draves, Robbert van Renesse (Eds.):
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 BibTeX
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
Electronic Edition (link) BibTeX
- Dushyanth Narayanan, Austin Donnelly, Eno Thereska, Sameh Elnikety, Antony I. T. Rowstron:
Everest: Scaling Down Peak Loads Through I/O Off-Loading.
15-28
Electronic Edition (link) BibTeX
- Matei Zaharia, Andy Konwinski, Anthony D. Joseph, Randy H. Katz, Ion Stoica:
Improving MapReduce Performance in Heterogeneous Environments.
29-42
Electronic Edition (link) BibTeX
OS Architecture
- Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yuehua Dai, Yang Zhang, Zheng Zhang:
Corey: An Operating System for Many Cores.
43-57
Electronic Edition (link) BibTeX
- Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell:
CuriOS: Improving Reliability through Operating System Structure.
59-72
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Monitoring
- Navendu Jain, Prince Mahajan, Dmitry Kit, Praveen Yalagandula, Michael Dahlin, Yin Zhang:
Network Imprecision: A New Consistency Metric for Scalable Monitoring.
87-102
Electronic Edition (link) BibTeX
- Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, Larry L. Peterson:
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems.
103-116
Electronic Edition (link) BibTeX
- Xu Chen, Ming Zhang, Zhuoqing Morley Mao, Paramvir Bahl:
Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions.
117-130
Electronic Edition (link) BibTeX
File Systems
- Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau:
SQCK: A Declarative File System Checker.
131-146
Electronic Edition (link) BibTeX
- Vijayan Prabhakaran, Thomas L. Rodeheffer, Lidong Zhou:
Transactional Flash.
147-160
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Programming Language Techniques
- Sorav Bansal, Alex Aiken:
Binary Translation Using Peephole Superoptimizers.
177-192
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Cristian Cadar, Daniel Dunbar, Dawson R. Engler:
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
209-224
Electronic Edition (link) BibTeX
Security
- Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis:
Hardware Enforcement of Application Security Policies Using Tagged Memory.
225-240
Electronic Edition (link) BibTeX
- Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider:
Device Driver Safety Through a Reference Validation Mechanism.
241-254
Electronic Edition (link) BibTeX
- Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King:
Digging for Data Structures.
255-266
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke:
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
281-294
Electronic Edition (link) BibTeX
- Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea:
Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.
295-308
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Rodrigo Fonseca, Prabal Dutta, Philip Levis, Ion Stoica:
Quanto: Tracking Energy in Networked Embedded Systems.
323-338
Electronic Edition (link) BibTeX
- John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch:
Leveraging Legacy Code to Deploy Desktop Applications on the Web.
339-354
Electronic Edition (link) BibTeX
Wide-Area Distributed Systems
Copyright © Sat May 16 23:32:08 2009
by Michael Ley (ley@uni-trier.de)
