Proceedings Front Matter: Title Page | Conference Organizers and External Reviewers |
Table of Contents | Index of Authors | Message from the Program Chair

Opening Remarks

Program Co-Chairs: Richard Draves, Microsoft Research; Robbert van Renesse, Cornell University

Cloud Computing

Session Chair: Marvin Theimer, Amazon.com

Awarded Best Paper!
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
Yuan Yu, Michael Isard, Dennis Fetterly, and Mihai Budiu, Microsoft Research Silicon Valley; Úlfar Erlingsson, Reykjavík University, Iceland, and Microsoft Research Silicon Valley; Pradeep Kumar Gunda and Jon Currey, Microsoft Research Silicon Valley

Paper in HTML | PDF

Everest: Scaling Down Peak Loads Through I/O Off-Loading
Dushyanth Narayanan, Austin Donnelly, Eno Thereska, Sameh Elnikety, and Antony Rowstron, Microsoft Research Cambridge, United Kingdom

Paper in HTML | PDF

Improving MapReduce Performance in Heterogeneous Environments
Matei Zaharia, Andy Konwinski, Anthony D. Joseph, Randy Katz, and Ion Stoica, University of California, Berkeley

Paper in HTML | PDF

OS Architecture

Session Chair: Remzi Arpaci-Dusseau, University of Wisconsin, Madison

Corey: An Operating System for Many Cores
Silas Boyd-Wickizer, Massachusetts Institute of Technology; Haibo Chen, Rong Chen, and Yandong Mao, Fudan University; Frans Kaashoek, Robert Morris, and Aleksey Pesterev, Massachusetts Institute of Technology; Lex Stein and Ming Wu, Microsoft Research Asia; Yuehua Dai, Xi'an Jiaotong University; Yang Zhang, Massachusetts Institute of Technology; Zheng Zhang, Microsoft Research Asia

Paper in HTML | PDF

CuriOS: Improving Reliability through Operating System Structure
Francis M. David, Ellick M. Chan, Jeffrey C. Carlyle, and Roy H. Campbell, University of Illinois at Urbana-Champaign

Paper in HTML | PDF

Redline: First Class Support for Interactivity in Commodity Operating Systems
Ting Yang, Tongping Liu, and Emery D. Berger, University of Massachusetts Amherst; Scott F. Kaplan, Amherst College; J. Eliot B. Moss, University of Massachusetts Amherst

Paper in HTML | PDF

Monitoring

Session Chair: Dave Presotto, Google, Inc.

Network Imprecision: A New Consistency Metric for Scalable Monitoring
Navendu Jain, Microsoft Research; Prince Mahajan and Dmitry Kit, University of Texas at Austin; Praveen Yalagandula, HP Labs; Mike Dahlin and Yin Zhang, University of Texas at Austin

Paper in HTML | PDF

Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems
Sapan Bhatia, Princeton University; Abhishek Kumar, Google Inc.; Marc E. Fiuczynski and Larry Peterson, Princeton University

Paper in HTML | PDF

Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions
Xu Chen, University of Michigan; Ming Zhang, Microsoft Research; Z. Morley Mao, University of Michigan; Paramvir Bahl, Microsoft Research

Paper in HTML | PDF

Work-in-Progress Reports (WiPs)

Session Chair: Philip Levis, Stanford University

The Work-in-Progress reports (WiPs) session offers short presentations about research in progress, new results, or timely topics. Check out the list of accepted WiPs.

Inauguration of the Jay Lepreau Award for the Best Paper Presented at the 8th OSDI

View the video

Symposium Reception

File Systems

Session Chair: Marcos Aguilera, Microsoft Research

SQCK: A Declarative File System Checker
Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, University of Wisconsin, Madison

Paper in HTML | PDF

Transactional Flash
Vijayan Prabhakaran, Thomas L. Rodeheffer, and Lidong Zhou, Microsoft Research, Silicon Valley

Paper in HTML | PDF

Avoiding File System Micromanagement with Range Writes
Ashok Anand and Sayandeep Sen, University of Wisconsin, Madison; Andrew Krioukov, University of California, Berkeley; Florentina Popovici, Google; Aditya Akella, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau, and Suman Banerjee, University of Wisconsin, Madison

Paper in HTML | PDF

Programming Language Techniques

Session Chair: Terence Kelly, HP Labs

Binary Translation Using Peephole Superoptimizers
Sorav Bansal and Alex Aiken, Stanford University

Paper in HTML | PDF

R2: An Application-Level Kernel for Record and Replay
Zhenyu Guo, Microsoft Research Asia; Xi Wang, Tsinghua University; Jian Tang and Xuezheng Liu, Microsoft Research Asia; Zhilei Xu, Tsinghua University; Ming Wu, Microsoft Research Asia; M. Frans Kaashoek, MIT CSAIL; Zheng Zhang, Microsoft Research Asia

Paper in HTML | PDF

Awarded Best Paper!
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Cristian Cadar, Daniel Dunbar, and Dawson Engler, Stanford University

Paper in HTML | PDF

Security

Session Chair: David Lie, University of Toronto

Hardware Enforcement of Application Security Policies Using Tagged Memory
Nickolai Zeldovich, Massachusetts Institute of Technology; Hari Kannan, Michael Dalton, and Christos Kozyrakis, Stanford University

Paper in HTML | PDF

Device Driver Safety Through a Reference Validation Mechanism
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, and Fred B. Schneider, Cornell University

Paper in HTML | PDF

Digging for Data Structures
Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King, University of Illinois at Urbana-Champaign

Paper in HTML | PDF

Dealing with Concurrency Bugs

Session Chair: Wolfgang Schröder-Preikschat, University of Erlangen-Nürnberg

Finding and Reproducing Heisenbugs in Concurrent Programs
Madanlal Musuvathi, Shaz Qadeer, and Thomas Ball, Microsoft Research; Gerard Basler, ETH Zurich; Piramanayagam Arumuga Nainar, University of Wisconsin, Madison; Iulian Neamtiu, University of California, Riverside

Paper in HTML | PDF

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
Yin Wang, University of Michigan and Hewlett-Packard Laboratories; Terence Kelly, Hewlett-Packard Laboratories; Manjunath Kudlur, Stéphane Lafortune, and Scott Mahlke, University of Michigan

Paper in HTML | PDF

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks
Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, and George Candea, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland

Paper in HTML | PDF

Poster Session and Happy Hour

Session Chair: Dejan Kostić, École Polytechnique Fédérale de Lausanne

The OSDI Poster Session will be held in conjunction with a happy hour at the Symposium. Check out the list of accepted posters.

Various Good Things

Session Chair: Jim Waldo, Sun Microsystems, Inc.

Awarded Best Paper!
Difference Engine: Harnessing Memory Redundancy in Virtual Machines
Diwaker Gupta, University of California, San Diego; Sangmin Lee, University of Texas at Austin; Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, and Amin Vahdat, University of California, San Diego

Paper in HTML | PDF

Quanto: Tracking Energy in Networked Embedded Systems
Rodrigo Fonseca, University of California, Berkeley, and Yahoo! Research; Prabal Dutta, University of California, Berkeley; Philip Levis, Stanford University; Ion Stoica, University of California, Berkeley

Paper in HTML | PDF

Leveraging Legacy Code to Deploy Desktop Applications on the Web
John R. Douceur, Jeremy Elson, Jon Howell, and Jacob R. Lorch, Microsoft Research

Paper in HTML | PDF

Wide-Area Distributed Systems

Session Chair: Dejan Kostić, École Polytechnique Fédérale de Lausanne

FlightPath: Obedience vs. Choice in Cooperative Services
Harry C. Li and Allen Clement, University of Texas at Austin; Mirco Marchetti, University of Modena and Reggio Emilia; Manos Kapritsos, Luke Robison, Lorenzo Alvisi, and Mike Dahlin, University of Texas at Austin

Paper in HTML | PDF

Mencius: Building Efficient Replicated State Machine for WANs
Yanhua Mao, University of California, San Diego; Flavio P. Junqueira, Yahoo! Research Barcelona; Keith Marzullo, University of California, San Diego

Paper in HTML | PDF