Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/hotdep:"
download as .bib file
@inproceedings{DBLP:conf/hotdep/BehlDK14,
author = {Johannes Behl and
Tobias Distler and
R{\"{u}}diger Kapitza},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Scalable {BFT} for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented
Parallelization},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/behl},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/BehlDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/BrennerWK14,
author = {Stefan Brenner and
Colin Wulf and
R{\"{u}}diger Kapitza},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Running ZooKeeper Coordination Services in Untrusted Clouds},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/brenner},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/BrennerWK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/JafferCU14,
author = {Shehbaz Jaffer and
Mangesh Chitnis and
Ameya Usgaonkar},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Providing High Availability in Cloud Storage by Decreasing Virtual
Machine Reboot Time},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/jaffer},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/JafferCU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/MaceBFM14,
author = {Jonathan Mace and
Peter Bod{\'{\i}}k and
Rodrigo Fonseca and
Madanlal Musuvathi},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Towards General-Purpose Resource Management in Shared Cloud Services},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/mace},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/MaceBFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/MiyamaeNS14,
author = {Takeshi Miyamae and
Takanori Nakao and
Kensuke Shiozawa},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Erasure Code with Shingled Local Parity Groups for Efficient Recovery
from Multiple Disk Failures},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/miyamae},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/MiyamaeNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/NarayanPH14,
author = {Arjun Narayan and
Antonis Papadimitriou and
Andreas Haeberlen},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Compute Globally, Act Locally: Protecting Federated Systems from Systemic
Threats},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/narayan},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/NarayanPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/SantosL14,
author = {Nuno Santos and
Nuno P. Lopes},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Leveraging Trusted Computing and Model Checking to Build Dependable
Virtual Machines},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/santos},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/SantosL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/XuH14,
author = {Xin Xu and
H. Howie Huang},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Understanding Reliability Implication of Hardware Error in Virtualization
Infrastructure},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/xu},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/XuH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/YoshimuraK14,
author = {Takeshi Yoshimura and
Kenji Kono},
editor = {Flavio Junqueira and
Keith Marzullo},
title = {Who Writes What Checkers? - Learning from Bug Repositories},
booktitle = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/hotdep14/workshop-program/presentation/yoshimura},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/YoshimuraK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2014,
editor = {Flavio Junqueira and
Keith Marzullo},
title = {10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield,
CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {http://blogs.usenix.org/conference/hotdep14},
timestamp = {Tue, 18 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/BazarbayevHJSS13,
author = {Sobir Bazarbayev and
Matti A. Hiltunen and
Kaustubh R. Joshi and
William H. Sanders and
Richard D. Schlichting},
editor = {Christian Cachin and
Robbert van Renesse},
title = {PSCloud: a durable context-aware personal storage cloud},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {9:1--9:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524235},
doi = {10.1145/2524224.2524235},
timestamp = {Tue, 06 Nov 2018 16:58:01 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/BazarbayevHJSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/BehrensFJS13,
author = {Diogo Behrens and
Christof Fetzer and
Flavio Paiva Junqueira and
Marco Serafini},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Towards transparent hardening of distributed systems},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524230},
doi = {10.1145/2524224.2524230},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/BehrensFJS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/BravoMRR13,
author = {Manuel Bravo and
Nuno Machado and
Paolo Romano and
Lu{\'{\i}}s E. T. Rodrigues},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Towards effective and efficient search-based deterministic replay},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {10:1--10:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524228},
doi = {10.1145/2524224.2524228},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/BravoMRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/DangH13,
author = {Huynh Tu Dang and
Fabien Hermenier},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Higher {SLA} satisfaction in datacenters with continuous {VM} placement
constraints},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524226},
doi = {10.1145/2524224.2524226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/DangH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/JehlM13,
author = {Leander Jehl and
Hein Meling},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Towards Byzantine fault tolerant publish/subscribe: a state machine
approach},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524232},
doi = {10.1145/2524224.2524232},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/JehlM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KumarGGB13,
author = {Akshay Kumar and
Peter Goodman and
Ashvin Goel and
Angela Demke Brown},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Behave or be watched: debugging with behavioral watchpoints},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {11:1--11:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524234},
doi = {10.1145/2524224.2524234},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KumarGGB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/PapadimitriouZH13,
author = {Antonis Papadimitriou and
Mingchen Zhao and
Andreas Haeberlen},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Towards privacy-preserving fault detection},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {6:1--6:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524233},
doi = {10.1145/2524224.2524233},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/PapadimitriouZH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/PillaiCHAA13,
author = {Thanumalayan Sankaranarayana Pillai and
Vijay Chidambaram and
Joo Young Hwang and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Towards efficient, portable application-level consistency},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {8:1--8:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524229},
doi = {10.1145/2524224.2524229},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/PillaiCHAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/Theera-Ampornpunt13,
author = {Nawanol Theera{-}Ampornpunt and
Saurabh Bagchi and
Kaustubh R. Joshi and
Rajesh K. Panta},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Using big data for more dependability: a cellular network tale},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {2:1--2:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524227},
doi = {10.1145/2524224.2524227},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/Theera-Ampornpunt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/VogtGBT13,
author = {Dirk Vogt and
Cristiano Giuffrida and
Herbert Bos and
Andrew S. Tanenbaum},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Techniques for efficient in-memory checkpointing},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {12:1--12:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524236},
doi = {10.1145/2524224.2524236},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/VogtGBT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/Walfish13,
author = {Michael Walfish},
editor = {Christian Cachin and
Robbert van Renesse},
title = {Verifying the correctness of remote executions: from wild implausibility
to near practicality},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {7:1},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524225},
doi = {10.1145/2524224.2524225},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/Walfish13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ZhaiCWF13,
author = {Ennan Zhai and
Ruichuan Chen and
David Isaac Wolinsky and
Bryan Ford},
editor = {Christian Cachin and
Robbert van Renesse},
title = {An untold story of redundant clouds: making your service deployment
truly reliable},
booktitle = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224.2524231},
doi = {10.1145/2524224.2524231},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ZhaiCWF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2013,
editor = {Christian Cachin and
Robbert van Renesse},
title = {Proceedings of the 9th Workshop on Hot Topics in Dependable Systems,
HotDep 2013, Farmington, Pennsylvania, USA, November 3, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524224},
doi = {10.1145/2524224},
isbn = {978-1-4503-2457-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ChuangSKK12,
author = {Wei{-}Chiu Chuang and
Bo Sang and
Charles Edwin Killian and
Milind Kulkarni},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Programming Model Support for Dependable, Elastic Cloud Applications},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/chuang},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ChuangSKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/DobelH12,
author = {Bj{\"{o}}rn D{\"{o}}bel and
Hermann H{\"{a}}rtig},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Who Watches the Watchmen? Protecting Operating System Reliability
Mechanisms},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/d\%C3\%B6bel},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/DobelH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KasikciZC12,
author = {Baris Kasikci and
Cristian Zamfir and
George Candea},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {{CORD:} {A} Collaborative Framework for Distributed Data Race Detection},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/kasikci},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KasikciZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/OlinerILT12,
author = {Adam J. Oliner and
Anand P. Iyer and
Eemil Lagerspetz and
Sasu Tarkoma},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Collaborative Energy Debugging for Mobile Devices},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/oliner},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/OlinerILT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/RahmanGAKW12,
author = {Muntasir Raihan Rahman and
Wojciech M. Golab and
Alvin AuYoung and
Kimberly Keeton and
Jay J. Wylie},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Toward a Principled Framework for Benchmarking Consistency},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/rahman},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/RahmanGAKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/SchiperRRBC12,
author = {Nicolas Schiper and
Vincent Rahli and
Robbert van Renesse and
Mark Bickford and
Robert L. Constable},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {ShadowDB: {A} Replicated Database on a Synthesized Consensus Core},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/schiper},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/SchiperRRBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/TartlerKHRRDKSL12,
author = {Reinhard Tartler and
Anil Kurmus and
Bernhard Heinloth and
Valentin Rothberg and
Andreas Ruprecht and
Daniela Dorneanu and
R{\"{u}}diger Kapitza and
Wolfgang Schr{\"{o}}der{-}Preikschat and
Daniel Lohmann},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Automatic {OS} Kernel {TCB} Reduction by Leveraging Compile-Time Configurability},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/tartler},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/TartlerKHRRDKSL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/WeberWFLB12,
author = {Ingo Weber and
Hiroshi Wada and
Alan D. Fekete and
Anna Liu and
Len Bass},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Automatic Undo for Cloud Management via {AI} Planning},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/weber},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/WeberWFLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/YoshimuraYK12,
author = {Takeshi Yoshimura and
Hiroshi Yamada and
Kenji Kono},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Is Linux Kernel Oops Useful or Not?},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/yoshimura},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/YoshimuraYK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ZhouKB12,
author = {Bowen Zhou and
Milind Kulkarni and
Saurabh Bagchi},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {{ABHRANTA:} Locating Bugs that Manifest at Large System Scales},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/zhou},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ZhouKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2012,
editor = {Michael J. Freedman and
Neeraj Suri},
title = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/AltekarS10,
author = {Gautam Altekar and
Ion Stoica},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Focus Replay Debugging Effort on the Control Plane},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/focus-replay-debugging-effort-control-plane},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/AltekarS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/AndersonLSTW10,
author = {Eric Anderson and
Xiaozhou Li and
Mehul A. Shah and
Joseph A. Tucek and
Jay J. Wylie},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {What Consistency Does Your Key-Value Store Actually Provide?},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/what-consistency-does-your-key-value-store-actually-provide},
timestamp = {Thu, 12 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/AndersonLSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/BessaniSC10,
author = {Alysson Neves Bessani and
Paulo Sousa and
Miguel Correia},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Active Quorum Systems},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/active-quorum-systems},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/BessaniSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/DuYJDZ10,
author = {Yuyang Du and
Hongliang Yu and
Yunhong Jiang and
Yaozu Dong and
Weimin Zheng},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {A Rising Tide Lifts All Boats: How Memory Error Prediction and Prevention
Can Help with Virtualized System Longevity},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/rising-tide-lifts-all-boats-how-memory-error-prediction-and-prevention-can-help},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/DuYJDZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/FeinerBG10,
author = {Peter Feiner and
Angela Demke Brown and
Ashvin Goel},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {A Design for Comprehensive Kernel Instrumentation},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/design-comprehensive-kernel-instrumentation},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/FeinerBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/GiuffridaCT10,
author = {Cristiano Giuffrida and
Lorenzo Cavallaro and
Andrew S. Tanenbaum},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {We Crashed, Now What?},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/we-crashed-now-what},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/GiuffridaCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/GunawiDJHAAS10,
author = {Haryadi S. Gunawi and
Thanh Do and
Pallavi Joshi and
Joseph M. Hellerstein and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau and
Koushik Sen},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Towards Automatically Checking Thousands of Failures with Micro-specifications},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KapitzaSCSD10,
author = {R{\"{u}}diger Kapitza and
Matthias Schunter and
Christian Cachin and
Klaus Stengel and
Tobias Distler},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Storyboard: Optimistic Deterministic Multithreading},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/storyboard-optimistic-deterministic-multithreading},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KapitzaSCSD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KapritsosJ10,
author = {Manos Kapritsos and
Flavio Paiva Junqueira},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Scalable Agreement: Toward Ordering as a Service},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/scalable-agreement-toward-ordering-service},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KapritsosJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KasickGN10,
author = {Michael P. Kasick and
Rajeev Gandhi and
Priya Narasimhan},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Behavior-Based Problem Localization for Parallel File Systems},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/behavior-based-problem-localization-parallel-file-systems},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KasickGN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/RyzhykKMRVH10,
author = {Leonid Ryzhyk and
John Keys and
Balachandra Mirla and
Arun Raghunath and
Mona Vij and
Gernot Heiser},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Improved Device Driver Reliability Through Verification Reuse},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/RyzhykKMRVH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2010,
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/AiyerALSW08,
author = {Amitanand S. Aiyer and
Eric Anderson and
Xiaozhou Li and
Mehul A. Shah and
Jay J. Wylie},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Consistability: Describing Usually Consistent Systems},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/aiyer/aiyer.pdf},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/AiyerALSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/Candea08,
author = {George Candea},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Toward Quantifying System Manageability},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/candea/candea.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/Candea08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ChipounovC08,
author = {Vitaly Chipounov and
George Candea},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Reverse-Engineering Drivers for Safety and Portability},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/chipounov/chipounov.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ChipounovC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/CoppelC08,
author = {Yohann Coppel and
George Candea},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Deprogramming Large Software Systems},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/coppel/coppel.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/CoppelC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/DepoutovitchS08,
author = {Alex Depoutovitch and
Michael Stumm},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {"Otherworld": Giving Applications a Chance to Survive {OS} Kernel
Crashes},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/depoutovitch/depoutovitch.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/DepoutovitchS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/GreenanLMSW08,
author = {Kevin M. Greenan and
Darrell D. E. Long and
Ethan L. Miller and
Thomas J. E. Schwarz and
Jay J. Wylie},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {A Spin-Up Saved Is Energy Earned: Achieving Power-Efficient, Erasure-Coded
Storage},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/greenan/greenan.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/GreenanLMSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/HaeberlenRGD08,
author = {Andreas Haeberlen and
Rodrigo Rodrigues and
P. Krishna Gummadi and
Peter Druschel},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Pretty Good Packet Authentication},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/haeberlen/haeberlen.pdf},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/HaeberlenRGD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/MaiGLWV08,
author = {Haohui Mai and
Chongnan Gao and
Xuezheng Liu and
Xi Wang and
Geoffrey M. Voelker},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Towards Automatic Inference of Task Hierarchies in Complex Systems},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/mai/mai.pdf},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/MaiGLWV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/MurrayH08,
author = {Derek Gordon Murray and
Steven Hand},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Spread-Spectrum Computation},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/murray/murray.pdf},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/MurrayH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/PreguicaRHL08,
author = {Nuno M. Pregui{\c{c}}a and
Rodrigo Rodrigues and
Crist{\'{o}}v{\~{a}}o Honorato and
Jo{\~{a}}o Louren{\c{c}}o},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Byzantium: Byzantine-Fault-Tolerant Database Replication Providing
Snapshot Isolation},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/preguica/preguica.pdf},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/PreguicaRHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/YinCBR08,
author = {Qin Yin and
Justin Cappos and
Andrew Baumann and
Timothy Roscoe},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Dependable Self-Hosting Distributed Systems Using Constraints},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/yin/yin.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/YinCBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2008,
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/CabralM06,
author = {Bruno Cabral and
Paulo Marques},
editor = {George Candea and
Ken Birman},
title = {Making Exception Handling Work},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/making-exception-handling-work},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/CabralM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/CullyW06,
author = {Brendan Cully and
Andrew Warfield},
editor = {George Candea and
Ken Birman},
title = {SecondSite: Disaster Protection for the Common Server},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/secondsite-disaster-protection-common-server},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/CullyW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/HaeberlenKD06,
author = {Andreas Haeberlen and
Petr Kouznetsov and
Peter Druschel},
editor = {George Candea and
Ken Birman},
title = {The Case for Byzantine Fault Detection},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/case-byzantine-fault-detection},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/HaeberlenKD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/HensonVGB06,
author = {Val Henson and
Arjan van de Ven and
Amit Gud and
Zach Brown},
editor = {George Candea and
Ken Birman},
title = {Chunkfs: Using Divide-and-Conquer to Improve File System Reliability
and Repair},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/chunkfs-using-divide-and-conquer-improve-file-system-reliability-and-repair},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/HensonVGB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/JannottiP06,
author = {John Jannotti and
Kiran Pamnany},
editor = {George Candea and
Ken Birman},
title = {Safe at Any Speed: Fast, Safe Parallelism in Servers},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/safe-any-speed-fast-safe-parallelism-servers},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/JannottiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/MurtyW06,
author = {Rohan Narayana Murty and
Matt Welsh},
editor = {George Candea and
Ken Birman},
title = {Towards a Dependable Architecture for Internet-scale Sensing},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/towards-dependable-architecture-internet-scale-sensing},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/MurtyW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/Ramadan06,
author = {Hany E. Ramadan},
editor = {George Candea and
Ken Birman},
title = {Abort, Retry, Litigate: Dependable Systems and Contract Law},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/abort-retry-litigate-dependable-systems-and-contract-law},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/Ramadan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ShafiquePG06,
author = {Fareha Shafique and
Kenneth Po and
Ashvin Goel},
editor = {George Candea and
Ken Birman},
title = {Correlating Multi-Session Attacks via Replay},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/correlating-multi-session-attacks-replay},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ShafiquePG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/SlemberN06,
author = {Joseph G. Slember and
Priya Narasimhan},
editor = {George Candea and
Ken Birman},
title = {Static Analysis Meets Distributed Fault-Tolerance: Enabling State-Machine
Replication with Nondeterminism},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/static-analysis-meets-distributed-fault-tolerance-enabling-state-machine},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/SlemberN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/StewartZSO06,
author = {Christopher Stewart and
Ming Zhong and
Kai Shen and
Thomas O'Neill},
editor = {George Candea and
Ken Birman},
title = {Comprehensive Depiction of Configuration-dependent Performance Anomalies
in Distributed Server Systems},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/comprehensive-depiction-configuration-dependent-performance-anomalies},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/StewartZSO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/TapusH06,
author = {Cristian Tapus and
Jason Hickey},
editor = {George Candea and
Ken Birman},
title = {Speculations: Providing Fault-tolerance and Recoverability in Distributed
Environments},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/speculations-providing-fault-tolerance-and-recoverability-distributed},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/TapusH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/TucekLHXZ06,
author = {Joseph A. Tucek and
Shan Lu and
Chengdu Huang and
Spiros Xanthos and
Yuanyuan Zhou},
editor = {George Candea and
Ken Birman},
title = {Automatic On-line Failure Diagnosis at the End-User Site},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/automatic-line-failure-diagnosis-end-user-site},
timestamp = {Thu, 12 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/TucekLHXZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/WangKL06,
author = {Yin Wang and
Terence Kelly and
St{\'{e}}phane Lafortune},
editor = {George Candea and
Ken Birman},
title = {Discrete Control for Dependable {IT} Automation},
booktitle = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
url = {https://www.usenix.org/conference/hotdep-06/discrete-control-dependable-it-automation},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/WangKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2006,
editor = {George Candea and
Ken Birman},
title = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 20:00 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
