HotDep'07 is part of
the 2007 International Conference on Dependable Systems and Networks (DSN
2007, 25-28 June 2007), in Edinburgh, UK. HotDep'07 is co-sponsored by
USENIX, The Advanced Computing Systems Association.
The following program lists the full papers in bold and the posters in
italics.
TUESDAY, 26 JUNE 2007
11:00-12:30 Operating systems and security
Improving Dependability by Revisiting Operating System Design
Francis M.
David, Jeffrey C. Carlyle, Ellick M. Chan, Philip A. Reames, Roy H. Campbell,
University of Illinois at Urbana-Champaign, USA
Data Sanitization: Improving the Forensic Utility of Anomaly Detection System
Gabriela F. Cretu, Angelos Stavrou, Salvatore J. Stolfo and Angelos D. Keromytis,
Columbia University, USA
Reliable Device Drivers Require Well-Defined Protocols
Leonid Ryzhyk, Timothy
Bourke, Ihor Kuz, NICTA and the University of New South Wales, Australia
14:00-16:00 Posters
Fully Distributed Service Configuration Management
Paul Murray, and Patrick Goldsack, Hewlett-Packard Laboratories, USA
Hidden Problems of Asynchronous Proactive Recovery
Paulo Sousa, Nuno Ferreira
Neves, and Paulo Verissimo, Univ. of Lisboa, Portugal
Band-aid Patching
Stelios Sidiroglou, Columbia University, Sotiris Ioannidis,
Stevens Institute of Technology, Angelos D. Keromytis, Columbia University, USA
Cognitive Enhancements to Support Dependability
Partha Pal, Franklin Webber,
and Richard Schantz, BBN Technologies, USA
Architecture-Driven Diagnosis of Performance Failures in a Token Ring
Andrew
Williams and Priya Narasimhan, Carnegie Mellon University, USA
Diagnosing Misconfiguration with Dynamic Detection of Configuration
Invariants
Dong Zhou, DoCoMo Labs, USA
PRIMS : Making NVRAM Suitable for Extremely Reliable Storage
Kevin M. Greenan,
Ethan L. Miller, University of California, Santa Cruz, USA
Dependability, Access Diversity, Low Cost: Pick Two
Ming Chen, Lex Stein,
Zheng Zhang, Microsoft Research Asia
Dependable Security: Testing Network Intrusion Detection Systems
Carrie
Gates, CA Labs, Carol Taylor, University of Idaho, and Matt Bishop, University
of California Davis, USA
An Empirical Study of Memory Hardware Errors in A Server Farm
Xin Li, Michael
C. Huang, and Kai Shen, University of Rochester, Lingkun Chu, Ask.com, USA
No More Hot Dependencies: Toward Dependency-Agnostic Online Upgrades In
Distributed Systems
Tudor Dumitras, Jiaqi Tan, Zhengheng Gho, Priya Narasimhan,
Carnegie Mellon University, USA
An IPC Model for Extended Asymmetric Trust (poster)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum,
Vrije Universiteit, Amsterdam, The Netherlands
16:30-18:00 Replication
Delta Execution for Software Reliability
Yuanyuan Zhou, Darko Marinov,
William Sanders, Craig Zilles, Marcelo d'Amorim, Steven Lauterburg, Ryan M.
Lefever and Joe Tucek, University of Illinois at Urbana-Champaign, USA
Large-Scale Byzantine Fault Tolerance: Safe but Not Always Live
Rodrigo Rodrigues, INESC-ID and Technical University of Lisbon, Portugal, Petr
Kouznetsov, Max Planck Institute for Software Systems, Germany, Bobby
Bhattacharjee, University of Maryland, USA
Classic Paxos vs. Fast Paxos: Caveat Emptor
Flavio Junqueira, Yahoo! Research
Barcelona, Spain, Yanhua Mao, and Keith Marzullo, UC San Diego, USA