share record
persistent URL:
Ingo Weber , Hiroshi Wada , Alan D. Fekete , Anna Liu , Len Bass : Automatic Undo for Cloud Management via AI Planning. HotDep 2012 export record
dblp key:
conf/hotdep/YoshimuraYK12 share record
persistent URL:
Takeshi Yoshimura , Hiroshi Yamada , Kenji Kono : Is Linux Kernel Oops Useful or Not? HotDep 2012 share record
persistent URL:
Bowen Zhou , Milind Kulkarni , Saurabh Bagchi : ABHRANTA: Locating Bugs that Manifest at Large System Scales. HotDep 2012 share record
persistent URL:
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 share record
persistent URL:
Gautam Altekar , Ion Stoica : Focus Replay Debugging Effort on the Control Plane. HotDep 2010 export record
dblp key:
conf/hotdep/AndersonLSTW10 share record
persistent URL:
Eric Anderson , Xiaozhou Li , Mehul A. Shah , Joseph A. Tucek , Jay J. Wylie : What Consistency Does Your Key-Value Store Actually Provide? HotDep 2010 share record
persistent URL:
Alysson Neves Bessani , Paulo Sousa , Miguel Correia : Active Quorum Systems. HotDep 2010 share record
persistent URL:
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 share record
persistent URL:
Peter Feiner , Angela Demke Brown , Ashvin Goel : A Design for Comprehensive Kernel Instrumentation. HotDep 2010 export record
dblp key:
conf/hotdep/GiuffridaCT10 share record
persistent URL:
Cristiano Giuffrida , Lorenzo Cavallaro , Andrew S. Tanenbaum : We Crashed, Now What? HotDep 2010 export record
dblp key:
conf/hotdep/GunawiDJHAAS10 share record
persistent URL:
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 export record
dblp key:
conf/hotdep/KapitzaSCSD10 share record
persistent URL:
Rüdiger Kapitza , Matthias Schunter , Christian Cachin , Klaus Stengel , Tobias Distler : Storyboard: Optimistic Deterministic Multithreading. HotDep 2010 share record
persistent URL:
Manos Kapritsos , Flavio Paiva Junqueira : Scalable Agreement: Toward Ordering as a Service. HotDep 2010 share record
persistent URL:
Michael P. Kasick , Rajeev Gandhi , Priya Narasimhan : Behavior-Based Problem Localization for Parallel File Systems. HotDep 2010 export record
dblp key:
conf/hotdep/RyzhykKMRVH10 share record
persistent URL:
Leonid Ryzhyk , John Keys , Balachandra Mirla , Arun Raghunath , Mona Vij , Gernot Heiser : Improved Device Driver Reliability Through Verification Reuse. HotDep 2010 share record
persistent URL:
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 share record
persistent URL:
Amitanand S. Aiyer , Eric Anderson , Xiaozhou Li , Mehul A. Shah , Jay J. Wylie : Consistability: Describing Usually Consistent Systems. HotDep 2008 share record
persistent URL:
George Candea : Toward Quantifying System Manageability. HotDep 2008 share record
persistent URL:
Vitaly Chipounov , George Candea : Reverse-Engineering Drivers for Safety and Portability. HotDep 2008 share record
persistent URL:
Yohann Coppel , George Candea : Deprogramming Large Software Systems. HotDep 2008 export record
dblp key:
conf/hotdep/DepoutovitchS08 share record
persistent URL:
Alex Depoutovitch , Michael Stumm : "Otherworld": Giving Applications a Chance to Survive OS Kernel Crashes. HotDep 2008 export record
dblp key:
conf/hotdep/GreenanLMSW08 share record
persistent URL:
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 export record
dblp key:
conf/hotdep/HaeberlenRGD08 share record
persistent URL:
Andreas Haeberlen , Rodrigo Rodrigues , P. Krishna Gummadi , Peter Druschel : Pretty Good Packet Authentication. HotDep 2008 share record
persistent URL:
Haohui Mai , Chongnan Gao , Xuezheng Liu , Xi Wang , Geoffrey M. Voelker : Towards Automatic Inference of Task Hierarchies in Complex Systems. HotDep 2008 share record
persistent URL:
Derek Gordon Murray , Steven Hand : Spread-Spectrum Computation. HotDep 2008 export record
dblp key:
conf/hotdep/PreguicaRHL08 share record
persistent URL:
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 share record
persistent URL:
Qin Yin , Justin Cappos , Andrew Baumann , Timothy Roscoe : Dependable Self-Hosting Distributed Systems Using Constraints. HotDep 2008 share record
persistent URL:
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 share record
persistent URL:
Bruno Cabral , Paulo Marques : Making Exception Handling Work. HotDep 2006 share record
persistent URL:
Brendan Cully , Andrew Warfield : SecondSite: Disaster Protection for the Common Server. HotDep 2006