| HotDep '14 | Compute Globally, Act Locally: Protecting Federated Systems from Systemic Threats | Arjun Narayan, Antonis Papadimitriou, Andreas Haeberlen |
| HotDep '14 | Running ZooKeeper Coordination Services in Untrusted Clouds | Stefan Brenner, Colin Wulf, Rüdiger Kapitza |
| HotDep '14 | Who Writes What Checkers?—Learning from Bug Repositories | Takeshi Yoshimura, Kenji Kono |
| HotDep '14 | Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines | Nuno Santos, Nuno P. Lopes |
| HotDep '14 | Erasure Code with Shingled Local Parity Groups for Efficient Recovery from Multiple Disk Failures | Takeshi Miyamae, Takanori Nakao, Kensuke Shiozawa |
| HotDep '14 | Providing High Availability in Cloud Storage by Decreasing Virtual Machine Reboot Time | Shehbaz Jaffer, Mangesh Chitnis, Ameya Usgaonkar |
| HotDep '14 | Understanding Reliability Implication of Hardware Error in Virtualization Infrastructure | Xin Xu, H. Howie Huang |
| HotDep '14 | Towards General-Purpose Resource Management in Shared Cloud Services | Jonathan Mace, Peter Bodik, Rodrigo Fonseca, Madanlal Musuvathi |
| HotDep '14 | Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented Parallelization | Johannes Behl, Tobias Distler, Rüdiger Kapitza |
| HotDep '12 | Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms | Björn Döbel, Hermann Härtig |
| HotDep '12 | Collaborative Energy Debugging for Mobile Devices | Adam J. Oliner, Anand Iyer, Eemil Lagerspetz, Sasu Tarkoma |
| HotDep '12 | Automatic Undo for Cloud Management via AI Planning | Ingo Weber, Hiroshi Wada, Alan Fekete, Anna Liu, Len Bass |
| HotDep '12 | ABHRANTA: Locating Bugs that Manifest at Large System Scales | Bowen Zhou, Milind Kulkarni, Saurabh Bagchi |
| HotDep '12 | Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability | Reinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann |
| HotDep '12 | ShadowDB: A Replicated Database on a Synthesized Consensus Core | Nicolas Schiper, Vincent Rahli, Robbert Van Renesse, Mark Bickford, Robert L. Constable |
| HotDep '12 | CORD: A Collaborative Framework for Distributed Data Race Detection | Baris Kasikci, Cristian Zamfir, George Candea |
| HotDep '12 | Toward a Principled Framework for Benchmarking Consistency | Muntasir Raihan Rahman, Wojciech Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie |
| HotDep '12 | Is Linux Kernel Oops Useful or Not? | Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono |
| HotDep '12 | Programming Model Support for Dependable, Elastic Cloud Applications | Wei-Chiu Chuang, Bo Sang, Charles Killian, Milind Kulkarni |
| HotDep '10 | Storyboard: Optimistic Deterministic Multithreading | Rüdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, Tobias Distler |
| HotDep '10 | Scalable Agreement: Toward Ordering as a Service | Manos Kapritsos, Flavio P. Junqueira |
| HotDep '10 | Active Quorum Systems | Alysson Bessani, Paulo Sousa, Miguel Correia |
| HotDep '10 | We Crashed, Now What? | Cristiano Giuffrida, Lorenzo Cavallaro, Andrew S. Tanenbaum |
| HotDep '10 | Improved Device Driver Reliability Through Verification Reuse | Leonid Ryzhyk, NICTA , University of New South Wales, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser |
| HotDep '10 | Towards Automatically Checking Thousands of Failures with Micro-specifications | Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen |
