OSDI '08 Banner

TECHNICAL SESSIONS

Conference papers are available to conference registrants immediately and to everyone beginning December 8, 2008. Everyone can view the proceedings front matter immediately.

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

Download Full Proceedings

Tech Sessions: Monday, December 8 | Tuesday, December 9 | Wednesday, December 10
Monday, December 8
8:45 a.m.–9:00 a.m. Monday

Opening Remarks

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

9:00 a.m.–10:30 a.m. Monday

Cloud Computing

Session Chair: Marvin Theimer, Amazon.com

Awarded Jay Lepreau 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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

10:30 a.m.–11:00 a.m.  Break
11:00 a.m.–12:30 p.m. Monday

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

12:30 p.m.–2:00 p.m.  Lunch
2:00 p.m.–3:30 p.m. Monday

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

3:30 p.m.–4:00 p.m.  Break
4:00 p.m.–5:30 p.m. Monday

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.
MP3 IconListen in MP3 format

5:30 p.m.–6:00 p.m. Monday

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

Video View the video

MP3 IconListen in MP3 format

6:30 p.m.–10:00 p.m. Monday

Symposium Reception

Tech Sessions: Monday, December 8 | Tuesday, December 9 | Wednesday, December 10
Tuesday, December 9
9:00 a.m.–10:30 a.m. Tuesday

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
MP3 IconListen in MP3 format

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

Paper in HTML | PDF
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

10:30 a.m.–11:00 a.m.  Break
11:00 a.m.–12:30 p.m. Tuesday

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

Awarded Jay Lepreau 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
MP3 IconListen in MP3 format

12:30 p.m.–2:00 p.m.  Lunch
2:00 p.m.–3:30 p.m. Tuesday

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

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

Paper in HTML | PDF
MP3 IconListen in MP3 format

3:30 p.m.–4:00 p.m.  Break
4:00 p.m.–5:30 p.m. Tuesday

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

6:00 p.m.–7:30 p.m. Tuesday

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.

Tech Sessions: Monday, December 8 | Tuesday, December 9 | Wednesday, December 10
Wednesday, December 10
9:00 a.m.–10:30 a.m. Wednesday

Various Good Things

Session Chair: Jim Waldo, Sun Microsystems, Inc.

Awarded Jay Lepreau 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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

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
MP3 IconListen in MP3 format

10:30 a.m.–11:00 a.m.  Break
11:00 a.m.–noon Wednesday

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
MP3 IconListen in MP3 format

Mencius: Building Efficient Replicated State Machines 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
MP3 IconListen in MP3 format

?Need help? Use our Contacts page.

Last changed: 9 Feb. 2009 jel