|
WORKSHOP PROGRAM
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
|
|
|