Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shehbaz Jaffer, Mangesh Chitnis, Ameya Usgaonkar |
Providing High Availability in Cloud Storage by Decreasing Virtual Machine Reboot Time. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Stefan Brenner, Colin Wulf, Rüdiger Kapitza |
Running ZooKeeper Coordination Services in Untrusted Clouds. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Takeshi Yoshimura, Kenji Kono |
Who Writes What Checkers? - Learning from Bug Repositories. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Jonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi |
Towards General-Purpose Resource Management in Shared Cloud Services. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Takeshi Miyamae, Takanori Nakao, Kensuke Shiozawa |
Erasure Code with Shingled Local Parity Groups for Efficient Recovery from Multiple Disk Failures. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Nuno Santos 0001, Nuno P. Lopes |
Leveraging Trusted Computing and Model Checking to Build Dependable Virtual Machines. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Arjun Narayan, Antonis Papadimitriou, Andreas Haeberlen |
Compute Globally, Act Locally: Protecting Federated Systems from Systemic Threats. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Flavio Junqueira, Keith Marzullo (eds.) |
10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Xin Xu, H. Howie Huang |
Understanding Reliability Implication of Hardware Error in Virtualization Infrastructure. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Johannes Behl, Tobias Distler, Rüdiger Kapitza |
Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented Parallelization. |
HotDep |
2014 |
DBLP BibTeX RDF |
|
1 | Nawanol Theera-Ampornpunt, Saurabh Bagchi, Kaustubh R. Joshi, Rajesh K. Panta |
Using big data for more dependability: a cellular network tale. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Huynh Tu Dang, Fabien Hermenier |
Higher SLA satisfaction in datacenters with continuous VM placement constraints. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bravo, Nuno Machado, Paolo Romano 0002, Luís E. T. Rodrigues |
Towards effective and efficient search-based deterministic replay. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting |
PSCloud: a durable context-aware personal storage cloud. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Papadimitriou, Mingchen Zhao, Andreas Haeberlen |
Towards privacy-preserving fault detection. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Joo Young Hwang, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Towards efficient, portable application-level consistency. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford |
An untold story of redundant clouds: making your service deployment truly reliable. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Walfish |
Verifying the correctness of remote executions: from wild implausibility to near practicality. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Cachin, Robbert van Renesse (eds.) |
Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013 |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leander Jehl, Hein Meling |
Towards Byzantine fault tolerant publish/subscribe: a state machine approach. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini |
Towards transparent hardening of distributed systems. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Vogt, Cristiano Giuffrida, Herbert Bos, Andrew S. Tanenbaum |
Techniques for efficient in-memory checkpointing. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Akshay Kumar, Peter Goodman, Ashvin Goel, Angela Demke Brown |
Behave or be watched: debugging with behavioral watchpoints. |
HotDep |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bowen Zhou, Milind Kulkarni 0001, Saurabh Bagchi |
ABHRANTA: Locating Bugs that Manifest at Large System Scales. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Adam J. Oliner, Anand P. Iyer, Eemil Lagerspetz, Sasu Tarkoma |
Collaborative Energy Debugging for Mobile Devices. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Reinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann |
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono |
Is Linux Kernel Oops Useful or Not? |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Björn Döbel, Hermann Härtig |
Who Watches the Watchmen? Protecting Operating System Reliability Mechanisms. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Muntasir Raihan Rahman, Wojciech M. Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie |
Toward a Principled Framework for Benchmarking Consistency. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Ingo Weber, Hiroshi Wada, Alan D. Fekete, Anna Liu, Len Bass |
Automatic Undo for Cloud Management via AI Planning. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Michael J. Freedman, Neeraj Suri (eds.) |
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012 |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Wei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni 0001 |
Programming Model Support for Dependable, Elastic Cloud Applications. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Baris Kasikci, Cristian Zamfir, George Candea |
CORD: A Collaborative Framework for Distributed Data Race Detection. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable |
ShadowDB: A Replicated Database on a Synthesized Consensus Core. |
HotDep |
2012 |
DBLP BibTeX RDF |
|
1 | Manos Kapritsos, Flavio Paiva Junqueira |
Scalable Agreement: Toward Ordering as a Service. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Gautam Altekar, Ion Stoica |
Focus Replay Debugging Effort on the Control Plane. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Rüdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, Tobias Distler |
Storyboard: Optimistic Deterministic Multithreading. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser |
Improved Device Driver Reliability Through Verification Reuse. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Alysson Neves Bessani, Paulo Sousa 0001, Miguel Correia 0001 |
Active Quorum Systems. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Michael P. Kasick, Rajeev Gandhi, Priya Narasimhan |
Behavior-Based Problem Localization for Parallel File Systems. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Cristiano Giuffrida, Lorenzo Cavallaro, Andrew S. Tanenbaum |
We Crashed, Now What? |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Peter Feiner, Angela Demke Brown, Ashvin Goel |
A Design for Comprehensive Kernel Instrumentation. |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Eric Anderson 0003, Xiaozhou Li, Mehul A. Shah, Joseph A. Tucek, Jay J. Wylie |
What Consistency Does Your Key-Value Store Actually Provide? |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Paulo Veríssimo, Hakim Weatherspoon (eds.) |
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010 |
HotDep |
2010 |
DBLP BibTeX RDF |
|
1 | Nuno M. Preguiça, Rodrigo Rodrigues 0001, Cristóvão Honorato, João Lourenço |
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | George Candea |
Toward Quantifying System Manageability. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Amitanand S. Aiyer, Eric Anderson 0003, Xiaozhou Li, Mehul A. Shah, Jay J. Wylie |
Consistability: Describing Usually Consistent Systems. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Lorenzo Alvisi, Petros Maniatis (eds.) |
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008 |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe |
Dependable Self-Hosting Distributed Systems Using Constraints. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Vitaly Chipounov, George Candea |
Reverse-Engineering Drivers for Safety and Portability. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Derek Gordon Murray, Steven Hand 0001 |
Spread-Spectrum Computation. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | 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 |
DBLP BibTeX RDF |
|
1 | Andreas Haeberlen, Rodrigo Rodrigues 0001, P. Krishna Gummadi, Peter Druschel |
Pretty Good Packet Authentication. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Alex Depoutovitch, Michael Stumm |
"Otherworld": Giving Applications a Chance to Survive OS Kernel Crashes. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Yohann Coppel, George Candea |
Deprogramming Large Software Systems. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang 0005, Geoffrey M. Voelker |
Towards Automatic Inference of Task Hierarchies in Complex Systems. |
HotDep |
2008 |
DBLP BibTeX RDF |
|
1 | Christopher Stewart, Ming Zhong 0006, Kai Shen, Thomas O'Neill |
Comprehensive Depiction of Configuration-dependent Performance Anomalies in Distributed Server Systems. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Yin Wang 0001, Terence Kelly, Stéphane Lafortune |
Discrete Control for Dependable IT Automation. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Joseph A. Tucek, Shan Lu 0001, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou 0001 |
Automatic On-line Failure Diagnosis at the End-User Site. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | John Jannotti, Kiran Pamnany |
Safe at Any Speed: Fast, Safe Parallelism in Servers. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Bruno Cabral, Paulo Marques |
Making Exception Handling Work. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Joseph G. Slember, Priya Narasimhan |
Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with Nondeterminism. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Fareha Shafique, Kenneth Po, Ashvin Goel |
Correlating Multi-Session Attacks via Replay. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Brendan Cully, Andrew Warfield |
SecondSite: Disaster Protection for the Common Server. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Val Henson, Arjan van de Ven, Amit Gud, Zach Brown |
Chunkfs: Using Divide-and-Conquer to Improve File System Reliability and Repair. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | George Candea, Ken Birman (eds.) |
Proceedings of the Second Workshop on Hot Topics in System Dependability, HotDep 2006, Seattle, WA, USA, November 8, 2006 |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Cristian Tapus, Jason Hickey |
Speculations: Providing Fault-tolerance and Recoverability in Distributed Environments. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Andreas Haeberlen, Petr Kouznetsov, Peter Druschel |
The Case for Byzantine Fault Detection. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Rohan Narayana Murty, Matt Welsh |
Towards a Dependable Architecture for Internet-scale Sensing. |
HotDep |
2006 |
DBLP BibTeX RDF |
|
1 | Hany E. Ramadan |
Abort, Retry, Litigate: Dependable Systems and Contract Law. |
HotDep |
2006 |
DBLP BibTeX RDF |
|