4. HotDep 2008: San Diego, CA, USA

Proceedings of the Fourth Workshop on Hot Topics in Syetms Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008. USENIX Association 2008 BibTeX

Software Reliability

Vitaly Chipounov, George Candea:
Reverse-Engineering Drivers for Safety and Portability.
Electronic Edition (link) BibTeX
Alex Depoutovitch, Michael Stumm:
"Otherworld": Giving Applications a Chance to Survive OS Kernel Crashes.
Electronic Edition (link) BibTeX
Yohann Coppel, George Candea:
Deprogramming Large Software Systems.
Electronic Edition (link) BibTeX

Redundancy

Kevin M. Greenan, Darrell D. E. Long, Ethan L. Miller, Thomas J. E. Schwarz, Jay J. Wylie:
A Spin-Up Saved Is Energy Earned: Achieving Power-Efficient, Erasure-Coded Storage.
Electronic Edition (link) BibTeX
Derek Gordon Murray, Steven Hand:
Spread-Spectrum Computation.
Electronic Edition (link) BibTeX

Modeling

George Candea:
Toward Quantifying System Manageability.
Electronic Edition (link) BibTeX
Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker:
Towards Automatic Inference of Task Hierarchies in Complex Systems.
Electronic Edition (link) BibTeX
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Mehul A. Shah, Jay J. Wylie:
Consistability: Describing Usually Consistent Systems.
Electronic Edition (link) BibTeX

Distributed Systems

Nuno M. Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João Lourenço:
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.
Electronic Edition (link) BibTeX
Andreas Haeberlen, Rodrigo Rodrigues, P. Krishna Gummadi, Peter Druschel:
Pretty Good Packet Authentication.
Electronic Edition (link) BibTeX
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe:
Dependable Self-Hosting Distributed Systems Using Constraints.
Electronic Edition (link) BibTeX