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
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, Yuehua 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 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
Copyright © Mon Nov 2 21:01:40 2009
by Michael Ley (ley@uni-trier.de)