- Ingo Weber, Hiroshi Wada, Alan D. Fekete, Anna Liu, Len Bass:
Automatic Undo for Cloud Management via AI Planning. HotDep 2012 - Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono:
Is Linux Kernel Oops Useful or Not? HotDep 2012 - Bowen Zhou, Milind Kulkarni, Saurabh Bagchi:
ABHRANTA: Locating Bugs that Manifest at Large System Scales. HotDep 2012 - Michael J. Freedman, Neeraj Suri:
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012. USENIX Association 2012 [contents] - 2010
- Gautam Altekar, Ion Stoica:
Focus Replay Debugging Effort on the Control Plane. HotDep 2010 - Eric Anderson, Xiaozhou Li, Mehul A. Shah, Joseph A. Tucek, Jay J. Wylie:
What Consistency Does Your Key-Value Store Actually Provide? HotDep 2010 - Alysson Neves Bessani, Paulo Sousa, Miguel Correia:
Active Quorum Systems. HotDep 2010 - Yuyang Du, Hongliang Yu, Yunhong Jiang, Yaozu Dong, Weimin Zheng:
A Rising Tide Lifts All Boats: How Memory Error Prediction and Prevention Can Help with Virtualized System Longevity. HotDep 2010 - Peter Feiner, Angela Demke Brown, Ashvin Goel:
A Design for Comprehensive Kernel Instrumentation. HotDep 2010 - Cristiano Giuffrida, Lorenzo Cavallaro, Andrew S. Tanenbaum:
We Crashed, Now What? HotDep 2010 - Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen:
Towards Automatically Checking Thousands of Failures with Micro-specifications. HotDep 2010 - Rüdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, Tobias Distler:
Storyboard: Optimistic Deterministic Multithreading. HotDep 2010 - Manos Kapritsos, Flavio Paiva Junqueira:
Scalable Agreement: Toward Ordering as a Service. HotDep 2010 - Michael P. Kasick, Rajeev Gandhi, Priya Narasimhan:
Behavior-Based Problem Localization for Parallel File Systems. HotDep 2010 - Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser:
Improved Device Driver Reliability Through Verification Reuse. HotDep 2010 - Paulo Veríssimo, Hakim Weatherspoon:
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010. USENIX Association 2010 [contents] - 2008
- Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Mehul A. Shah, Jay J. Wylie:
Consistability: Describing Usually Consistent Systems. HotDep 2008 - George Candea:
Toward Quantifying System Manageability. HotDep 2008 - Vitaly Chipounov, George Candea:
Reverse-Engineering Drivers for Safety and Portability. HotDep 2008 - Yohann Coppel, George Candea:
Deprogramming Large Software Systems. HotDep 2008 - Alex Depoutovitch, Michael Stumm:
"Otherworld": Giving Applications a Chance to Survive OS Kernel Crashes. HotDep 2008 - 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. HotDep 2008 - Andreas Haeberlen, Rodrigo Rodrigues, P. Krishna Gummadi, Peter Druschel:
Pretty Good Packet Authentication. HotDep 2008 - Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker:
Towards Automatic Inference of Task Hierarchies in Complex Systems. HotDep 2008 - Derek Gordon Murray, Steven Hand:
Spread-Spectrum Computation. HotDep 2008 - Nuno M. Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João Lourenço:
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. HotDep 2008 - Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe:
Dependable Self-Hosting Distributed Systems Using Constraints. HotDep 2008 - Lorenzo Alvisi, Petros Maniatis:
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008. USENIX Association 2008 [contents] - 2006
- Bruno Cabral, Paulo Marques:
Making Exception Handling Work. HotDep 2006 - Brendan Cully, Andrew Warfield:
SecondSite: Disaster Protection for the Common Server. HotDep 2006