HotDep

Keyphrases

Publications

2014

Takeshi Miyamae, Takanori Nakao, Kensuke Shiozawa
Erasure Code with Shingled Local Parity Groups for Efficient Recovery from Multiple Disk Failures. HotDep (2014)
10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014. HotDep (2014)
Nuno Santos, Nuno P. Lopes
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. HotDep (2014)
Johannes Behl, Tobias Distler, Rüdiger Kapitza
Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented Parallelization. HotDep (2014)
Xin Xu, H. Howie Huang
Understanding Reliability Implication of Hardware Error in Virtualization Infrastructure. HotDep (2014)
Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi
Towards General-Purpose Resource Management in Shared Cloud Services. HotDep (2014)
Takeshi Yoshimura, Kenji Kono
Who Writes What Checkers? - Learning from Bug Repositories. HotDep (2014)
Shehbaz Jaffer, Mangesh Chitnis, Ameya Usgaonkar
Providing High Availability in Cloud Storage by Decreasing Virtual Machine Reboot Time. HotDep (2014)
Stefan Brenner, Colin Wulf, Rüdiger Kapitza
Running ZooKeeper Coordination Services in Untrusted Clouds. HotDep (2014)
Arjun Narayan, Antonis Papadimitriou, Andreas Haeberlen
Compute Globally, Act Locally: Protecting Federated Systems from Systemic Threats. HotDep (2014)

2013

2012

2010