HotDep'07
Third Workshop on Hot Topics in System Dependability (HotDep'07)
26 June 2007
Edinburgh, UK
HotDep'07 home | Call for papers | Program | Registration | DSN | HotDep home

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