|
TECHNICAL SESSIONS
Session papers are available to workshop registrants immediately and to everyone beginning December 7, 2008.
|
Sunday, December 7, 2008
|
8:45 a.m.–9:00 a.m. |
Opening Remarks
|
9:00 a.m.–10:30 a.m. |
Software Reliability
Session Chair: Andrew Warfield, University of British Columbia and Citrix Systems
Reverse-Engineering Drivers for Safety and Portability
Vitaly Chipounov and George Candea, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Paper in HTML | PDF
"Otherworld": Giving Applications a Chance to Survive OS Kernel Crashes
Alex Depoutovitch and Michael Stumm, University of Toronto, Canada
Paper in HTML | PDF
Deprogramming Large Software Systems
Yohann Coppel and George Candea, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Paper in HTML | PDF
|
10:30 a.m.–11:00 a.m. Break |
|
11:00 a.m.–noon |
Redundancy
Session Chair: Rodrigo Rodrigues, Max Planck Institute for Software Systems
A Spin-Up Saved Is Energy Earned: Achieving Power-Efficient, Erasure-Coded Storage
Kevin M. Greenan, Darrell D.E. Long, and Ethan L. Miller, University of California, Santa Cruz; Thomas J.E. Schwarz, S.J., Santa Clara University; Jay J. Wylie, HP Labs
Paper in HTML | PDF
Spread-Spectrum Computation
Derek G. Murray and Steven Hand, University of Cambridge
Paper in HTML | PDF
|
Noon–1:30 p.m. Workshop Luncheon |
|
1:30 p.m.–3:00 p.m. |
Modeling
Session Chair: Hakim Weatherspoon, Cornell University
Toward Quantifying System Manageability
George Candea, École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Paper in HTML | PDF
Towards Automatic Inference of Task Hierarchies in Complex Systems
Haohui Mai, University of Illinois at Urbana-Champaign; Chongnan Gao, Tsinghua University; Xuezheng Liu, Microsoft Research Asia; Xi Wang, MIT CSAIL; Geoffrey M. Voelker, University of California, San Diego
Paper in HTML | PDF
Consistability: Describing Usually Consistent Systems
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Mehul A. Shah, and Jay J. Wylie, Hewlett-Packard Laboratories
Paper in HTML | PDF
|
3:00 p.m.–3:30 p.m. Break |
|
3:30 p.m.–5:00 p.m. |
Distributed Systems
Session Chair: Petros Maniatis, Intel Research Berkeley
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation
Nuno Preguiça, CITI/DI-FCT-University Nova de Lisboa; Rodrigo Rodrigues, Max Planck Institute for Software Systems (MPI-SWS); Cristóvão Honorato, INESC-ID and Instituto Superior Técnico; João Lourenço, CITI/DI-FCT-University Nova de Lisboa
Paper in HTML | PDF
Pretty Good Packet Authentication
Andreas Haeberlen, Max Planck Institute for Software Systems (MPI-SWS) and Rice University; Rodrigo Rodrigues, Krishna Gummadi, and Peter Druschel, Max Planck Institute for Software Systems (MPI-SWS)
Paper in HTML | PDF
Dependable Self-Hosting Distributed Systems Using Constraints
Qin Yin, ETH Zurich; Justin Cappos, University of Washington; Andrew Baumann and Timothy Roscoe, ETH Zurich
Paper in HTML | PDF
|
|