HotDep - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 72 from 72

2014

Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented ParallelizationJohannes Behl, Tobias Distler, Rüdiger Kapitza. hotdep 2014: [doi]

Running ZooKeeper Coordination Services in Untrusted CloudsStefan Brenner, Colin Wulf, Rüdiger Kapitza. hotdep 2014: [doi]

Providing High Availability in Cloud Storage by Decreasing Virtual Machine Reboot TimeShehbaz Jaffer, Mangesh Chitnis, Ameya Usgaonkar. hotdep 2014: [doi]

10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014Flavio Junqueira, Keith Marzullo, editors, USENIX Association, 2014. [doi]

Towards General-Purpose Resource Management in Shared Cloud ServicesJonathan Mace, Peter Bodík, Rodrigo Fonseca, Madanlal Musuvathi. hotdep 2014: [doi]

Erasure Code with Shingled Local Parity Groups for Efficient Recovery from Multiple Disk FailuresTakeshi Miyamae, Takanori Nakao, Kensuke Shiozawa. hotdep 2014: [doi]

Compute Globally, Act Locally: Protecting Federated Systems from Systemic ThreatsArjun Narayan, Antonis Papadimitriou, Andreas Haeberlen. hotdep 2014: [doi]

Leveraging Trusted Computing and Model Checking to Build Dependable Virtual MachinesNuno Santos, Nuno P. Lopes. hotdep 2014: [doi]

Understanding Reliability Implication of Hardware Error in Virtualization InfrastructureXin Xu, H. Howie Huang. hotdep 2014: [doi]

Who Writes What Checkers? - Learning from Bug RepositoriesTakeshi Yoshimura, Kenji Kono. hotdep 2014: [doi]

2013

PSCloud: a durable context-aware personal storage cloudSobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting. hotdep 2013: [doi]

Towards transparent hardening of distributed systemsDiogo Behrens, Christof Fetzer, Flavio Paiva Junqueira, Marco Serafini. hotdep 2013: [doi]

Towards effective and efficient search-based deterministic replayManuel Bravo, Nuno Machado, Paolo Romano, Luís E. T. Rodrigues. hotdep 2013: [doi]

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013Christian Cachin, Robbert van Renesse, editors, ACM, 2013. [doi]

Higher SLA satisfaction in datacenters with continuous VM placement constraintsHuynh Tu Dang, Fabien Hermenier. hotdep 2013: [doi]

Towards Byzantine fault tolerant publish/subscribe: a state machine approachLeander Jehl, Hein Meling. hotdep 2013: [doi]

Behave or be watched: debugging with behavioral watchpointsAkshay Kumar, Peter Goodman, Ashvin Goel, Angela Demke Brown. hotdep 2013: [doi]

Towards privacy-preserving fault detectionAntonis Papadimitriou, Mingchen Zhao, Andreas Haeberlen. hotdep 2013: [doi]

Towards efficient, portable application-level consistencyThanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Joo Young Hwang, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau. hotdep 2013: [doi]

Using big data for more dependability: a cellular network taleNawanol Theera-Ampornpunt, Saurabh Bagchi, Kaustubh R. Joshi, Rajesh K. Panta. hotdep 2013: [doi]

Techniques for efficient in-memory checkpointingDirk Vogt, Cristiano Giuffrida, Herbert Bos, Andrew S. Tanenbaum. hotdep 2013: [doi]

Verifying the correctness of remote executions: from wild implausibility to near practicalityMichael Walfish. hotdep 2013: [doi]

An untold story of redundant clouds: making your service deployment truly reliableEnnan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford. hotdep 2013: [doi]

2012

Programming Model Support for Dependable, Elastic Cloud ApplicationsWei-Chiu Chuang, Bo Sang, Charles Edwin Killian, Milind Kulkarni. hotdep 2012: [doi]

Who Watches the Watchmen? Protecting Operating System Reliability MechanismsBjörn Döbel, Hermann Härtig. hotdep 2012: [doi]

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012Michael J. Freedman, Neeraj Suri, editors, USENIX Association, 2012. [doi]

CORD: A Collaborative Framework for Distributed Data Race DetectionBaris Kasikci, Cristian Zamfir, George Candea. hotdep 2012: [doi]

Collaborative Energy Debugging for Mobile DevicesAdam J. Oliner, Anand P. Iyer, Eemil Lagerspetz, Sasu Tarkoma. hotdep 2012: [doi]

Toward a Principled Framework for Benchmarking ConsistencyMuntasir Raihan Rahman, Wojciech M. Golab, Alvin AuYoung, Kimberly Keeton, Jay J. Wylie. hotdep 2012: [doi]

ShadowDB: A Replicated Database on a Synthesized Consensus CoreNicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable. hotdep 2012: [doi]

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time ConfigurabilityReinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann. hotdep 2012: [doi]

Automatic Undo for Cloud Management via AI PlanningIngo Weber, Hiroshi Wada, Alan Fekete, Anna Liu, Len Bass. hotdep 2012: [doi]

Is Linux Kernel Oops Useful or Not?Takeshi Yoshimura, Hiroshi Yamada, Kenji Kono. hotdep 2012: [doi]

ABHRANTA: Locating Bugs that Manifest at Large System ScalesBowen Zhou, Milind Kulkarni, Saurabh Bagchi. hotdep 2012: [doi]

2010

Focus Replay Debugging Effort on the Control PlaneGautam Altekar, Ion Stoica. hotdep 2010: [doi]

What Consistency Does Your Key-Value Store Actually Provide?Eric Anderson, Xiaozhou Li, Mehul A. Shah, Joseph Tucek, Jay J. Wylie. hotdep 2010: [doi]

Active Quorum SystemsAlysson Neves Bessani, Paulo Sousa, Miguel Correia. hotdep 2010: [doi]

A Rising Tide Lifts All Boats: How Memory Error Prediction and Prevention Can Help with Virtualized System LongevityYuyang Du, Hongliang Yu, Yunhong Jiang, Yaozu Dong, Weimin Zheng. hotdep 2010: [doi]

A Design for Comprehensive Kernel InstrumentationPeter Feiner, Angela Demke Brown, Ashvin Goel. hotdep 2010: [doi]

We Crashed, Now What?Cristiano Giuffrida, Lorenzo Cavallaro, Andrew S. Tanenbaum. hotdep 2010: [doi]

Towards Automatically Checking Thousands of Failures with Micro-specificationsHaryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen. hotdep 2010: [doi]

Storyboard: Optimistic Deterministic MultithreadingRüdiger Kapitza, Matthias Schunter, Christian Cachin, Klaus Stengel, Tobias Distler. hotdep 2010: [doi]

Scalable Agreement: Toward Ordering as a ServiceManos Kapritsos, Flavio Paiva Junqueira. hotdep 2010: [doi]

Behavior-Based Problem Localization for Parallel File SystemsMichael P. Kasick, Rajeev Gandhi, Priya Narasimhan. hotdep 2010: [doi]

Improved Device Driver Reliability Through Verification ReuseLeonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser. hotdep 2010: [doi]

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010Paulo Veríssimo, Hakim Weatherspoon, editors, USENIX Association, 2010. [doi]

2008

Proceedings of the Fourth Workshop on Hot Topics in Syetms Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008USENIX Association, 2008.

Consistability: Describing Usually Consistent SystemsAmitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Mehul A. Shah, Jay J. Wylie. hotdep 2008: [doi]

Toward Quantifying System ManageabilityGeorge Candea. hotdep 2008: [doi]

Reverse-Engineering Drivers for Safety and PortabilityVitaly Chipounov, George Candea. hotdep 2008: [doi]

Deprogramming Large Software SystemsYohann Coppel, George Candea. hotdep 2008: [doi]

Otherworld : Giving Applications a Chance to Survive OS Kernel CrashesAlex Depoutovitch, Michael Stumm. hotdep 2008: [doi]

A Spin-Up Saved Is Energy Earned: Achieving Power-Efficient, Erasure-Coded StorageKevin M. Greenan, Darrell D. E. Long, Ethan L. Miller, Thomas J. E. Schwarz, Jay J. Wylie. hotdep 2008: [doi]

Pretty Good Packet AuthenticationAndreas Haeberlen, Rodrigo Rodrigues, P. Krishna Gummadi, Peter Druschel. hotdep 2008: [doi]

Towards Automatic Inference of Task Hierarchies in Complex SystemsHaohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker. hotdep 2008: [doi]

Spread-Spectrum ComputationDerek Gordon Murray, Steven Hand. hotdep 2008: [doi]

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot IsolationNuno M. Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João Lourenço. hotdep 2008: [doi]

Dependable Self-Hosting Distributed Systems Using ConstraintsQin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe. hotdep 2008: [doi]

2006

Making Exception Handling WorkBruno Cabral, Paulo Marques. hotdep 2006: [doi]

Proceedings of the Second Workshop on Hot Topics in System Dependability, HotDep 2006, Seattle, WA, USA, November 8, 2006George Candea, Ken Birman, editors, USENIX Association, 2006. [doi]

SecondSite: Disaster Protection for the Common ServerBrendan Cully, Andrew Warfield. hotdep 2006: [doi]

The Case for Byzantine Fault DetectionAndreas Haeberlen, Petr Kouznetsov, Peter Druschel. hotdep 2006: [doi]

Chunkfs: Using Divide-and-Conquer to Improve File System Reliability and RepairVal Henson, Arjan van de Ven, Amit Gud, Zach Brown. hotdep 2006: [doi]

Safe at Any Speed: Fast, Safe Parallelism in ServersJohn Jannotti, Kiran Pamnany. hotdep 2006: [doi]

Towards a Dependable Architecture for Internet-scale SensingRohan Narayana Murty, Matt Welsh. hotdep 2006: [doi]

Abort, Retry, Litigate: Dependable Systems and Contract LawHany E. Ramadan. hotdep 2006: [doi]

Correlating Multi-Session Attacks via ReplayFareha Shafique, Kenneth Po, Ashvin Goel. hotdep 2006: [doi]

Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine Replication with NondeterminismJoseph G. Slember, Priya Narasimhan. hotdep 2006: [doi]

Comprehensive Depiction of Configuration-dependent Performance Anomalies in Distributed Server SystemsChristopher Stewart, Ming Zhong, Kai Shen, Thomas O'Neill. hotdep 2006: [doi]

Speculations: Providing Fault-tolerance and Recoverability in Distributed EnvironmentsCristian Tapus, Jason Hickey. hotdep 2006: [doi]

Automatic On-line Failure Diagnosis at the End-User SiteJoseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, Yuanyuan Zhou. hotdep 2006: [doi]

Discrete Control for Dependable IT AutomationYin Wang, Terence Kelly, Stéphane Lafortune. hotdep 2006: [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

HotDep (hotdep)

Viewing Publication 1 - 72 from 72

2014

2013

2012

2010

2008

2006

Links

Filter by YearOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

HotDep (hotdep)

Viewing Publication 1 - 72 from 72

2014

2013

2012

2010

2008

2006

Filter by Year
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1