Check out the new USENIX Web site.
HotDep '10 Banner


Session papers are available to OSDI and workshop registrants immediately and to everyone beginning October 3, 2010.

All sessions will take place in the British Room unless otherwise noted.

Sunday, October 3, 2010
7:30 a.m.–8:30 a.m.    Continental Breakfast, British Columbia Foyer
8:30 a.m.–8:35 a.m.

Opening Remarks

Program Co-Chairs: Paulo Verissimo, University of Lisbon; Hakim Weatherspoon, Cornell University

8:35 a.m.–10:00 a.m.

Distributed Algorithms

Session Chair: Andreas Haeberlen, University of Pennsylvania, US

Storyboard: Optimistic Deterministic Multithreading
Rüdiger Kapitza, Matthias Schunter, and Christian Cachin, IBM Research—Zurich; Klaus Stengel and Tobias Distler, Friedrich-Alexander University Erlangen-Nuremberg

Read the Abstract | Full paper

Scalable Agreement: Toward Ordering as a Service
Manos Kapritsos, UT Austin; Flavio P. Junqueira, Yahoo! Research

Read the Abstract | Full paper

Active Quorum Systems
Alysson Bessani, Paulo Sousa, and Miguel Correia, University of Lisbon, Faculty of Sciences

Read the Abstract | Full paper | Slides

10:00 a.m.–10:30 a.m.    Break
10:30 a.m.–Noon

OS Reliability

Session Chair: Gilles Muller, INRIA/LIP6, FR

We Crashed, Now What?
Cristiano Giuffrida, Lorenzo Cavallaro, and Andrew S. Tanenbaum, Vrije Universiteit, Amsterdam

Read the Abstract | Full paper | Slides

Improved Device Driver Reliability Through Verification Reuse
Leonid Ryzhyk, NICTA and University of New South Wales; John Keys, Intel Corporation; Balachandra Mirla, NICTA and University of New South Wales; Arun Raghunath and Mona Vij, Intel Corporation; Gernot Heiser, NICTA and University of New South Wales

Read the Abstract | Full paper

Towards Automatically Checking Thousands of Failures with Micro-specifications
Haryadi S. Gunawi, University of California, Berkeley; Thanh Do, University of Wisconsin, Madison; Pallavi Joshi and Joseph M. Hellerstein, University of California, Berkeley; Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau, University of Wisconsin, Madison; Koushik Sen, University of California, Berkeley

Read the Abstract | Full paper | Slides

Noon–1:30 p.m.    Workshop Luncheon, Pacific Ballroom
1:30 p.m.–3:00 p.m.

Management and Debugging

Session Chair: Steven Hand, University of Cambridge, UK

Focus Replay Debugging Effort on the Control Plane
Gautam Altekar and Ion Stoica, UC Berkeley

Read the Abstract | Full paper | Slides

A Rising Tide Lifts All Boats: How Memory Error Prediction and Prevention Can Help with Virtualized System Longevity
Yuyang Du and Hongliang Yu, Tsinghua University; Yunhong Jiang and Yaozu Dong, Intel Research and Development, Asia-Pacific; Weimin Zheng, Tsinghua University

Read the Abstract | Full paper | Slides

A Design for Comprehensive Kernel Instrumentation
Peter Feiner, Angela Demke Brown, and Ashvin Goel, University of Toronto

Read the Abstract | Full paper | Slides

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

Storage and File Services

Session Chair: Rüdiger Kapitza, University of Erlangen-Nuremberg, DE

Behavior-Based Problem Localization for Parallel File Systems
Michael P. Kasick, Rajeev Gandhi, and Priya Narasimhan, Carnegie Mellon University

Read the Abstract | Full paper | Slides

What Consistency Does Your Key-Value Store Actually Provide?
Eric Anderson, Xiaozhou Li, Mehul A. Shah, Joseph Tucek, and Jay J. Wylie, Hewlett-Packard Laboratories

Read the Abstract | Full paper | Slides

6:00 p.m.–7:00 p.m.    OSDI '10 and Workshops Welcome Get-Together, Pacific Ballroom
? Need help? Use our Contacts page.

Last changed: 19 Nov. 2010 jp