Wednesday, November 8, 2006
1:30 p.m.–1:40 p.m.
Opening Remarks
1:40 p.m.–3:40 p.m.
Finding the Needle in the Haystack Session Chair: Geoff Voelker, University of California, San Diego Comprehensive Depiction of Configuration-dependent Performance Anomalies in Distributed Server Systems  HTML | PDF Christopher Stewart, Ming Zhong, Kai Shen, and Thomas O'Neill, University of Rochester Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with Nondeterminism  HTML | PDF Joseph G. Slember and Priya Narasimhan, Carnegie Mellon University Correlating Multi-Session Attacks via Replay  HTML | PDF Fareha Shafique, Kenneth Po, and Ashvin Goel, University of Toronto Automatic On-line Failure Diagnosis at the End-User Site  HTML | PDF Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou, University of Illinois at Urbana-Champaign
3:40 p.m.–4:10 p.m.    Break
4:10 p.m.–6:10 p.m.
Pragmatic Choices for the New Age Session Chair: Lorenzo Alvisi, University of Texas at Austin The Case for Byzantine Fault Detection  HTML | PDF Andreas Haeberlen, Max Planck Institute for Software Systems and Rice University; Petr Kouznetsov and Peter Druschel, Max Planck Institute for Software Systems Safe at Any Speed: Fast, Safe Parallelism in Servers  HTML | PDF John Jannotti and Kiran Pamnany, Brown University Chunkfs: Using Divide-and-Conquer to Improve File System Reliability and Repair  HTML | PDF Val Henson and Arjan van de Ven, Intel Open Source Technology Center; Amit Gud, Kansas State University; Zach Brown, Oracle, Inc. Towards a Dependable Architecture for Internet-scale Sensing  HTML | PDF Rohan Narayana Murty and Matt Welsh, Harvard University
6:10 p.m.–7:40 p.m.    Workshop Dinner	Lopez A/B
7:40 p.m.–9:00 p.m.
Hidden Gems (Extended Abstracts) Session Chair: John Wilkes, Hewlett-Packard Labs Making Exception Handling Work  HTML | PDF Bruno Cabral and Paulo Marques, University of Coimbra, Portugal Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments  HTML | PDF Cristian Tapus and Jason Hickey, California Institute of Technology Discrete Control for Dependable IT Automation  HTML | PDF Yin Wang, University of Michigan; Terence Kelly, Hewlett-Packard Laboratories; Stéphane Lafortune, University of Michigan SecondSite: Disaster Protection for the Common Server  HTML | PDF Brendan Cully, University of British Columbia; Andrew Warfield, University of Cambridge Abort, Retry, Litigate: Dependable Systems and Contract Law  HTML | PDF Hany E. Ramadan, University of Texas at Austin Debate Panel All 4 presenters from this session will take questions from the audience.