A dictionary of bibs, mainly on distributed algorithm design and implementation.
@inproceedings{Abadi88,
author = {Abadi, Martin and Lamport, Leslie},
title = {The Existence of Refinement Mappings},
year = {1988},
month = {July},
url = {https://www.microsoft.com/en-us/research/publication/
the-existence-of-refinement-mappings/},
pages = {165-175},
edition = {Proceedings of the 3rd Annual Symposium on Logic in Computer Science},
note = {LICS 1988 Test of Time Award},
}
@article{Abadi91,
title = "The existence of refinement mappings",
journal = "Theoretical Computer Science",
volume = "82",
number = "2",
pages = "253 - 284",
year = "1991",
issn = "0304-3975",
doi = "https://doi.org/10.1016/0304-3975(91)90224-P",
url = "http://www.sciencedirect.com/science/article/pii/030439759190224P",
author = "Martín Abadi and Leslie Lamport",
}
@article{Abadi12,
author={Abadi, Daniel J.},
title={Consistency Tradeoffs in Modern Distributed Database System Design:
CAP is Only Part of the Story},
journal={Computer},
year={2012},
month={Feb},
volume={45},
number={2},
pages={37-42},
doi={10.1109/MC.2012.33},
publisher = {IEEE Computer Society},
}
@phdthesis{Adya99,
author = {Adya, Atul},
title = {Weak Consistency: A Generalized Theory and Optimistic Implementations
for Distributed Transactions},
year = {1999},
note = {AAI0800775},
publisher = {Massachusetts Institute of Technology},
address = {Cambridge, MA, USA},
}
@inproceedings{Aguilera03sosp,
author = {Aguilera, Marcos K. and Mogul, Jeffrey C. and Wiener, Janet L. and Reynolds, Patrick and Muthitacharoen, Athicha},
title = {Performance Debugging for Distributed Systems of Black Boxes},
booktitle = {Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles},
series = {SOSP '03},
year = {2003},
isbn = {1-58113-757-5},
location = {Bolton Landing, NY, USA},
pages = {74--89},
numpages = {16},
url = {http://doi.acm.org/10.1145/945445.945454},
doi = {10.1145/945445.945454},
acmid = {945454},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {black box systems, distributed systems, performance analysis, performance debugging},
}
@inproceedings{Aguilera03podc,
author = {Aguilera, Marcos K. and Englert, Burkhard and Gafni, Eli},
title = {On Using Network Attached Disks As Shared Memory},
booktitle = {Proceedings of the Twenty-second Annual Symposium on Principles of Distributed Computing},
series = {PODC '03},
year = {2003},
isbn = {1-58113-708-7},
location = {Boston, Massachusetts},
pages = {315--324},
numpages = {10},
url = {http://doi.acm.org/10.1145/872035.872082},
doi = {10.1145/872035.872082},
acmid = {872082},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Aguilera16,
author = {Marcos K. Aguilera and
Douglas B. Terry},
title = {The Many Faces of Consistency},
journal = {{IEEE} Data Eng. Bull.},
volume = {39},
number = {1},
pages = {3--13},
year = {2016},
}
@inproceedings{Aguilera19,
author = {Aguilera, Marcos K. and Ben-David, Naama and Guerraoui, Rachid and Marathe, Virendra and Zablotchi, Igor},
title = {The Impact of RDMA on Agreement},
year = {2019},
isbn = {9781450362177},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3293611.3331601},
doi = {10.1145/3293611.3331601},
booktitle = {Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing},
pages = {409-418},
numpages = {10},
keywords = {consensus, fault tolerance, byzantine agreement, rdma},
location = {Toronto ON, Canada},
series = {PODC '19}
}
@inproceedings {Alagappan18,
author = {Ramnatthan Alagappan and Aishwarya Ganesan and
Jing Liu and Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau},
title = {Fault-Tolerance, Fast and Slow: Exploiting
Failure Asynchrony in Distributed Systems},
booktitle = {13th {USENIX} Symposium on Operating Systems
Design and Implementation ({OSDI} 18)},
year = {2018},
isbn = {978-1-931971-47-8},
address = {Carlsbad, CA},
pages = {390--408},
url = {https://www.usenix.org/conference/osdi18/presentation/alagappan},
publisher = {{USENIX} Association},
}
@article{Alagiannis15,
author = {Alagiannis, Ioannis and Borovica-Gajic, Renata and
Branco, Miguel and Idreos, Stratos and Ailamaki, Anastasia},
title = {NoDB: Efficient Query Execution on Raw Data Files},
journal = {Commun. ACM},
issue_date = {December 2015},
volume = {58},
number = {12},
month = nov,
year = {2015},
issn = {0001-0782},
pages = {112--121},
numpages = {10},
url = {http://doi.acm.org/10.1145/2830508},
doi = {10.1145/2830508},
acmid = {2830508},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings {Alfatafta20,
author = {Mohammed Alfatafta and Basil Alkhatib and Ahmed Alquraan and Samer Al-Kiswany},
title = {Toward a Generic Fault Tolerance Technique for Partial Network Partitioning},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI}'20)},
year = {2020},
isbn = {978-1-939133-19-9},
pages = {351--368},
url = {https://www.usenix.org/conference/osdi20/presentation/alfatafta},
publisher = {{USENIX} Association},
month = nov,
}
@article{Alpern85,
title = {Defining liveness},
journal = {Information Processing Letters},
volume = {21},
number = {4},
pages = {181-185},
year = {1985},
issn = {0020-0190},
doi = {https://doi.org/10.1016/0020-0190(85)90056-0},
url = {https://www.sciencedirect.com/science/article/pii/0020019085900560},
author = {Bowen Alpern and Fred B. Schneider},
keywords = {Liveness, absolute liveness, uniform liveness, safety, property, topology, concurrency, semantics},
}
@inproceedings{Alquraan18,
author = {Alquraan, Ahmed and Takruri, Hatem and Alfatafta, Mohammed and Al-Kiswany, Samer},
title = {An Analysis of Network-Partitioning Failures in Cloud Systems},
year = {2018},
isbn = {9781931971478},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation},
pages = {51-68},
numpages = {18},
location = {Carlsbad, CA, USA},
series = {OSDI'18}
}
@inproceedings{Alvaro11,
author = {Peter Alvaro and
Neil Conway and
Joseph M. Hellerstein and
William R. Marczak},
title = {Consistency Analysis in Bloom: a {CALM} and Collected Approach},
booktitle = {{CIDR} 2011, Fifth Biennial Conference on Innovative Data Systems
Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings},
pages = {249--260},
publisher = {www.cidrdb.org},
year = {2011},
url = {http://cidrdb.org/cidr2011/Papers/CIDR11\_Paper35.pdf},
timestamp = {Thu, 12 Mar 2020 11:32:38 +0100},
}
@inproceedings{Alvaro13,
author = {Alvaro, Peter and Bailis, Peter and Conway, Neil and
Hellerstein, Joseph M.},
title = {Consistency Without Borders},
booktitle = {Proceedings of the 4th Annual Symposium on Cloud Computing},
series = {SOCC '13},
year = {2013},
isbn = {978-1-4503-2428-1},
location = {Santa Clara, California},
pages = {23:1--23:10},
articleno = {23},
numpages = {10},
url = {http://doi.acm.org/10.1145/2523616.2523632},
doi = {10.1145/2523616.2523632},
acmid = {2523632},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Alvaro17,
author = {Alvaro, Peter and Conway, Neil and
Hellerstein, Joseph M. and Maier, David},
title = {Blazes: Coordination Analysis and Placement for Distributed Programs},
journal = {ACM Trans. Database Syst.},
issue_date = {November 2017},
volume = {42},
number = {4},
month = oct,
year = {2017},
issn = {0362-5915},
pages = {23:1--23:31},
articleno = {23},
numpages = {31},
url = {http://doi.acm.org/10.1145/3110214},
doi = {10.1145/3110214},
acmid = {3110214},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Consistency via Coordination},
}
@article{Alvaro18,
author = {Alvaro, Peter and Tymon, Severine},
title = {Abstracting the Geniuses Away from Failure Testing},
journal = {Commun. ACM},
issue_date = {January 2018},
volume = {61},
number = {1},
month = dec,
year = {2017},
issn = {0001-0782},
pages = {54--61},
numpages = {8},
url = {http://doi.acm.org/10.1145/3152483},
doi = {10.1145/3152483},
acmid = {3152483},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Anand13,
title = "An orchestrated survey of methodologies for automated software test case generation",
journal = "Journal of Systems and Software",
volume = "86",
number = "8",
pages = "1978 - 2001",
year = "2013",
issn = "0164-1212",
doi = "https://doi.org/10.1016/j.jss.2013.02.061",
url = "http://www.sciencedirect.com/science/article/pii/S0164121213000563",
author = "Saswat Anand and Edmund K. Burke and Tsong Yueh Chen and John Clark and Myra B. Cohen and Wolfgang Grieskamp and Mark Harman and Mary Jean Harrold and Phil McMinn and Antonia Bertolino and J. {Jenny Li} and Hong Zhu",
}
@book{Aspnes19,
author = {James Aspnes},
title = {Notes on Theory of Distributed Systems},
year = {2019},
isbn = {},
publisher = {Yale University, CPSC 465/565},
}
@article{Attiya95,
author = {Attiya, Hagit and Bar-Noy, Amotz and Dolev, Danny},
title = {Sharing Memory Robustly in Message-passing Systems},
journal = {J. ACM},
issue_date = {Jan. 1995},
volume = {42},
number = {1},
month = jan,
year = {1995},
issn = {0004-5411},
pages = {124--142},
numpages = {19},
url = {http://doi.acm.org/10.1145/200836.200869},
publisher = {ACM},
}
@article{Attiya98,
author = {Attiya, Hagit and Friedman, Roy},
title = {A Correctness Condition for High-Performance Multiprocessors},
journal = {SIAM J. Comput.},
issue_date = {Dec. 1998},
volume = {27},
number = {6},
month = dec,
year = {1998},
issn = {0097-5397},
pages = {1637--1670},
numpages = {34},
url = {http://dx.doi.org/10.1137/S0097539795289215},
doi = {10.1137/S0097539795289215},
acmid = {291518},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
keywords = {consistency conditions, distributed shared memory,
hybrid consistency, sequential consistency, weak consistency},
}
@book{Attiya04,
author = {Attiya, Hagit and Welch, Jennifer},
title = {Distributed Computing: Fundamentals, Simulations and Advanced Topics},
year = {2004},
isbn = {0471453242},
publisher = {John Wiley \& Sons},
}
@book{Attiya14,
author = {Attiya, Hagit and Ellen, Faith},
title = {Impossibility Results for Distributed Computing},
year = {2014},
isbn = {9781627051712},
publisher = {Morgan \& Claypool},
}
@inproceedings{Attiya16,
author = {Attiya, Hagit and Burckhardt, Sebastian and
Gotsman, Alexey and Morrison, Adam and Yang, Hongseok and Zawirski, Marek},
title = {Specification and Complexity of Collaborative Text Editing},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles
of Distributed Computing},
series = {PODC '16},
year = {2016},
isbn = {978-1-4503-3964-3},
location = {Chicago, Illinois, USA},
pages = {259--268},
numpages = {10},
url = {http://doi.acm.org/10.1145/2933057.2933090},
doi = {10.1145/2933057.2933090},
acmid = {2933090},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {collaborative text editing, eventual consistency},
}
@inbook{Babaoglu93,
author = {Babao\u{g}lu, \"{O}zalp and Marzullo, Keith},
title = {Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms},
year = {1993},
isbn = {0201624273},
publisher = {ACM Press/Addison-Wesley Publishing Co.},
address = {USA},
booktitle = {Distributed Systems (2nd Ed.)},
pages = {55-96},
numpages = {42}
}
@article{Babaoglu95,
author = {Babao\u{g}lu, \"{O}zalp and Raynal, Michel},
title = {Specification and Verification of Dynamic Properties in Distributed Computations},
year = {1995},
issue_date = {Aug. 1, 1995},
publisher = {Academic Press, Inc.},
address = {USA},
volume = {28},
number = {2},
issn = {0743-7315},
url = {https://doi.org/10.1006/jpdc.1995.1098},
doi = {10.1006/jpdc.1995.1098},
journal = {J. Parallel Distrib. Comput.},
month = {aug},
pages = {173-185},
numpages = {13}
}
@book{Baier08,
author = {Baier, Christel and Katoen, Joost-Pieter},
title = {Principles of Model Checking (Representation and Mind Series)},
year = {2008},
isbn = {026202649X},
publisher = {The MIT Press},
}
@article{Bailis12,
author = {Bailis, Peter and Venkataraman, Shivaram and Franklin, Michael J. and Hellerstein, Joseph M. and Stoica, Ion},
title = {Probabilistically Bounded Staleness for Practical Partial Quorums},
year = {2012},
issue_date = {April 2012},
publisher = {VLDB Endowment},
volume = {5},
number = {8},
issn = {2150-8097},
url = {https://doi.org/10.14778/2212351.2212359},
doi = {10.14778/2212351.2212359},
journal = {Proc. VLDB Endow.},
month = apr,
pages = {776–787},
numpages = {12}
}
@article{Bailis13-pvldb,
author = {Bailis, Peter and Davidson, Aaron and Fekete, Alan and Ghodsi, Ali and Hellerstein, Joseph M. and Stoica, Ion},
title = {Highly Available Transactions: Virtues and Limitations},
year = {2013},
issue_date = {November 2013},
publisher = {VLDB Endowment},
volume = {7},
number = {3},
issn = {2150-8097},
url = {https://doi.org/10.14778/2732232.2732237},
doi = {10.14778/2732232.2732237},
journal = {Proc. VLDB Endow.},
month = nov,
pages = {181-192},
numpages = {12}
}
@article{Bailis13-cacm,
author = {Bailis, Peter and Venkataraman, Shivaram and Franklin, Michael J. and Hellerstein, Joseph M. and Stoica, Ion},
title = {Quantifying Eventual Consistency with PBS},
year = {2014},
issue_date = {August 2014},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {57},
number = {8},
issn = {0001-0782},
url = {https://doi.org/10.1145/2632792},
doi = {10.1145/2632792},
journal = {Commun. ACM},
month = aug,
pages = {93–102},
numpages = {10}
}
@article{Bailis14-cacm,
author = {Bailis, Peter and Kingsbury, Kyle},
title = {The Network is Reliable},
year = {2014},
issue_date = {September 2014},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {57},
number = {9},
issn = {0001-0782},
url = {https://doi.org/10.1145/2643130},
doi = {10.1145/2643130},
journal = {Commun. ACM},
month = sep,
pages = {48–55},
numpages = {8}
}
@article{Bailis14-vldbj,
author = {Peter Bailis and
Shivaram Venkataraman and
Michael J. Franklin and
Joseph M. Hellerstein and
Ion Stoica},
title = {Quantifying eventual consistency with {PBS}},
journal = {{VLDB} J.},
volume = {23},
number = {2},
pages = {279--302},
year = {2014},
}
@article{Bailis14-pvldb,
author = {Bailis, Peter and Fekete, Alan and Franklin, Michael J. and Ghodsi, Ali and Hellerstein, Joseph M. and Stoica, Ion},
title = {Coordination Avoidance in Database Systems},
year = {2014},
issue_date = {November 2014},
publisher = {VLDB Endowment},
volume = {8},
number = {3},
issn = {2150-8097},
url = {https://doi.org/10.14778/2735508.2735509},
doi = {10.14778/2735508.2735509},
journal = {Proc. VLDB Endow.},
month = nov,
pages = {185–196},
numpages = {12}
}
@inproceedings{Baker11,
title = {Megastore: providing scalable, highly available storage
for interactive services},
author = {Jason Baker and Chris Bond and James C. Corbett and
JJ Furman and Andrey Khorlin and James Larson and
Jean-Michel Leon and Yawei Li and Alexander Lloyd and Vadim Yushprakh},
booktitle = {Proc. CIDR'11, Conference on Innovative Data System Research},
year = {2011},
pages = {223--234}
URL = {http://www.cidrdb.org/cidr2011/Papers/CIDR11_Paper32.pdf},
}
@Inproceedings{Balakrishnan12,
author = {Balakrishnan, Mahesh and Malkhi, Dahlia and
Prabhakaran, Vijayan and Wobber, Ted and
Wei, Michael and Davis, John},
title = {CORFU: A Shared Log Design for Flash Clusters},
booktitle = {9th USENIX Symposium on Networked Systems
Design and Implementation (NSDI '12)},
year = {2012},
month = {April},
publisher = {USENIX},
url = {https://www.microsoft.com/en-us/research/publication/
corfu-a-shared-log-design-for-flash-clusters/},
edition = {9th USENIX Symposium on Networked Systems
Design and Implementation (NSDI '12)},
}
@InProceedings{Baquero14,
author="Baquero, Carlos
and Almeida, Paulo S{\'e}rgio
and Shoker, Ali",
editor="Magoutis, Kostas
and Pietzuch, Peter",
title="Making Operation-Based CRDTs Operation-Based",
booktitle="Distributed Applications and Interoperable Systems",
year="2014",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="126--140",
isbn="978-3-662-43352-2"
}
@book{Barroso18,
author = {Barroso, Luiz Andre and Holzle, Urs and Ranganathan, Parthasarathy and Martonosi, Margaret},
title = {The Datacenter As a Computer: Designing Warehouse-Scale Machines},
year = {2018},
isbn = {1681734354},
publisher = {Morgan \& Claypool Publishers},
edition = {3rd}
}
@inproceedings{Beaver10,
author = {Beaver, Doug and Kumar, Sanjeev and Li, Harry C. and
Sobel, Jason and Vajgel, Peter},
title = {Finding a Needle in Haystack: Facebook's Photo Storage},
booktitle = {Proceedings of the 9th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'10},
year = {2010},
location = {Vancouver, BC, Canada},
pages = {47--60},
numpages = {14},
url = {http://dl.acm.org/citation.cfm?id=1924943.1924947},
acmid = {1924947},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@InProceedings{Berezin97,
author="Berezin, Sergey
and Campos, S{\'e}rgio
and Clarke, Edmund M.",
editor="de Roever, Willem-Paul
and Langmaack, Hans
and Pnueli, Amir",
title="Compositional Reasoning in Model Checking",
booktitle="Compositionality: The Significant Difference",
year="1998",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="81--102",
isbn="978-3-540-49213-9"
}
@phdthesis{Bermbach14,
title={Benchmarking Eventually Consistent Distributed Storage Systems},
author={Bermbach, David},
school={Karlsruhe Institute of Technology},
year={2014},
}
@article{Beschastnikh16,
author = {Beschastnikh, Ivan and Wang, Patty and Brun, Yuriy and Ernst, Michael D.},
title = {Debugging Distributed Systems},
year = {2016},
issue_date = {August 2016},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {59},
number = {8},
issn = {0001-0782},
url = {https://doi.org/10.1145/2909480},
doi = {10.1145/2909480},
abstract = {ShiViz is a new distributed system debugging visualization tool.},
journal = {Commun. ACM},
month = {jul},
pages = {32-37},
numpages = {6}
}
@inproceedings{Billes17,
author = {Billes, Marina and M{\o}ller, Anders and Pradel, Michael},
title = {Systematic Black-box Analysis of Collaborative Web Applications},
booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on
Programming Language Design and Implementation},
series = {PLDI 2017},
year = {2017},
isbn = {978-1-4503-4988-8},
location = {Barcelona, Spain},
pages = {171--184},
numpages = {14},
url = {http://doi.acm.org/10.1145/3062341.3062364},
doi = {10.1145/3062341.3062364},
acmid = {3062364},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Testing, collaborative editing, dynamic analysis},
}
@book{Birman05,
author = {Birman, Kenneth P.},
title = {Reliable Distributed Systems: Technologies, Web Services, and Applications},
year = {2005},
isbn = {0387215093},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg}
}
@InProceedings{Biswas19cav,
author="Biswas, Ranadeep
and Emmi, Michael
and Enea, Constantin",
editor="Dillig, Isil
and Tasiran, Serdar",
title="On the Complexity of Checking Consistency for Replicated Data Types",
booktitle="Computer Aided Verification",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="324--343",
isbn="978-3-030-25543-5"
}
@article{Biswas19oopsla,
author = {Biswas, Ranadeep and Enea, Constantin},
title = {On the Complexity of Checking Transactional Consistency},
year = {2019},
issue_date = {October 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {OOPSLA},
url = {https://doi.org/10.1145/3360591},
doi = {10.1145/3360591},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {Article 165},
numpages = {28},
keywords = {transactional databases, testing, consistency, axiomatic specifications}
}
@inproceedings {Bittman19,
author = {Daniel Bittman and Ethan L. Miller and Peter Alvaro},
title = {Co-evolving Tracing and Fault Injection with Box of Pain},
booktitle = {11th {USENIX} Workshop on Hot Topics in Cloud Computing (HotCloud 19)},
year = {2019},
address = {Renton, WA},
url = {https://www.usenix.org/conference/hotcloud19/presentation/bittman},
publisher = {{USENIX} Association},
month = jul,
}
@inproceedings{Bornholt21,
author = {Bornholt, James and Joshi, Rajeev and Astrauskas, Vytautas and Cully, Brendan and Kragl, Bernhard and Markle, Seth and Sauri, Kyle and Schleit, Drew and Slatton, Grant and Tasiran, Serdar and Van Geffen, Jacob and Warfield, Andrew},
title = {Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3},
year = {2021},
isbn = {9781450387095},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3477132.3483540},
doi = {10.1145/3477132.3483540},
booktitle = {Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles},
pages = {836-850},
numpages = {15},
keywords = {cloud storage, lightweight formal methods},
location = {Virtual Event, Germany},
series = {SOSP'21}
}
@Article{Borowsky01,
author="Borowsky, E.
and Gafni, E.
and Lynch, N.
and Rajsbaum, S.",
title="The BG distributed simulation algorithm",
journal="Distributed Computing",
year="2001",
month="Jul",
day="01",
volume="14",
number="3",
pages="127--146",
issn="1432-0452",
doi="10.1007/PL00008933",
url="https://doi.org/10.1007/PL00008933"
}
@inproceedings{Bouajjani17,
author = {Bouajjani, Ahmed and Enea, Constantin and Guerraoui, Rachid and Hamza, Jad},
title = {On Verifying Causal Consistency},
year = {2017},
isbn = {9781450346603},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3009837.3009888},
doi = {10.1145/3009837.3009888},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
pages = {626–638},
numpages = {13},
keywords = {causal consistency, model checking, distributed systems, static program analysis},
location = {Paris, France},
series = {POPL 2017}
}
@inproceedings {Boucher20,
author = {Sol Boucher and Anuj Kalia and David G. Andersen and Michael Kaminsky},
title = {Lightweight Preemptible Functions},
booktitle = {2020 {USENIX} Annual Technical Conference ({USENIX} {ATC} 20)},
year = {2020},
isbn = {978-1-939133-14-4},
pages = {465--477},
url = {https://www.usenix.org/conference/atc20/presentation/boucher},
publisher = {{USENIX} Association},
month = jul,
}
@article{Bravo15,
author = {Bravo, Manuel and Diegues, Nuno and Zeng, J. and Romano, Paolo and Rodrigues, Luís},
year = {2015},
month = {01},
pages = {18-31},
title = {On the use of clocks to enforce consistency in the cloud},
volume = {38},
journal = {IEEE Data Eng. Bull.}
}
@inproceedings{Brewer00,
author = {Brewer, Eric A.},
title = {Towards Robust Distributed Systems (Abstract)},
year = {2000},
isbn = {1581131836},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/343477.343502},
doi = {10.1145/343477.343502},
booktitle = {Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing},
pages = {7},
numpages = {1},
location = {Portland, Oregon, USA},
series = {PODC'00}
}
@ARTICLE{Brewer12,
author={E. {Brewer}},
journal={Computer},
title={CAP twelve years later: How the "rules" have changed},
year={2012},
volume={45},
number={2},
pages={23-29},
}
@inproceedings {Bronson13,
author = {Nathan Bronson and Zach Amsden and George Cabrera and
Prasad Chakka and Peter Dimov and Hui Ding and
Jack Ferris and Anthony Giardullo and Sachin Kulkarni and
Harry Li and Mark Marchukov and Dmitri Petrov and
Lovro Puzar and Yee Jiun Song and Venkat Venkataramani},
title = {TAO: Facebook{\textquoteright}s Distributed Data Store
for the Social Graph},
booktitle = {Presented as part of the 2013 USENIX Annual
Technical Conference (USENIX ATC 13)},
year = {2013},
pages = {49--60},
url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/bronson},
publisher = {USENIX},
}
@inproceedings{Burckhardt10,
author = {Burckhardt, Sebastian and Kothari, Pravesh and Musuvathi, Madanlal and Nagarakatte, Santosh},
title = {A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs},
booktitle = {Proceedings of the Fifteenth International Conference on Architectural Support for Programming Languages and Operating Systems},
series = {ASPLOS XV},
year = {2010},
isbn = {978-1-60558-839-1},
location = {Pittsburgh, Pennsylvania, USA},
pages = {167--178},
numpages = {12},
url = {http://doi.acm.org/10.1145/1736020.1736040},
doi = {10.1145/1736020.1736040},
acmid = {1736040},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {concurrency, race conditions, randomized algorithms, testing},
}
@inproceedings{Burckhardt14,
author = {Burckhardt, Sebastian and Gotsman, Alexey and
Yang, Hongseok and Zawirski, Marek},
title = {Replicated Data Types: Specification,
Verification, Optimality},
booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages},
series = {POPL '14},
year = {2014},
isbn = {978-1-4503-2544-8},
location = {San Diego, California, USA},
pages = {271--284},
numpages = {14},
url = {http://doi.acm.org/10.1145/2535838.2535848},
doi = {10.1145/2535838.2535848},
acmid = {2535848},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {eventual consistency, replication, weak memory},
}
@article{Burckhardt14-book,
author = {Burckhardt, Sebastian},
title = {Principles of Eventual Consistency},
year = {2014},
issue_date = {October 2014},
publisher = {Now Publishers Inc.},
address = {Hanover, MA, USA},
volume = {1},
number = {1–2},
issn = {2325-1107},
url = {https://doi.org/10.1561/2500000011},
doi = {10.1561/2500000011},
journal = {Found. Trends Program. Lang.},
month = oct,
pages = {1–150},
numpages = {150}
}
@article{Burns93,
author = {Burns, J.E. and Lynch, N.A.},
title = {Bounds on Shared Memory for Mutual Exclusion},
journal = {Inf. Comput.},
issue_date = {Dec. 1993},
volume = {107},
number = {2},
month = dec,
year = {1993},
issn = {0890-5401},
pages = {171--184},
numpages = {14},
url = {http://dx.doi.org/10.1006/inco.1993.1065},
doi = {10.1006/inco.1993.1065},
acmid = {175992},
publisher = {Academic Press, Inc.},
address = {Duluth, MN, USA},
}
@inproceedings{Burrows06,
author = {Burrows, Mike},
title = {The {Chubby} lock service for loosely-coupled distributed systems},
booktitle = {Proc. OSDI'06, USENIX Symposium on Operating Systems
Design and Implementation},
year = {2006},
pages = {335--350},
url = {http://dl.acm.org/citation.cfm?id=1298455.1298487},
publisher = {USENIX},
}
@book{Cachin11,
author = {Cachin, Christian and Guerraoui, Rachid and Rodrigues, Lus},
title = {Introduction to Reliable and Secure Distributed Programming},
year = {2011},
isbn = {3642152597},
publisher = {Springer Publishing Company, Incorporated},
edition = {2nd}
}
@ARTICLE {Cai22,
author = {H. Cai and X. Fu},
journal = {IEEE Transactions on Software Engineering},
title = {D$^2$2Abs: A Framework for Dynamic Dependence Analysis of Distributed Programs},
year = {2022},
volume = {48},
number = {12},
issn = {1939-3520},
pages = {4733-4761},
keywords = {performance analysis;software;heuristic algorithms;codes;task analysis;sockets;costs},
doi = {10.1109/TSE.2021.3124795},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
month = {dec}
}
@article{Cao18,
author = {Cao, Wei and Liu, Zhenjun and Wang, Peng and Chen, Sen and Zhu, Caifeng and Zheng, Song and Wang, Yuhui and Ma, Guoqing},
title = {PolarFS: An Ultra-Low Latency and Failure Resilient Distributed File System for Shared Storage Cloud Database},
year = {2018},
issue_date = {August 2018},
publisher = {VLDB Endowment},
volume = {11},
number = {12},
issn = {2150-8097},
url = {https://doi.org/10.14778/3229863.3229872},
doi = {10.14778/3229863.3229872},
journal = {Proc. VLDB Endow.},
month = {aug},
pages = {1849--1862},
numpages = {14}
}
@article{Cao20,
author = {Chun Cao and Xiaoxing Ma},
title = {面向人机物融合应用的场景计算机},
year = {2020},
volume = {16},
number = {4},
journal = {中国计算机学会通讯},
}
@article{Castro02,
author = {Castro, Miguel and Liskov, Barbara},
title = {Practical Byzantine Fault Tolerance and Proactive Recovery},
year = {2002},
issue_date = {November 2002},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {20},
number = {4},
issn = {0734-2071},
url = {https://doi.org/10.1145/571637.571640},
doi = {10.1145/571637.571640},
journal = {ACM Trans. Comput. Syst.},
month = nov,
pages = {398-461},
numpages = {64},
keywords = {proactive recovery, Byzantine fault tolerance, state transfer, state machine replication, asynchronous systems}
}
@inproceedings{Cerone15,
title={A framework for transactional consistency models with atomic visibility},
author={Cerone, Andrea and Bernardi, Giovanni and Gotsman, Alexey},
booktitle={26th International Conference on Concurrency Theory (CONCUR 2015)},
year={2015},
organization={Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik}
}
@article{Cerone18,
author = {Cerone, Andrea and Gotsman, Alexey},
title = {Analysing Snapshot Isolation},
year = {2018},
issue_date = {March 2018},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {65},
number = {2},
issn = {0004-5411},
url = {https://doi.org/10.1145/3152396},
doi = {10.1145/3152396},
journal = {J. ACM},
month = jan,
articleno = {11},
numpages = {41},
keywords = {transaction chopping, Distributed computing models, robustness, snapshot isolation}
}
@article{Chandy85,
author = {Chandy, K. Mani and Lamport, Leslie},
title = {Distributed Snapshots: Determining Global States of Distributed Systems},
year = {1985},
issue_date = {Feb. 1985},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {1},
issn = {0734-2071},
url = {https://doi.org/10.1145/214451.214456},
doi = {10.1145/214451.214456},
journal = {ACM Trans. Comput. Syst.},
month = {feb},
pages = {63–75},
numpages = {13}
}
@article{Chandy86,
author = {Chandy, K. M. and Misra, Jayadev},
title = {How Processes Learn},
year = {1986},
issue_date = {January 1986},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
volume = {1},
number = {1},
issn = {0178-2770},
url = {https://doi.org/10.1007/BF01843569},
doi = {10.1007/BF01843569},
journal = {Distrib. Comput.},
month = jan,
pages = {40–52},
numpages = {13}
}
@article{Chandra96unreliable,
author = {Chandra, Tushar Deepak and Toueg, Sam},
title = {Unreliable Failure Detectors for Reliable Distributed Systems},
year = {1996},
issue_date = {March 1996},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {43},
number = {2},
issn = {0004-5411},
url = {https://doi.org/10.1145/226643.226647},
doi = {10.1145/226643.226647},
journal = {J. ACM},
month = mar,
pages = {225–267},
numpages = {43},
keywords = {processor failures, Byzantine Generals’ problem, crash failures, consensus problem, agreement problem, failure detection, asynchronous systems, fault-tolerance, atomic broadcast, message passing, commit problem, partial synchrony}
}
@article{Chandra96weakest,
author = {Chandra, Tushar Deepak and Hadzilacos, Vassos and Toueg, Sam},
title = {The Weakest Failure Detector for Solving Consensus},
year = {1996},
issue_date = {July 1996},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {43},
number = {4},
issn = {0004-5411},
url = {https://doi.org/10.1145/234533.234549},
doi = {10.1145/234533.234549},
journal = {J. ACM},
month = jul,
pages = {685-722},
numpages = {38},
keywords = {message passing, processor failures, crash failures, Byzantine Generals problem, partial synchrony, asynchronous systems, failure detection, commit problem, agreement problem, fault-tolerance, atomic broadcast, consensus problem}
}
@inproceedings{Chandra07,
author = {Chandra, Tushar D. and Griesemer, Robert and Redstone, Joshua},
title = {Paxos Made Live: An Engineering Perspective},
booktitle = {Proceedings of the Twenty-sixth Annual ACM Symposium on
Principles of Distributed Computing},
series = {PODC '07},
year = {2007},
pages = {398--407},
url = {http://doi.acm.org/10.1145/1281100.1281103},
publisher = {ACM},
}
@article{Chang08,
author = {Chang, Fay and Dean, Jeffrey and Ghemawat, Sanjay and
Hsieh, Wilson C. and Wallach, Deborah A. and Burrows, Mike and
Chandra, Tushar and Fikes, Andrew and Gruber, Robert E.},
title = {Bigtable: A Distributed Storage System for Structured Data},
journal = {ACM Trans. Comput. Syst.},
issue_date = {June 2008},
volume = {26},
number = {2},
month = jun,
year = {2008},
pages = {4:1--4:26},
articleno = {4},
url = {http://doi.acm.org/10.1145/1365815.1365816},
publisher = {ACM},
}
@article{Charron95, author = {Charron-Bost, Bernadette and Delporte-Gallet, Carole and Fauconnier, Hugues}, title = {Local and Temporal Predicates in Distributed Systems}, year = {1995}, issue_date = {Jan. 1995}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, volume = {17}, number = {1}, issn = {0164-0925}, url = {https://doi.org/10.1145/200994.201005}, doi = {10.1145/200994.201005}, journal = {ACM Trans. Program. Lang. Syst.}, month = {jan}, pages = {157-179}, numpages = {23}, keywords = {distributed computation, predicate transformer, local predicate, temporal predicate, predicate, knowledge predicate, observation} }
@book{Charron10,
editor = {Charron-Bost, Bernadette and Pedone, Fernando and Schiper, Andr\'{e}},
title = {Replication: Theory and Practice},
year = {2010},
isbn = {3642112935},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg}
}
@article{Chockler01,
author = {Chockler, Gregory V. and Keidar, Idit and Vitenberg, Roman},
title = {Group Communication Specifications: A Comprehensive Study},
year = {2001},
issue_date = {December 2001},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {33},
number = {4},
issn = {0360-0300},
url = {https://doi.org/10.1145/503112.503113},
doi = {10.1145/503112.503113},
journal = {ACM Comput. Surv.},
month = dec,
pages = {427–469},
numpages = {43},
keywords = {partitionable group membership, Group communication systems, specifications of group communication systems, process group membership, virtual synchrony, view synchrony}
}
@inproceedings{Chow14,
author = {Chow, Michael and Meisner, David and Flinn, Jason and Peek, Daniel and Wenisch, Thomas F.},
title = {The Mystery Machine: End-to-end Performance Analysis of Large-scale Internet Services},
booktitle = {Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation},
series = {OSDI'14},
year = {2014},
isbn = {978-1-931971-16-4},
location = {Broomfield, CO},
pages = {217--231},
numpages = {15},
url = {http://dl.acm.org/citation.cfm?id=2685048.2685066},
acmid = {2685066},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@InProceedings{Cirisci20,
author="{\c{C}}irisci, Berk
and Enea, Constantin
and Farzan, Azadeh
and Mutluergil, Suha Orhun",
editor="Lahiri, Shuvendu K.
and Wang, Chao",
title="Root Causing Linearizability Violations",
booktitle="Computer Aided Verification",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="350--375",
isbn="978-3-030-53288-8"
}
@INPROCEEDINGS{Clarke89,
author={E. M. {Clarke} and D. E. {Long} and K. L. {McMillan}},
booktitle={[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science},
title={Compositional model checking},
year={1989},
volume={},
number={},
pages={353-362},
doi={10.1109/LICS.1989.39190}
}
@book{Clarke18,
author = { Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem},
title = {Handbook of Model Checking},
year = {2018},
isbn = {978-3-319-10575-8},
publisher = {Springer Cham},
}
@inproceedings{Cooper91,
author = {Cooper, Robert and Marzullo, Keith},
title = {Consistent Detection of Global Predicates},
year = {1991},
isbn = {0897914570},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/122759.122774},
doi = {10.1145/122759.122774},
booktitle = {Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging},
pages = {167-174},
numpages = {8},
location = {Santa Cruz, California, USA},
series = {PADD '91}
}
@article{Cooper08,
author = {Cooper, Brian F. and Ramakrishnan, Raghu and
Srivastava, Utkarsh and Silberstein, Adam and
Bohannon, Philip and Jacobsen, Hans-Arno and Puz, Nick and
Weaver, Daniel and Yerneni, Ramana},
title = {PNUTS: Yahoo!'s Hosted Data Serving Platform},
journal = {Proc. VLDB Endow.},
issue_date = {August 2008},
volume = {1},
number = {2},
month = aug,
year = {2008},
pages = {1277--1288},
url = {http://dx.doi.org/10.14778/1454159.1454167},
doi = {10.14778/1454159.1454167},
publisher = {VLDB Endowment},
}
@inproceedings{Cooper10,
author = {Cooper, Brian F. and Silberstein, Adam and Tam,
Erwin and Ramakrishnan, Raghu and Sears, Russell},
title = {Benchmarking Cloud Serving Systems with YCSB},
booktitle = {Proceedings of the 1st ACM Symposium on Cloud Computing},
series = {SoCC '10},
year = {2010},
isbn = {978-1-4503-0036-0},
location = {Indianapolis, Indiana, USA},
pages = {143--154},
numpages = {12},
url = {http://doi.acm.org/10.1145/1807128.1807152},
doi = {10.1145/1807128.1807152},
acmid = {1807152},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {benchmarking, cloud serving database},
}
@inproceedings{Corbett12,
author = {Corbett, James C. and Dean, Jeffrey and Epstein, Michael and
Fikes, Andrew and Frost, Christopher and Furman, J. J. and
Ghemawat, Sanjay and Gubarev, Andrey and Heiser, Christopher and
Hochschild, Peter and Hsieh, Wilson and Kanthak, Sebastian and
Kogan, Eugene and Li, Hongyi and Lloyd, Alexander and
Melnik, Sergey and Mwaura, David and Nagle, David and
Quinlan, Sean and Rao, Rajesh and Rolig, Lindsay and
Saito, Yasushi and Szymaniak, Michal and Taylor, Christopher and
Wang, Ruth and Woodford, Dale},
title = {Spanner: {Google's} globally-distributed database},
booktitle = {Proc. OSDI'12, USENIX Symposium on
Operating Systems Design and Implementation},
year = {2012},
pages = {251--264},
url = {http://dl.acm.org/citation.cfm?id=2387880.2387905},
publisher = {USENIX},
}
@inproceedings{Crooks17,
author = {Crooks, Natacha and Pu, Youer and Alvisi, Lorenzo and Clement, Allen},
title = {Seeing is Believing: A Client-Centric Specification of Database Isolation},
year = {2017},
isbn = {9781450349925},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3087801.3087802},
doi = {10.1145/3087801.3087802},
booktitle = {Proceedings of the ACM Symposium on Principles of Distributed Computing},
pages = {73–82},
numpages = {10},
keywords = {cloud storage, distributed storage, isolation, concurrency control, distributed systems, weak consistency, acid, consistency, database, serializability, eventual consistency, transactions},
location = {Washington, DC, USA},
series = {PODC'17}
}
@inproceedings{Dang19,
author = {Dang, Hung and Dinh, Tien Tuan Anh and Loghin, Dumitrel and Chang, Ee-Chien and Lin, Qian and Ooi, Beng Chin},
title = {Towards Scaling Blockchain Systems via Sharding},
year = {2019},
isbn = {9781450356435},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3299869.3319889},
doi = {10.1145/3299869.3319889},
booktitle = {Proceedings of the 2019 International Conference on Management of Data},
pages = {123–140},
numpages = {18},
keywords = {blockchain, sharding, distributed transactions},
location = {Amsterdam, Netherlands},
series = {SIGMOD'19}
}
@article{1Davidson85,
author = {Davidson, Susan B. and Garcia-Molina, Hector and Skeen, Dale},
title = {Consistency in a Partitioned Network: A Survey},
year = {1985},
issue_date = {Sept. 1985},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {17},
number = {3},
issn = {0360-0300},
url = {https://doi.org/10.1145/5505.5508},
doi = {10.1145/5505.5508},
journal = {ACM Comput. Surv.},
month = sep,
pages = {341–370},
numpages = {30}
}
@inproceedings{Davis20cav,
author = {Jennifer A. Davis and
Laura R. Humphrey and
Derek B. Kingston},
editor = {Isil Dillig and
Serdar Tasiran},
title = {When Human Intuition Fails: Using Formal Methods to Find an Error
in the "Proof" of a Multi-agent Protocol},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {366--375},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_20},
doi = {10.1007/978-3-030-25540-4\_20},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
}
@article{Davis20vldb,
author = {Davis, A. Jesse Jiryu and Hirschhorn, Max and Schvimer, Judah},
title = {Extreme Modelling in Practice},
journal = {Proc. VLDB Endow.},
year = {2020},
issue_date = {May 2020},
publisher = {VLDB Endowment},
volume = {13},
number = {9},
pages = {1346-1358},
issn = {2150-8097},
url = {https://doi.org/10.14778/3397230.3397233},
doi = {10.14778/3397230.3397233},
month = {May},
numpages = {13}
}
@inproceedings{DeCandia07,
author = {DeCandia, Giuseppe and Hastorun, Deniz and
Jampani, Madan and Kakulapati, Gunavardhan and
Lakshman, Avinash and Pilchin, Alex and
Sivasubramanian, Swaminathan and Vosshall, Peter and
Vogels, Werner},
title = {Dynamo: Amazon's Highly Available Key-value Store},
booktitle = {Proceedings of Twenty-first ACM SIGOPS Symposium
on Operating Systems Principles},
series = {SOSP '07},
year = {2007},
pages = {205--220},
url = {http://doi.acm.org/10.1145/1294261.1294281},
doi = {10.1145/1294261.1294281},
publisher = {ACM},
}
@inproceedings{Distler15,
author = {Distler, Tobias and Bahn, Christopher and
Bessani, Alysson and Fischer, Frank and Junqueira, Flavio},
title = {Extensible Distributed Coordination},
booktitle = {Proceedings of the Tenth European Conference on Computer Systems},
series = {EuroSys '15},
year = {2015},
isbn = {978-1-4503-3238-5},
location = {Bordeaux, France},
pages = {10:1--10:16},
articleno = {10},
numpages = {16},
url = { http://doi.acm.org/10.1145/2741948.2741954 },
doi = {10.1145/2741948.2741954},
acmid = {2741954},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {DepSpace, ZooKeeper, coordination services,
distributed algorithms, extensibility},
}
@inproceedings{Do13,
author = {Do, Thanh and Hao, Mingzhe and Leesatapornwongsa, Tanakorn
and Patana-anake, Tiratat and Gunawi, Haryadi S.},
title = {Limplock: Understanding the Impact of Limpware on Scale-out Cloud Systems},
booktitle = {Proceedings of the 4th Annual Symposium on Cloud Computing},
series = {SOCC '13},
year = {2013},
isbn = {978-1-4503-2428-1},
location = {Santa Clara, California},
pages = {14:1--14:14},
articleno = {14},
numpages = {14},
url = {http://doi.acm.org/10.1145/2523616.2523627},
doi = {10.1145/2523616.2523627},
acmid = {2523627},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Dolev87,
author = {Dolev, Danny and Dwork, Cynthia and Stockmeyer, Larry},
title = {On the Minimal Synchronism Needed for Distributed Consensus},
journal = {J. ACM},
issue_date = {Jan. 1987},
volume = {34},
number = {1},
month = jan,
year = {1987},
issn = {0004-5411},
pages = {77--97},
numpages = {21},
url = {http://doi.acm.org/10.1145/7531.7533},
doi = {10.1145/7531.7533},
acmid = {7533},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Dragoi16,
author = {Dr\u{a}goi, Cezara and Henzinger, Thomas A. and Zufferey, Damien},
title = {PSync: A Partially Synchronous Language for Fault-tolerant
Distributed Algorithms},
booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages},
series = {POPL '16},
year = {2016},
isbn = {978-1-4503-3549-2},
location = {St. Petersburg, FL, USA},
pages = {400--415},
numpages = {16},
url = {http://doi.acm.org/10.1145/2837614.2837650},
doi = {10.1145/2837614.2837650},
acmid = {2837650},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Automated verification, Consensus, Fault-tolerant
distributed algorithms, Partial synchrony, Round model},
}
@inproceedings{Du14,
author = {Du, Jiaqing and Iorgulescu, C\u{a}lin and Roy, Amitabha and Zwaenepoel, Willy},
title = {GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks},
year = {2014},
isbn = {9781450332521},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2670979.2670983},
doi = {10.1145/2670979.2670983},
booktitle = {Proceedings of the ACM Symposium on Cloud Computing},
pages = {1–13},
numpages = {13},
keywords = {Geo-replication, Distributed Consistency, Key Value Stores, Causal Consistency},
location = {Seattle, WA, USA},
series = {SOCC'14}
}
@article{Dutta10,
author = {Dutta, Partha and Guerraoui, Rachid and Levy, Ron R. and Vukoli\'{c}, Marko},
title = {Fast Access to Distributed Atomic Memory},
journal = {SIAM J. Comput.},
issue_date = {August 2010},
volume = {39},
number = {8},
month = dec,
year = {2010},
issn = {0097-5397},
pages = {3752--3783},
numpages = {32},
url = {http://dx.doi.org/10.1137/090757010},
doi = {10.1137/090757010},
acmid = {2078530},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
keywords = {Byzantine failures, atomic registers, distributed algorithms, fault-tolerance, shared-memory emulations, time-complexity},
}
@InProceedings{Emmi18,
author="Emmi, Michael and Enea, Constantin",
editor="Chockler, Hana and Weissenbacher, Georg",
title="Monitoring Weak Consistency",
booktitle="Computer Aided Verification",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="487--506",
isbn="978-3-319-96145-3"
}
@article{Emmi19,
author = {Emmi, Michael and Enea, Constantin},
title = {Weak-consistency Specification via Visibility Relaxation},
journal = {Proc. ACM Program. Lang.},
issue_date = {January 2019},
volume = {3},
number = {POPL},
month = jan,
year = {2019},
issn = {2475-1421},
pages = {60:1--60:28},
articleno = {60},
numpages = {28},
url = {http://doi.acm.org/10.1145/3290373},
doi = {10.1145/3290373},
acmid = {3290373},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {concurrency, specification, weak-consistency},
}
@InProceedings{Englert09,
author="Englert, Burkhard
and Georgiou, Chryssis
and Musial, Peter M.
and Nicolaou, Nicolas
and Shvartsman, Alexander A.",
editor="Abdelzaher, Tarek
and Raynal, Michel
and Santoro, Nicola",
title="On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory",
booktitle="Principles of Distributed Systems",
year="2009",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="240--254",
}
@inproceedings{Esteves21,
author = {Esteves, T\^{a}nia and Neves, Francisco and Oliveira, Rui and Paulo, Jo\~{a}o},
title = {CAT: Content-Aware Tracing and Analysis for Distributed Systems},
year = {2021},
isbn = {9781450385343},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3464298.3493396},
doi = {10.1145/3464298.3493396},
booktitle = {Proceedings of the 22nd International Middleware Conference},
pages = {223-235},
numpages = {13},
keywords = {content-aware analysis, distributed systems, tracing, black-box},
location = {Qu\'{e}bec city, Canada},
series = {Middleware'21}
}
@article{Fan15,
author = {Fan, Hua and Ramaraju, Aditya and McKenzie, Marlon and
Golab, Wojciech and Wong, Bernard},
title = {Understanding the Causes of Consistency Anomalies in Apache Cassandra},
journal = {Proc. VLDB Endow.},
issue_date = {February 2015},
volume = {8},
number = {7},
month = feb,
year = {2015},
issn = {2150-8097},
pages = {810--813},
numpages = {4},
url = {http://dx.doi.org/10.14778/2752939.2752949},
doi = {10.14778/2752939.2752949},
acmid = {2752949},
publisher = {VLDB Endowment},
}
@inproceedings{Feldman10,
author = {Feldman, Ariel J. and Zeller, William P. and
Freedman, Michael J. and Felten, Edward W.},
title = {SPORC: Group Collaboration Using Untrusted Cloud Resources},
booktitle = {Proceedings of the 9th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'10},
year = {2010},
location = {Vancouver, BC, Canada},
pages = {337--350},
numpages = {14},
url = {http://dl.acm.org/citation.cfm?id=1924943.1924967},
acmid = {1924967},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@Article{Fich2003,
author="Fich, Faith and Ruppert, Eric",
title="Hundreds of impossibility results for distributed computing",
journal="Distributed Computing",
year="2003",
month="Sep",
day="01",
volume="16",
number="2",
pages="121--163",
issn="1432-0452",
doi="10.1007/s00446-003-0091-y",
url="https://doi.org/10.1007/s00446-003-0091-y"
}
@article{Fischer85,
author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.},
title = {Impossibility of Distributed Consensus with One Faulty Process},
journal = {J. ACM},
issue_date = {April 1985},
volume = {32},
number = {2},
month = apr,
year = {1985},
issn = {0004-5411},
pages = {374--382},
numpages = {9},
url = {http://doi.acm.org/10.1145/3149.214121 },
doi = {10.1145/3149.214121},
acmid = {214121},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Flanagan09,
author = {Flanagan, Cormac and Freund, Stephen N.},
title = {FastTrack: Efficient and Precise Dynamic Race Detection},
year = {2009},
isbn = {9781605583921},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1542476.1542490},
doi = {10.1145/1542476.1542490},
booktitle = {Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {121-133},
numpages = {13},
keywords = {race conditions, concurrency, dynamic analysis},
location = {Dublin, Ireland},
series = {PLDI'09}
}
@article{Freiling11,
author = {Freiling, Felix C. and Guerraoui, Rachid and Kuznetsov, Petr},
title = {The Failure Detector Abstraction},
year = {2011},
issue_date = {January 2011},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {43},
number = {2},
issn = {0360-0300},
url = {https://doi.org/10.1145/1883612.1883616},
doi = {10.1145/1883612.1883616},
journal = {ACM Comput. Surv.},
month = feb,
articleno = {9},
numpages = {40},
keywords = {atomic commit, liveness, synchrony, safety, agreement problem, fault tolerance, message passing, consensus, Distributed system}
}
@Article{Gafni03,
author="Gafni, Eli
and Lamport, Leslie",
title="Disk Paxos",
journal="Distributed Computing",
year="2003",
month="Feb",
day="01",
volume="16",
number="1",
pages="1--20",
issn="1432-0452",
doi="10.1007/s00446-002-0070-8",
url="https://doi.org/10.1007/s00446-002-0070-8"
}
@article{Garey78,
author = {Garey, M. and Graham, R. and Johnson, D. and Knuth, D.},
title = {Complexity Results for Bandwidth Minimization},
journal = {SIAM Journal on Applied Mathematics},
volume = {34},
number = {3},
pages = {477-495},
year = {1978},
doi = {10.1137/0134037},
URL = {https://doi.org/10.1137/0134037},
eprint = {https://doi.org/10.1137/0134037}
}
@inproceedings{Garlan10,
author = {Garlan, David},
title = {Software Engineering in an Uncertain World},
year = {2010},
isbn = {9781450304276},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1882362.1882389},
doi = {10.1145/1882362.1882389},
booktitle = {Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research},
pages = {125-128},
numpages = {4},
keywords = {software design, software engineering, uncertainty, software architecture},
location = {Santa Fe, New Mexico, USA},
series = {FoSER '10}
}
@article{Gelernter85,
author = {Gelernter, David},
title = {Generative Communication in Linda},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {Jan. 1985},
volume = {7},
number = {1},
month = jan,
year = {1985},
issn = {0164-0925},
pages = {80--112},
numpages = {33},
url = {http://doi.acm.org/10.1145/2363.2433},
doi = {10.1145/2363.2433},
acmid = {2433},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Geng18,
author = {Yilong Geng and
Shiyu Liu and
Zi Yin and
Ashish Naik and
Balaji Prabhakar and
Mendel Rosenblum and
Amin Vahdat},
title = {Exploiting a Natural Network Effect for
Scalable, Fine-grained Clock
Synchronization},
booktitle = {15th {USENIX} Symposium on Networked Systems
Design and Implementation, {NSDI} 2018,
Renton, WA, USA, April 9-11, 2018},
pages = {81--94},
year = {2018},
crossref = {DBLP:conf/nsdi/2018},
url = {https://www.usenix.org/conference/nsdi18/presentation/geng},
}
@article{Georgiou09,
title = "Fault-tolerant semifast implementations of atomic read/write registers",
journal = "Journal of Parallel and Distributed Computing",
volume = "69",
number = "1",
pages = "62 - 79",
year = "2009",
issn = "0743-7315",
doi = "https://doi.org/10.1016/j.jpdc.2008.05.004",
url = "http://www.sciencedirect.com/science/article/pii/S0743731508001007",
author = "Chryssis Georgiou and Nicolas C. Nicolaou and Alexander A. Shvartsman",
}
@article{Gibbons97,
author = {Gibbons, Phillip B. and Korach, Ephraim},
title = {Testing Shared Memories},
journal = {SIAM J. Comput.},
issue_date = {Aug. 1997},
volume = {26},
number = {4},
month = aug,
year = {1997},
issn = {0097-5397},
pages = {1208--1244},
numpages = {37},
url = {http://dx.doi.org/10.1137/S0097539794279614},
doi = {10.1137/S0097539794279614},
acmid = {262561},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
keywords = {NP-completeness, linearizability, multiprocessors,
sequential consistency, shared memory, testing},
}
@inproceedings{Gill11,
author = {Gill, Phillipa and Jain, Navendu and Nagappan, Nachiappan},
title = {Understanding Network Failures in Data Centers: Measurement, Analysis, and Implications},
year = {2011},
isbn = {9781450307970},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2018436.2018477},
doi = {10.1145/2018436.2018477},
booktitle = {Proceedings of the ACM SIGCOMM 2011 Conference},
pages = {350–361},
numpages = {12},
keywords = {network reliability, data centers},
location = {Toronto, Ontario, Canada},
series = {SIGCOMM '11}
}
@article{Gilbert12,
author = {Seth Gilbert and Nancy A. Lynch},
title = {Perspectives on the CAP Theorem},
journal ={Computer},
volume = {45},
number = {2},
year = {2012},
pages = {30-36},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2011.389},
publisher = {IEEE Computer Society},
}
@inproceedings{Golab11,
author = {Golab, Wojciech and Li, Xiaozhou and Shah, Mehul A.},
title = {Analyzing consistency properties for fun and profit},
booktitle = {Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium
on Principles of distributed computing},
series = {PODC '11},
year = {2011},
pages = {197--206},
url = {http://doi.acm.org/10.1145/1993806.1993834 },
publisher = {ACM},
}
@inproceedings{Golab13,
author = {Golab, Wojciech and Hurwitz, Jeremy and Li, Xiaozhou (Steve)},
title = {On the k-Atomicity-Verification Problem},
booktitle = {Proceedings of the 2013 IEEE 33rd International
Conference on Distributed Computing Systems},
series = {ICDCS '13},
year = {2013},
isbn = {978-0-7695-5000-8},
pages = {591--600},
numpages = {10},
url = {http://dx.doi.org/10.1109/ICDCS.2013.45},
doi = {10.1109/ICDCS.2013.45},
acmid = {2549701},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{Golab14,
author = {Golab, Wojciech and Rahman, Muntasir Raihan and
Auyoung, Alvin and Keeton, Kimberly and Gupta, Indranil},
title = {Client-Centric Benchmarking of Eventual Consistency for
Cloud Storage Systems},
booktitle = {Proc. ICDCS},
year = {2014},
pages = {493--502},
}
@article{Golab18,
author = {Golab, W. and SteveLi, X. and Lopez-Ortiz, A. and Nishimura, N.},
title = {Computing $k$-Atomicity in Polynomial Time},
journal = {SIAM Journal on Computing},
volume = {47},
number = {2},
pages = {420-455},
year = {2018},
doi = {10.1137/16M1056389},
URL = {https://doi.org/10.1137/16M1056389},
eprint = {https://doi.org/10.1137/16M1056389}
}
@article{Gomes17,
author = {Gomes, Victor B. F. and Kleppmann, Martin and Mulligan, Dominic P. and Beresford, Alastair R.},
title = {Verifying Strong Eventual Consistency in Distributed Systems},
year = {2017},
issue_date = {October 2017},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {1},
number = {OOPSLA},
url = {https://doi.org/10.1145/3133933},
doi = {10.1145/3133933},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {109},
numpages = {28},
keywords = {replication, CRDTs, distributed systems, verification, convergence, strong eventual consistency, automated theorem proving}
}
@inproceedings{Gong23,
author = {Gong, Sishuai and Peng, Dinglan and Alt\i{}nb\"{u}ken, Deniz and Fonseca, Pedro and Maniatis, Petros},
title = {Snowcat: Efficient Kernel Concurrency Testing Using a Learned Coverage Predictor},
year = {2023},
isbn = {9798400702297},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3600006.3613148},
doi = {10.1145/3600006.3613148},
booktitle = {Proceedings of the 29th Symposium on Operating Systems Principles},
pages = {35-51},
numpages = {17},
keywords = {operating systems security, kernel concurrency bugs, software testing and debugging, concurrency programming},
location = {Koblenz, Germany},
series = {SOSP'23}
}
@inproceedings{Gotsman16,
author = {Gotsman, Alexey and Yang, Hongseok and Ferreira, Carla and
Najafzadeh, Mahsa and Shapiro, Marc},
title = {'Cause I'M Strong Enough: Reasoning About Consistency Choices
in Distributed Systems},
booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages},
series = {POPL '16},
year = {2016},
isbn = {978-1-4503-3549-2},
location = {St. Petersburg, FL, USA},
pages = {371--384},
numpages = {14},
url = {http://doi.acm.org/10.1145/2837614.2837625},
doi = {10.1145/2837614.2837625},
acmid = {2837625},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Replication, causal consistency, integrity invariants},
}
@article{Gray06,
author = {Gray, Jim and Lamport, Leslie},
title = {Consensus on Transaction Commit},
year = {2006},
issue_date = {March 2006},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {31},
number = {1},
issn = {0362-5915},
url = {https://doi.org/10.1145/1132863.1132867},
doi = {10.1145/1132863.1132867},
journal = {ACM Trans. Database Syst.},
month = mar,
pages = {133–160},
numpages = {28},
keywords = {Consensus, two-phase commit, Paxos}
}
@inproceedings{Guerraoui11,
author = {Guerraoui, Rachid and Yabandeh, Maysam},
title = {Model Checking a Networked System without the Network},
year = {2011},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation},
pages = {225-238},
numpages = {14},
location = {Boston, MA},
series = {NSDI'11}
}
@inproceedings{Gunawi11,
author = {Gunawi, Haryadi S. and Do, Thanh and Joshi, Pallavi and Alvaro, Peter and Hellerstein, Joseph M. and Arpaci-Dusseau, Andrea C. and Arpaci-Dusseau, Remzi H. and Sen, Koushik and Borthakur, Dhruba},
title = {FATE and DESTINI: A Framework for Cloud Recovery Testing},
year = {2011},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation},
pages = {238-252},
numpages = {15},
location = {Boston, MA},
series = {NSDI'11}
}
@inproceedings {Gunawi18,
author = {Haryadi S. Gunawi and Riza O. Suminto and Russell Sears and
Casey Golliher and Swaminathan Sundararaman and Xing Lin and
Tim Emami and Weiguang Sheng and Nematollah Bidokhti and
Caitie McCaffrey and Gary Grider and Parks M. Fields and
Kevin Harms and Robert B. Ross and Andree Jacobson and
Robert Ricci and Kirk Webb and Peter Alvaro and H. Birali Runesha and
Mingzhe Hao and Huaicheng Li},
title = {Fail-Slow at Scale: Evidence of Hardware Performance Faults
in Large Production Systems},
booktitle = {16th {USENIX} Conference on File and Storage Technologies ({FAST} 18)},
year = {2018},
isbn = {978-1-931971-42-3},
address = {Oakland, CA},
pages = {1--14},
url = {https://www.usenix.org/conference/fast18/presentation/gunawi},
publisher = {{USENIX} Association},
}
@inproceedings{Guo11,
author = {Guo, Huayang and Wu, Ming and Zhou, Lidong and Hu, Gang and
Yang, Junfeng and Zhang, Lintao},
title = {Practical Software Model Checking via Dynamic Interface Reduction},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on
Operating Systems Principles},
series = {SOSP '11},
year = {2011},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {265--278},
numpages = {14},
url = {http://doi.acm.org/10.1145/2043556.2043582},
doi = {10.1145/2043556.2043582},
acmid = {2043582},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {dynamic interface reduction, software model checking,
state space reduction},
}
@inproceedings{Hadjistasi16,
author = {Hadjistasi, Theophanis and Nicolaou, Nicolas and Schwarzmann, Alexander A.},
title = {Brief Announcement: Oh-RAM! One and a Half Round Read/Write Atomic Memory},
year = {2016},
isbn = {9781450339643},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2933057.2933073},
doi = {10.1145/2933057.2933073},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing},
pages = {353-355},
numpages = {3},
keywords = {message-passing, read/write objects, latency, fault-tolerance, atomicity},
location = {Chicago, Illinois, USA},
series = {PODC '16}
}
@article{Haldar07,
author = {Haldar, Sibsankar and Vidyasankar, K.},
title = {On Specification of Read/Write Shared Variables},
year = {2007},
issue_date = {December 2007},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {54},
number = {6},
issn = {0004-5411},
url = {https://doi.org/10.1145/1314690.1314695},
doi = {10.1145/1314690.1314695},
journal = {J. ACM},
month = dec,
pages = {31–es},
numpages = {19},
keywords = {axiom, partial order, multiprocessor, nonatomic operation execution, framework, linear extension, linearization, defining condition, defining relation, system execution, illegality, causality, consistency, shared variable, Atomicity}
}
@inproceedings {Hance21,
author = {Travis Hance and Marijn Heule and Ruben Martins and Bryan Parno},
title = {Finding Invariants of Distributed Systems: It{\textquoteright}s a Small (Enough) World After All},
booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
year = {2021},
isbn = {978-1-939133-21-2},
pages = {115--131},
url = {https://www.usenix.org/conference/nsdi21/presentation/hance},
publisher = {USENIX Association},
month = apr,
}
@inproceedings{Hawblitzel15,
author = {Hawblitzel, Chris and Howell, Jon and Kapritsos, Manos and
Lorch, Jacob R. and Parno, Bryan and Roberts, Michael L. and
Setty, Srinath and Zill, Brian},
title = {IronFleet: Proving Practical Distributed Systems Correct},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
series = {SOSP '15},
year = {2015},
isbn = {978-1-4503-3834-9},
location = {Monterey, California},
pages = {1--17},
numpages = {17},
url = {http://doi.acm.org/10.1145/2815400.2815428},
doi = {10.1145/2815400.2815428},
acmid = {2815428},
publisher = {ACM},
address = {New York, NY, USA},
}
@techreport{Heimerdinger92,
title={A Conceptual Framework for System Fault Tolerance},
author={Walter Heimerdinger and Charles Weinstock},
year={1992},
number={CMU/SEI-92-TR-033},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11747} }
@article{Helland16,
author = {Helland, Pat},
title = {Standing on Distributed Shoulders of Giants},
journal = {Commun. ACM},
issue_date = {June 2016},
volume = {59},
number = {6},
month = may,
year = {2016},
issn = {0001-0782},
pages = {58--61},
numpages = {4},
url = {http://doi.acm.org/10.1145/2909466 },
doi = {10.1145/2909466},
acmid = {2909466},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Hellerstein07,
author = {Hellerstein, Joseph M. and Stonebraker, Michael and Hamilton, James},
title = {Architecture of a Database System},
year = {2007},
issue_date = {February 2007},
publisher = {Now Publishers Inc.},
address = {Hanover, MA, USA},
volume = {1},
number = {2},
issn = {1931-7883},
url = {https://doi.org/10.1561/1900000002},
doi = {10.1561/1900000002},
journal = {Found. Trends Databases},
month = {feb},
pages = {141-259},
numpages = {119}
}
@inproceedings{Helt21,
author = {Helt, Jeffrey and Burke, Matthew and Levy, Amit and Lloyd, Wyatt},
title = {Regular Sequential Serializability and Regular Sequential Consistency},
year = {2021},
isbn = {9781450387095},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3477132.3483566},
doi = {10.1145/3477132.3483566},
booktitle = {Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles},
pages = {163-179},
numpages = {17},
keywords = {databases, consistency, distributed systems},
location = {Virtual Event, Germany},
series = {SOSP'21}
}
@article{Herlihy90,
author = {Herlihy, Maurice P. and Wing, Jeannette M.},
title = {Linearizability: a correctness condition for concurrent objects},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {12},
issue = {3},
month = {July},
year = {1990},
pages = {463--492},
url = {http://doi.acm.org/10.1145/78969.78972},
publisher = {ACM},
}
@article{Herlihy91,
author = {Herlihy, Maurice},
title = {Wait-free Synchronization},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {Jan. 1991},
volume = {13},
number = {1},
month = jan,
year = {1991},
issn = {0164-0925},
pages = {124--149},
numpages = {26},
url = {http://doi.acm.org/10.1145/114005.102808},
publisher = {ACM},
}
@inproceedings{Herlihy11,
author = {Herlihy, Maurice and Shavit, Nir},
title = {On the Nature of Progress},
booktitle = {Proceedings of the 15th International Conference on Principles of Distributed Systems},
series = {OPODIS'11},
year = {2011},
isbn = {978-3-642-25872-5},
location = {Toulouse, France},
pages = {313--328},
numpages = {16},
url = {http://dx.doi.org/10.1007/978-3-642-25873-2_22 },
}
@inproceedings{Howard03,
booktitle = {UK Software Testing Research II (03/09/03)},
title = {Model-Based Trace-Checking},
author = {Yvonne Howard and Stefan Gruner and Andrew M Gravell and Carla Ferreira and Juan-Carlos Augusto},
year = {2003},
note = {Event Dates: 4/9/2003},
url = {https://eprints.soton.ac.uk/259101/},
}
@InProceedings{Howard17,
author = {Heidi Howard and Dahlia Malkhi and Alexander Spiegelman},
title = {{Flexible Paxos: Quorum Intersection Revisited}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {25:1--25:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Panagiota Fatourou and Ernesto Jim{\'e}nez and Fernando Pedone},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7094},
URN = {urn:nbn:de:0030-drops-70947},
doi = {10.4230/LIPIcs.OPODIS.2016.25},
annote = {Keywords: Paxos, Distributed Consensus, Quorums}
}
@inproceedings{Hsiao14,
author = {Hsiao, Chun-Hung and Yu, Jie and Narayanasamy, Satish and Kong, Ziyun and Pereira, Cristiano L. and Pokam, Gilles A. and Chen, Peter M. and Flinn, Jason},
title = {Race Detection for Event-Driven Mobile Applications},
year = {2014},
isbn = {9781450327848},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2594291.2594330},
doi = {10.1145/2594291.2594330},
booktitle = {Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {326-336},
numpages = {11},
keywords = {event-driven, race detection, use-free race, mobile application, Android, causality model, concurrency},
location = {Edinburgh, United Kingdom},
series = {PLDI'14}
}
@article{Huang10,
author = {Huang, Yu and Cao, Jiannong and Jin, Beihong and Tao, Xianping and Lu, Jian and Feng, Yulin},
title = {Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks},
year = {2010},
issue_date = {August 2010},
publisher = {IEEE Press},
volume = {21},
number = {8},
issn = {1045-9219},
url = {https://doi.org/10.1109/TPDS.2009.168},
doi = {10.1109/TPDS.2009.168},
journal = {IEEE Trans. Parallel Distrib. Syst.},
month = aug,
pages = {1150-1161},
numpages = {12},
keywords = {wireless ad hoc network., Data dissemination and sharing, cache consistency, Data dissemination and sharing, cache consistency, wireless ad hoc network.}
}
@inproceedings{Huang17,
author = {Huang, Peng and Guo, Chuanxiong and Zhou, Lidong and
Lorch, Jacob R. and Dang, Yingnong and Chintalapati, Murali and Yao, Randolph},
title = {Gray Failure: The Achilles' Heel of Cloud-Scale Systems},
booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems},
series = {HotOS '17},
year = {2017},
isbn = {978-1-4503-5068-6},
location = {Whistler, BC, Canada},
pages = {150--155},
numpages = {6},
url = {http://doi.acm.org/10.1145/3102980.3103005},
doi = {10.1145/3102980.3103005},
acmid = {3103005},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Huang18,
author = {Huang, Peng and Guo, Chuanxiong and Lorch, Jacob R. and
Zhou, Lidong and Dang, Yingnong},
title = {Capturing and Enhancing in Situ System Observability
for Failure Detection},
booktitle = {Proceedings of the 12th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'18},
year = {2018},
isbn = {978-1-931971-47-8},
location = {Carlsbad, CA, USA},
pages = {1--16},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=3291168.3291170},
acmid = {3291170},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Huang20,
author = {Huang, Kaile and Huang, Yu and Wei, Hengfeng},
title = {Fine-Grained Analysis on Fast Implementations of Distributed Multi-Writer Atomic Registers},
year = {2020},
isbn = {9781450375825},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3382734.3405698},
doi = {10.1145/3382734.3405698},
booktitle = {Proceedings of the 39th Symposium on Principles of Distributed Computing},
pages = {200–209},
numpages = {10},
keywords = {fast implementation, impossibility result, atomicity, chain argument},
location = {Virtual Event, Italy},
series = {PODC'20}
}
@inproceedings{Hunt10,
author = {Hunt, Patrick and Konar, Mahadev and Junqueira, Flavio P. and
Reed, Benjamin},
title = {{ZooKeeper}: wait-free coordination for Internet-scale systems},
booktitle = {Proc. ATC'10, USENIX Annual Technical Conference},
year = {2010},
location = {Boston, MA},
pages = {145--158},
url = {http://portal.acm.org/citation.cfm?id=1855840.1855851},
publisher = {USENIX},
}
@book{Huth04,
author = {Huth, Michael and Ryan, Mark},
title = {Logic in Computer Science: Modelling and Reasoning about Systems},
year = {2004},
isbn = {052154310X},
publisher = {Cambridge University Press},
address = {USA}
}
@book{Jackson12,
author = {Jackson, Daniel},
title = {Software Abstractions: Logic, Language, and Analysis},
year = {2012},
isbn = {0262017156},
publisher = {The MIT Press},
}
@InProceedings{Jagadeesan14,
author="Jagadeesan, Radha
and Riely, James",
editor="Esparza, Javier
and Fraigniaud, Pierre
and Husfeldt, Thore
and Koutsoupias, Elias",
title="Between Linearizability and Quiescent Consistency",
booktitle="Automata, Languages, and Programming",
year="2014",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="220--231",
isbn="978-3-662-43951-7"
}
@article{Jhala09,
author = {Jhala, Ranjit and Majumdar, Rupak},
title = {Software Model Checking},
year = {2009},
issue_date = {October 2009},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {41},
number = {4},
issn = {0360-0300},
url = {https://doi.org/10.1145/1592434.1592438},
doi = {10.1145/1592434.1592438},
abstract = {We survey recent progress in software model checking.},
journal = {ACM Comput. Surv.},
month = oct,
articleno = {21},
numpages = {54},
keywords = {liveness, Software model checking, enumerative and symbolic model checking, counterexample-guided refinement, abstraction, safety}
}
@InProceedings{Jain15,
author="Jain, Mitesh
and Manolios, Panagiotis",
editor="Kroening, Daniel
and P{\u{a}}s{\u{a}}reanu, Corina S.",
title="Skipping Refinement",
booktitle="Computer Aided Verification",
year="2015",
publisher="Springer International Publishing",
address="Cham",
pages="103--119",
isbn="978-3-319-21690-4"
}
@inproceedings{Junqueira11,
author = {Junqueira, Flavio P. and Reed, Benjamin C. and Serafini, Marco},
title = {Zab: high-performance broadcast for primary-backup systems},
booktitle = {Proc. DSN'11, IEEE/IFIP Conference on
Dependable Systems and Networks},
year = {2011},
pages = {245--256},
url = {http://dx.doi.org/10.1109/DSN.2011.5958223},
publisher = {IEEE},
}
@inproceedings{Jyothi16,
author = {Jyothi, Sangeetha Abdu and Curino, Carlo and
Menache, Ishai and Narayanamurthy, Shravan Matthur and
Tumanov, Alexey and Yaniv, Jonathan and Mavlyutov, Ruslan and
Goiri, \'{I}\~{n}igo and Krishnan, Subru and
Kulkarni, Janardhan and Rao, Sriram},
title = {Morpheus: Towards Automated SLOs for Enterprise Clusters},
booktitle = {Proceedings of the 12th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'16},
year = {2016},
isbn = {978-1-931971-33-1},
location = {Savannah, GA, USA},
pages = {117--134},
numpages = {18},
url = {http://dl.acm.org/citation.cfm?id=3026877.3026887},
acmid = {3026887},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Kaldor17,
author = {Kaldor, Jonathan and Mace, Jonathan and Bejda, Micha\l and
Gao, Edison and Kuropatwa, Wiktor and O'Neill, Joe and
Ong, Kian Win and Schaller, Bill and Shan, Pingjia and
Viscomi, Brendan and Venkataraman, Vinod and
Veeraraghavan, Kaushik and Song, Yee Jiun},
title = {Canopy: An End-to-End Performance Tracing And Analysis System},
booktitle = {Proceedings of the 26th Symposium on
Operating Systems Principles},
series = {SOSP '17},
year = {2017},
isbn = {978-1-4503-5085-3},
location = {Shanghai, China},
pages = {34--50},
numpages = {17},
url = {http://doi.acm.org/10.1145/3132747.3132749},
doi = {10.1145/3132747.3132749},
acmid = {3132749},
publisher = {ACM},
address = {New York, NY, USA},
@inproceedings{Kejriwal16,
author = {Kejriwal, Ankita and Gopalan, Arjun and Gupta, Ashish and
Jia, Zhihao and Yang, Stephen and Ousterhout, John},
title = {SLIK: Scalable Low-latency Indexes for a Key-value Store},
booktitle = {Proceedings of the 2016 USENIX Conference on
Usenix Annual Technical Conference},
series = {USENIX ATC '16},
year = {2016},
isbn = {978-1-931971-30-0},
location = {Denver, CO, USA},
pages = {57--70},
numpages = {14},
url = {http://dl.acm.org/citation.cfm?id=3026959.3026966},
acmid = {3026966},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Killian07,
author = {Killian, Charles and Anderson, James W. and Jhala, Ranjit and Vahdat, Amin},
title = {Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code},
year = {2007},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 4th USENIX Conference on Networked Systems Design \& Implementation},
pages = {18},
numpages = {1},
location = {Cambridge, MA},
series = {NSDI'07}
}
@book{Knuth97a,
author = {Knuth, Donald E.},
title = {The Art of Computer Programming, Volume 1 (3rd Ed.): Fundamental
Algorithms},
year = {1997},
isbn = {0-201-89683-4},
publisher = {Addison Wesley Longman Publishing Co., Inc.},
address = {Redwood City, CA, USA},
}
@book{Knuth97b,
author = {Knuth, Donald E.},
title = {The Art of Computer Programming, Volume 2 (3rd Ed.):
Seminumerical Algorithms},
year = {1997},
isbn = {0-201-89684-2},
publisher = {Addison-Wesley Longman Publishing Co., Inc.},
address = {Boston, MA, USA},
}
@book{Knuth97c,
title={Stable marriage and its relation to other combinatorial problems: An introduction to the mathematical analysis of algorithms},
author={Knuth, Donald Ervin},
volume={10},
year={1997},
publisher={American Mathematical Soc.}
}
@book{Knuth98,
author = {Knuth, Donald E.},
title = {The Art of Computer Programming, Volume 3: (2nd Ed.)
Sorting and Searching},
year = {1998},
isbn = {0-201-89685-0},
publisher = {Addison Wesley Longman Publishing Co., Inc.},
address = {Redwood City, CA, USA},
}
@inproceedings{Korgaonkar19,
author = {Korgaonkar, Kunal and Izraelevitz, Joseph and Zhao, Jishen and Swanson, Steven},
title = {Vorpal: Vector Clock Ordering For Large Persistent Memory Systems},
booktitle = {Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing},
series = {PODC '19},
year = {2019},
isbn = {978-1-4503-6217-7},
location = {Toronto ON, Canada},
pages = {435--444},
numpages = {10},
url = {http://doi.acm.org/10.1145/3293611.3331598},
doi = {10.1145/3293611.3331598},
acmid = {3331598},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {clocks, computer architecture, distributed systems, non-volatile main memories, non-volatile memories, parallel architectures, persistent memories, scale-up architectures, storage architectures, vector clocks},
}
@inproceedings{Kraska13,
author = {Kraska, Tim and Pang, Gene and Franklin, Michael J. and Madden, Samuel and Fekete, Alan},
title = {MDCC: Multi-Data Center Consistency},
year = {2013},
isbn = {9781450319942},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2465351.2465363},
doi = {10.1145/2465351.2465363},
booktitle = {Proceedings of the 8th ACM European Conference on Computer Systems},
pages = {113-126},
numpages = {14},
location = {Prague, Czech Republic},
series = {EuroSys '13}
}
@InProceedings{Krishna20,
author="Krishna, Siddharth
and Emmi, Michael
and Enea, Constantin
and Jovanovi{\'{c}}, Dejan",
editor="M{\"u}ller, Peter",
title="Verifying Visibility-Based Weak Consistency",
booktitle="Programming Languages and Systems",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="280--307",
isbn="978-3-030-44914-8"
}
@article{Lakshman10,
author = {Lakshman, Avinash and Malik, Prashant},
title = {Cassandra: A Decentralized Structured Storage System},
journal = {SIGOPS Oper. Syst. Rev.},
issue_date = {April 2010},
volume = {44},
number = {2},
month = apr,
year = {2010},
pages = {35--40},
url = {http://doi.acm.org/10.1145/1773912.1773922},
doi = {10.1145/1773912.1773922},
publisher = {ACM},
}
@article{Lamport74,
author = {Lamport, Leslie},
title = {A New Solution of Dijkstra's Concurrent Programming Problem},
journal = {Commun. ACM},
issue_date = {Aug. 1974},
volume = {17},
number = {8},
month = aug,
year = {1974},
issn = {0001-0782},
pages = {453--455},
numpages = {3},
url = {http://doi.acm.org/10.1145/361082.361093},
publisher = {ACM},
}
@article{Lamport78,
author = {Leslie Lamport},
title = {Time, clocks, and the ordering of events in a distributed system},
journal = {Commun. ACM},
volume = {21},
number = {7},
year = {1978},
issn = {0001-0782},
pages = {558--565},
doi = {http://doi.acm.org/10.1145/359545.359563 },
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Lamport79,
author = {Lamport, L.},
title = {How to Make a Multiprocessor Computer That Correctly
Executes Multiprocess Programs},
journal = {IEEE Trans. Comput.},
issue_date = {September 1979},
volume = {28},
number = {9},
month = sep,
year = {1979},
issn = {0018-9340},
pages = {690--691},
numpages = {2},
url = {https://doi.org/10.1109/TC.1979.1675439},
doi = {10.1109/TC.1979.1675439},
acmid = {1311750},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@article{Lamport86a,
author={Lamport, Leslie},
title={On interprocess communication. Part I: Basic formalism},
journal={Distributed Computing},
volume={1},
number={2},
pages={77-85},
year={1986},
url={http://dx.doi.org/10.1007/BF01786227},
publisher={Springer-Verlag},
}
@article{Lamport86b,
author={Lamport, Leslie},
title={On interprocess communication. Part II: Algorithms},
journal={Distributed Computing},
volume={1},
number={2},
pages={86-101},
year={1986},
url={http://dx.doi.org/10.1007/BF01786228},
publisher={Springer-Verlag},
}
@Article{Lamport01,
author = {Lamport, Leslie},
title = {Paxos Made Simple},
year = {2001},
month = {December},
url = {https://www.microsoft.com/en-us/research/publication/paxos-made-simple/},
pages = {51-58},
journal = {ACM SIGACT News (Distributed Computing Column) 32, 4 (Whole Number 121, December 2001)},
}
@article{Lamport10,
author = {Lamport, Leslie and Malkhi, Dahlia and Zhou, Lidong},
title = {Reconfiguring a State Machine},
year = {2010},
issue_date = {March 2010},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {41},
number = {1},
issn = {0163-5700},
url = {https://doi.org/10.1145/1753171.1753191},
doi = {10.1145/1753171.1753191},
journal = {SIGACT News},
month = mar,
pages = {63–73},
numpages = {11}
}
@inproceedings{Lamport11,
author = {Lamport, Leslie},
title = {Byzantizing Paxos by Refinement},
year = {2011},
isbn = {9783642240997},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
booktitle = {Proceedings of the 25th International Conference on Distributed Computing},
pages = {211-224},
numpages = {14},
location = {Rome, Italy},
series = {DISC'11}
}
@inproceedings{Lampson01,
author = {Lampson, Butler},
title = {The ABCD's of Paxos},
booktitle = {Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing},
series = {PODC '01},
year = {2001},
isbn = {1-58113-383-9},
location = {Newport, Rhode Island, USA},
pages = {13--},
url = {http://doi.acm.org/10.1145/383962.383969},
doi = {10.1145/383962.383969},
acmid = {383969},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Laprie95,
author = {Laprie, Jean-Claude},
title = {Dependable Computing: Concepts, Limits, Challenges},
year = {1995},
isbn = {0818671467},
publisher = {IEEE Computer Society},
address = {USA},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Fault-Tolerant Computing},
pages = {42–54},
numpages = {13},
location = {Pasadena, California},
series = {FTCS'95}
}
@inproceedings{Lees14,
author = {Leesatapornwongsa, Tanakorn and Hao, Mingzhe and Joshi, Pallavi and Lukman, Jeffrey F. and Gunawi, Haryadi S.},
title = {SAMC: Semantic-aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems},
booktitle = {Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation},
series = {OSDI'14},
year = {2014},
isbn = {978-1-931971-16-4},
location = {Broomfield, CO},
pages = {399--414},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2685048.2685080},
acmid = {2685080},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Leners11,
author = {Leners, Joshua B. and Wu, Hao and Hung, Wei-Lun and
Aguilera, Marcos K. and Walfish, Michael},
title = {Detecting Failures in Distributed Systems with the Falcon Spy Network},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on
Operating Systems Principles},
series = {SOSP '11},
year = {2011},
isbn = {978-1-4503-0977-6},
location = {Cascais, Portugal},
pages = {279--294},
numpages = {16},
url = {http://doi.acm.org/10.1145/2043556.2043583},
doi = {10.1145/2043556.2043583},
acmid = {2043583},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {STONITH, failure detectors, high availability,
layer-specific monitors, layer-specific probes, reliable detection},
}
@inproceedings{Leners13,
author = {Leners, Joshua B. and Gupta, Trinabh and
Aguilera, Marcos K. and Walfish, Michael},
title = {Improving Availability in Distributed Systems with Failure Informers},
booktitle = {Proceedings of the 10th USENIX Conference on
Networked Systems Design and Implementation},
series = {nsdi'13},
year = {2013},
location = {Lombard, IL},
pages = {427--442},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2482626.2482667},
acmid = {2482667},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@article{Li89,
author = {Li, Kai and Hudak, Paul},
title = {Memory Coherence in Shared Virtual Memory Systems},
journal = {ACM Trans. Comput. Syst.},
issue_date = {Nov. 1989},
volume = {7},
number = {4},
month = nov,
year = {1989},
issn = {0734-2071},
pages = {321--359},
numpages = {39},
url = {http://doi.acm.org/10.1145/75104.75105},
doi = {10.1145/75104.75105},
acmid = {75105},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Li12,
author = {Li, Cheng and Porto, Daniel and Clement, Allen and
Gehrke, Johannes and Pregui\c{c}a, Nuno and Rodrigues, Rodrigo},
title = {Making Geo-replicated Systems Fast As Possible,
Consistent when Necessary},
booktitle = {Proceedings of the 10th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'12},
year = {2012},
isbn = {978-1-931971-96-6},
location = {Hollywood, CA, USA},
pages = {265--278},
numpages = {14},
url = {http://dl.acm.org/citation.cfm?id=2387880.2387906},
acmid = {2387906},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Li14,
author = {Li, Cheng and Leit\~{a}o, Jo\~{a}o and Clement, Allen and
Pregui\c{c}a, Nuno and Rodrigues, Rodrigo and Vafeiadis, Viktor},
title = {Automating the Choice of Consistency Levels in Replicated Systems},
booktitle = {Proceedings of the 2014 USENIX Conference on
USENIX Annual Technical Conference},
series = {USENIX ATC'14},
year = {2014},
isbn = {978-1-931971-10-2},
location = {Philadelphia, PA},
pages = {281--292},
numpages = {12},
url = {http://dl.acm.org/citation.cfm?id=2643634.2643664},
acmid = {2643664},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Liu07,
author = {Liu, Xuezheng and Lin, Wei and Pan, Aimin and Zhang, Zheng},
title = {WiDS Checker: Combating Bugs in Distributed Systems},
year = {2007},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation},
pages = {19},
numpages = {1},
location = {Cambridge, MA},
series = {NSDI'07}
}
@inproceedings{Liu08,
author = {Liu, Xuezheng and Guo, Zhenyu and Wang, Xi and Chen, Feibo and Lian, Xiaochen and Tang, Jian and Wu, Ming and Kaashoek, M. Frans and Zhang, Zheng},
title = {D<sup>3</sup>S: Debugging Deployed Distributed Systems},
year = {2008},
isbn = {1119995555221},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation},
pages = {423–437},
numpages = {15},
location = {San Francisco, California},
series = {NSDI'08}
}
@article{Liu17,
author = {Liu, Yanhong A. and Stoller, Scott D. and Lin, Bo},
title = {From Clarity to Efficiency for Distributed Algorithms},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {July 2017},
volume = {39},
number = {3},
month = may,
year = {2017},
issn = {0164-0925},
pages = {12:1--12:41},
articleno = {12},
numpages = {41},
url = {http://doi.acm.org/10.1145/2994595},
doi = {10.1145/2994595},
acmid = {2994595},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Distributed algorithms, high-level queries and updates,
incrementalization, logic quantifications, message histories,
synchronization conditions, yield points},
}
@inproceedings{Liu17asplos,
author = {Liu, Haopeng and Li, Guangpu and Lukman, Jeffrey F. and Li, Jiaxin and Lu, Shan and Gunawi, Haryadi S. and Tian, Chen},
title = {DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems},
year = {2017},
isbn = {9781450344654},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3037697.3037735},
doi = {10.1145/3037697.3037735},
booktitle = {Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems},
pages = {677-691},
numpages = {15},
keywords = {concurrency bugs, distributed systems, cloud computing, bug detection},
location = {Xi'an, China},
series = {ASPLOS'17}
}
@inproceedings{Liu18,
author = {Liu, Haopeng and Wang, Xu and Li, Guangpu and Lu, Shan and Ye, Feng and Tian, Chen},
title = {FCatch: Automatically Detecting Time-of-Fault Bugs in Cloud Systems},
year = {2018},
isbn = {9781450349116},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3173162.3177161},
doi = {10.1145/3173162.3177161},
booktitle = {Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems},
pages = {419-431},
numpages = {13},
keywords = {timing bugs, bug detection, fault tolerance, distributed systems, cloud computing},
location = {Williamsburg, VA, USA},
series = {ASPLOS'18}
}
@inproceedings{LLoyd11,
author = {Lloyd, Wyatt and Freedman, Michael J. and Kaminsky, Michael and Andersen, David G.},
title = {Don't Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS},
year = {2011},
isbn = {9781450309776},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2043556.2043593},
doi = {10.1145/2043556.2043593},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
pages = {401-416},
numpages = {16},
keywords = {causal + consistency, scalable wide-area replication, ALPS systems, key-value storage, read transactions},
location = {Cascais, Portugal},
series = {SOSP'11}
}
@inproceedings{Lloyd13,
author = {Lloyd, Wyatt and Freedman, Michael J. and
Kaminsky, Michael and Andersen, David G.},
title = {Stronger Semantics for Low-latency Geo-replicated Storage},
booktitle = {Proceedings of the 10th USENIX Conference on
Networked Systems Design and Implementation},
series = {nsdi'13},
year = {2013},
location = {Lombard, IL},
pages = {313--328},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2482626.2482657},
acmid = {2482657},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Lu15,
author = {Lu, Haonan and Veeraraghavan, Kaushik and Ajoux, Philippe and
Hunt, Jim and Song, Yee Jiun and Tobagus, Wendy and
Kumar, Sanjeev and Lloyd, Wyatt},
title = {Existential Consistency: Measuring and Understanding Consistency
at Facebook},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
series = {SOSP '15},
year = {2015},
isbn = {978-1-4503-3834-9},
location = {Monterey, California},
pages = {295--310},
numpages = {16},
url = {http://doi.acm.org/10.1145/2815400.2815426},
doi = {10.1145/2815400.2815426},
acmid = {2815426},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Lu19,
author = {Lu, Jie and Liu, Chen and Li, Lian and Feng, Xiaobing and Tan, Feng and Yang, Jun and You, Liang},
title = {CrashTuner: Detecting Crash-recovery Bugs in Cloud Systems via Meta-info Analysis},
booktitle = {Proceedings of the 27th ACM Symposium on Operating Systems Principles},
series = {SOSP '19},
year = {2019},
isbn = {978-1-4503-6873-5},
location = {Huntsville, Ontario, Canada},
pages = {114--130},
numpages = {17},
url = {http://doi.acm.org/10.1145/3341301.3359645},
doi = {10.1145/3341301.3359645},
acmid = {3359645},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {bug detection, cloud computing, crash recovery bugs, distributed systems, fault injection, fault tolerance},
}
@inproceedings{Lynch89,
author = {Lynch, N.},
title = {A Hundred Impossibility Proofs for Distributed Computing},
year = {1989},
isbn = {0897913264},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/72981.72982},
doi = {10.1145/72981.72982},
booktitle = {Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing},
pages = {1-28},
numpages = {28},
location = {Edmonton, Alberta, Canada},
series = {PODC '89}
}
@article{Lynch95,
title = "Forward and Backward Simulations: I. Untimed Systems",
journal = "Information and Computation",
volume = "121",
number = "2",
pages = "214 - 233",
year = "1995",
issn = "0890-5401",
doi = "https://doi.org/10.1006/inco.1995.1134",
url = "http://www.sciencedirect.com/science/article/pii/S0890540185711340",
author = "N. Lynch and F. Vaandrager",
}
@book{Lynch96-textbook,
author = {Lynch, Nancy A.},
title = {Distributed Algorithms},
year = {1996},
isbn = {9780080504704},
publisher = {Morgan Kaufmann Publishers Inc.},
address = {San Francisco, CA, USA},
}
@article{Lynch96,
title = "Forward and Backward Simulations: II. Timing-Based Systems",
journal = "Information and Computation",
volume = "128",
number = "1",
pages = "1 - 25",
year = "1996",
issn = "0890-5401",
doi = "https://doi.org/10.1006/inco.1996.0060",
url = "http://www.sciencedirect.com/science/article/pii/S0890540196900607",
author = "Nancy Lynch and Frits Vaandrager",
}
@inproceedings{Lynch97,
author={N. A. Lynch and A. A. Shvartsman},
booktitle={Proceedings of IEEE 27th International Symposium on
Fault Tolerant Computing},
title={Robust emulation of shared memory using
dynamic quorum-acknowledged broadcasts},
year={1997},
pages={272-281},
doi={10.1109/FTCS.1997.614100},
ISSN={0731-3071},
month={June},
}
@inproceedings{Ma19,
author = {Ma, Haojun and Goel, Aman and Jeannin, Jean-Baptiste and Kapritsos, Manos and Kasikci, Baris and Sakallah, Karem A.},
title = {I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols},
booktitle = {Proceedings of the 27th ACM Symposium on Operating Systems Principles},
series = {SOSP '19},
year = {2019},
isbn = {978-1-4503-6873-5},
location = {Huntsville, Ontario, Canada},
pages = {370--384},
numpages = {15},
url = {http://doi.acm.org/10.1145/3341301.3359651},
doi = {10.1145/3341301.3359651},
acmid = {3359651},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Mace15,
author = {Mace, Jonathan and Roelke, Ryan and Fonseca, Rodrigo},
title = {Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
series = {SOSP'15},
year = {2015},
isbn = {978-1-4503-3834-9},
location = {Monterey, California},
pages = {378--393},
numpages = {16},
url = {http://doi.acm.org/10.1145/2815400.2815415},
doi = {10.1145/2815400.2815415},
acmid = {2815415},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Mahmoud13},
author = {Mahmoud, Hatem and Nawab, Faisal and Pucher, Alexander and Agrawal, Divyakant and El Abbadi, Amr},
title = {Low-Latency Multi-Datacenter Databases Using Replicated Commit},
year = {2013},
issue_date = {July 2013},
publisher = {VLDB Endowment},
volume = {6},
number = {9},
issn = {2150-8097},
url = {https://doi.org/10.14778/2536360.2536366},
doi = {10.14778/2536360.2536366},
journal = {Proc. VLDB Endow.},
month = {jul},
pages = {661–672},
numpages = {12}
}
@article{Maiyya19,
author = {Maiyya, Sujaya and Nawab, Faisal and Agrawal, Divyakant and Abbadi, Amr El},
title = {Unifying Consensus and Atomic Commitment for Effective Cloud Data Management},
year = {2019},
issue_date = {January 2019},
publisher = {VLDB Endowment},
volume = {12},
number = {5},
issn = {2150-8097},
url = {https://doi.org/10.14778/3303753.3303765},
doi = {10.14778/3303753.3303765},
journal = {Proc. VLDB Endow.},
month = jan,
pages = {611–623},
numpages = {13}
}
@inproceedings{Malek05,
author = {Abd-El-Malek, Michael and Courtright,II, William V. and
Cranor, Chuck and Ganger, Gregory R. and Hendricks, James and
Klosterman, Andrew J. and Mesnier, Michael and
Prasad, Manish and Salmon, Brandon and
Sambasivan, Raja R. and Sinnamohideen, Shafeeq and
Strunk, John D. and Thereska, Eno and Wachs, Matthew and
Wylie, Jay J.},
title = {Ursa Minor: Versatile Cluster-based Storage},
booktitle = {Proceedings of the 4th USENIX Conference
on File and Storage Technologies - Volume 4},
series = {FAST'05},
year = {2005},
location = {San Francisco, CA},
pages = {5--5},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1251028.1251033},
acmid = {1251033},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@book{Malkhi19,
editor = {Malkhi, Dahlia},
title = {Concurrency: The Works of Leslie Lamport},
year = {2019},
isbn = {9781450372701},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
}
@inproceedings{Maric17,
author = {Mari{\'{c}}, Ognjen
and Sprenger, Christoph
and Basin, David},
editor = {Majumdar, Rupak
and Kun{\v{c}}ak, Viktor},
title = {Cutoff Bounds for Consensus Algorithms},
booktitle = {Computer Aided Verification},
year = {2017},
publisher = {Springer International Publishing},
address = {Cham},
pages = {217--237},
isbn = {978-3-319-63390-9}
}
@inproceedings{Mattern89,
author = {Friedemann Mattern},
title = {Virtual time and global states of distributed systems},
booktitle = "Proc. International Workshop on Parallel and Distributed Algorithms",
address = "Holland",
year = {1989},
pages = {215--226},
}
@inproceedings{McKeen13,
author = {McKeen, Frank and Alexandrovich, Ilya and Berenzon, Alex and Rozas, Carlos V. and Shafi, Hisham and Shanbhogue, Vedvyas and Savagaonkar, Uday R.},
title = {Innovative Instructions and Software Model for Isolated Execution},
year = {2013},
isbn = {9781450321181},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2487726.2488368},
doi = {10.1145/2487726.2488368},
booktitle = {Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy},
articleno = {Article 10},
numpages = {1},
location = {Tel-Aviv, Israel},
series = {HASP ’13}
}
@techreport{Medeiros12,
title={ZooKeeper’s atomic broadcast protocol: Theory and practice},
author={Andre Medeiros},
year={2012},
}
@book{Mei16, author = {Hong Mei and Jian Lu}, title = {Internetware - A New Software Paradigm for Internet Computing}, year = {2016}, isbn = {978-981-10-2546-4}, publisher = {Springer Singapore}, address = {Singapore}, }
@inproceedings{Meiklejohn17,
author = {Christopher S. Meiklejohn},
title = {On the Design of Distributed Programming Models},
booktitle = {Second Workshop on Programming Models and Languages
for Distributed Computing, Co-located with ECOOP},
series = {PMLDC'11},
year = {2017},
location = {Barcelona, Spain},
}
@article{Merritt93,
author = {Merritt, Michael and Taubenfeld, Gadi},
title = {Knowledge in Shared Memory Systems},
year = {1993},
issue_date = {December 1993},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
volume = {7},
number = {2},
issn = {0178-2770},
url = {https://doi.org/10.1007/BF02280839},
doi = {10.1007/BF02280839},
journal = {Distrib. Comput.},
month = dec,
pages = {99–109},
numpages = {11},
keywords = {wakeup, agreement, renaming, impossibility, knowledge, consensus, shared memory, lower bounds, fault-tolerance}
}
@inproceedings{Michael19,
author = {Michael, Ellis and Woos, Doug and Anderson, Thomas and
Ernst, Michael D. and Tatlock, Zachary},
title = {Teaching Rigorous Distributed Systems With Efficient Model Checking},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019},
series = {EuroSys '19},
year = {2019},
isbn = {978-1-4503-6281-8},
location = {Dresden, Germany},
pages = {32:1--32:15},
articleno = {32},
numpages = {15},
url = {http://doi.acm.org/10.1145/3302424.3303947},
doi = {10.1145/3302424.3303947},
acmid = {3303947},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {distributed systems, education, model checking},
}
@article{Misra86,
author = {Misra, J.},
title = {Axioms for Memory Access in Asynchronous Hardware Systems},
journal = {ACM Trans. Program. Lang. Syst.},
issue_date = {Jan. 1986},
volume = {8},
number = {1},
month = jan,
year = {1986},
issn = {0164-0925},
pages = {142--153},
numpages = {12},
url = {http://doi.acm.org/10.1145/5001.5007},
doi = {10.1145/5001.5007},
acmid = {5007},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Mittal05,
author = {Neeraj Mittal and
Vijay K. Garg},
title = {Techniques and applications of computation slicing},
journal = {Distributed Comput.},
volume = {17},
number = {3},
pages = {251--277},
year = {2005},
url = {https://doi.org/10.1007/s00446-004-0117-0},
doi = {10.1007/s00446-004-0117-0},
timestamp = {Fri, 13 Mar 2020 14:37:40 +0100},
}
@inproceedings{Moniz17,
author = {Moniz, Henrique and Leit\~{a}o, Jo\~{a}o and Dias, Ricardo J. and Gehrke, Johannes and Pregui\c{c}a, Nuno and Rodrigues, Rodrigo},
title = {Blotter: Low Latency Transactions for Geo-Replicated Storage},
year = {2017},
isbn = {9781450349130},
publisher = {International World Wide Web Conferences Steering Committee},
address = {Republic and Canton of Geneva, CHE},
url = {https://doi.org/10.1145/3038912.3052603},
doi = {10.1145/3038912.3052603},
booktitle = {Proceedings of the 26th International Conference on World Wide Web},
pages = {263-272},
numpages = {10},
keywords = {distributed transactions, geo-replicated storage, concurrency control, distributed database systems, paxos},
location = {Perth, Australia},
series = {WWW'17}
}
@inproceedings{Moraru14,
author = {Moraru, Iulian and Andersen, David G. and Kaminsky, Michael},
title = {Paxos Quorum Leases: Fast Reads Without Sacrificing Writes},
booktitle = {Proceedings of the ACM Symposium on Cloud Computing},
series = {SOCC '14},
year = {2014},
isbn = {978-1-4503-3252-1},
location = {Seattle, WA, USA},
pages = {22:1--22:13},
articleno = {22},
numpages = {13},
url = {http://doi.acm.org/10.1145/2670979.2671001},
doi = {10.1145/2670979.2671001},
acmid = {2671001},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Musuvathi02,
author = {Musuvathi, Madanlal and Park, David Y. W. and Chou, Andy and Engler, Dawson R. and Dill, David L.},
title = {CMC: A Pragmatic Approach to Model Checking Real Code},
year = {2002},
isbn = {9781450301114},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 5th Symposium on Operating Systems Design and Implementation (Copyright Restrictions Prevent ACM from Being Able to Make the PDFs for This Conference Available for Downloading)},
pages = {75-88},
numpages = {14},
location = {Boston, Massachusetts},
series = {OSDI '02}
}
@InProceedings{Nagar20,
author="Nagar, Kartik
and Mukherjee, Prasita
and Jagannathan, Suresh",
editor="Lahiri, Shuvendu K.
and Wang, Chao",
title="Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems",
booktitle="Computer Aided Verification",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="251--274",
isbn="978-3-030-53288-8"
}
@article{Naor98,
author = {Naor, Moni and Wool, Avishai},
title = {The Load, Capacity, and Availability of Quorum Systems},
journal = {SIAM J. Comput.},
issue_date = {April 1998},
volume = {27},
number = {2},
month = apr,
year = {1998},
issn = {0097-5397},
pages = {423--447},
numpages = {25},
url = {http://dx.doi.org/10.1137/S0097539795281232},
doi = {10.1137/S0097539795281232},
acmid = {279096},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
keywords = {distributed computing, fault tolerance, linear programming,
load, percolation theory, quorum systems},
}
@InProceedings{Nargar19,
author="Nagar, Kartik
and Jagannathan, Suresh",
editor="Dillig, Isil
and Tasiran, Serdar",
title="Automated Parameterized Verification of CRDTs",
booktitle="Computer Aided Verification",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="459--477",
isbn="978-3-030-25543-5"
}
@article{Neema19,
author = {Neema, Sandeep and Parikh, Rinku and Jagannathan, Suresh},
title = {Building Resource Adaptive Software Systems},
year = {2019},
issue_date = {March 2019},
publisher = {IEEE Computer Society Press},
address = {Washington, DC, USA},
volume = {36},
number = {2},
issn = {0740-7459},
url = {https://doi.org/10.1109/MS.2018.2886831},
doi = {10.1109/MS.2018.2886831},
journal = {IEEE Softw.},
month = mar,
pages = {103–109},
numpages = {7}
}
@article{Newcombe15,
author = {Newcombe, Chris and Rath, Tim and Zhang, Fan and Munteanu, Bogdan and Brooker, Marc and Deardeuff, Michael},
title = {How Amazon Web Services Uses Formal Methods},
year = {2015},
issue_date = {April 2015},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {58},
number = {4},
issn = {0001-0782},
url = {https://doi.org/10.1145/2699417},
doi = {10.1145/2699417},
journal = {Commun. ACM},
month = mar,
pages = {66--73},
numpages = {8}
}
@inproceedings{Oki88,
author = {Oki, Brian M. and Liskov, Barbara H.},
title = {Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems},
year = {1988},
isbn = {0897912772},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/62546.62549},
doi = {10.1145/62546.62549},
booktitle = {Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing},
pages = {8–17},
numpages = {10},
location = {Toronto, Ontario, Canada},
series = {PODC '88}
}
@inproceedings{Ongaro14,
author = {Ongaro, Diego and Ousterhout, John},
title = {In Search of an Understandable Consensus Algorithm},
booktitle = {Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference},
series = {USENIX ATC'14},
year = {2014},
isbn = {978-1-931971-10-2},
location = {Philadelphia, PA},
pages = {305--320},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2643634.2643666},
acmid = {2643666},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@article{Ouyang21,
author = {Ouyang, Lingzhi and Huang, Yu and Wei, Hengfeng and Lu, Jian},
title = {Achieving Probabilistic Atomicity With Well-Bounded Staleness and Low Read Latency in Distributed Datastores},
year = {2021},
issue_date = {April 2021},
publisher = {IEEE Press},
volume = {32},
number = {4},
issn = {1045-9219},
url = {https://doi.org/10.1109/TPDS.2020.3034328},
doi = {10.1109/TPDS.2020.3034328},
journal = {IEEE Trans. Parallel Distrib. Syst.},
month = {apr},
pages = {815-829},
numpages = {15}
}
@article{Ozkan18,
author = {Ozkan, Burcu Kulahcioglu and Majumdar, Rupak and Niksic, Filip and Befrouei, Mitra Tabaei and Weissenbacher, Georg},
title = {Randomized Testing of Distributed Systems with Probabilistic Guarantees},
journal = {Proc. ACM Program. Lang.},
issue_date = {November 2018},
volume = {2},
number = {OOPSLA},
month = oct,
year = {2018},
issn = {2475-1421},
pages = {160:1--160:28},
articleno = {160},
numpages = {28},
url = {http://doi.acm.org/10.1145/3276530},
doi = {10.1145/3276530},
acmid = {3276530},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {distributed systems, hitting families, online chain partitioning, partially ordered sets, random testing},
}
@article{Ozkan19,
author = {Ozkan, Burcu Kulahcioglu and Majumdar, Rupak and Oraee, Simin},
title = {Trace Aware Random Testing for Distributed Systems},
year = {2019},
issue_date = {October 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {OOPSLA},
url = {https://doi.org/10.1145/3360606},
doi = {10.1145/3360606},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {180},
numpages = {29},
keywords = {hitting families, distributed systems, random testing, partial order reduction}
}
@inproceedings{Pai99,
author = {Pai, Vivek S. and Druschel, Peter and Zwaenepoel, Willy},
title = {Flash: An Efficient and Portable Web Server},
year = {1999},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the Annual Conference on USENIX Annual Technical Conference},
pages = {15},
numpages = {1},
location = {Monterey, California},
series = {ATC'99}
}
@inproceedings{Park19,
author = {Seo Jin Park and
John K. Ousterhout},
title = {Exploiting Commutativity For Practical Fast Replication},
booktitle = {16th {USENIX} Symposium on Networked Systems
Design and Implementation, {NSDI} 2019, Boston, MA, February 26-28, 2019.},
pages = {47--64},
year = {2019},
crossref = {DBLP:conf/nsdi/2019},
url = {https://www.usenix.org/conference/nsdi19/presentation/park},
timestamp = {Mon, 11 Mar 2019 15:52:29 +0100},
biburl = {https://dblp.org/rec/bib/conf/nsdi/ParkO19},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@Article{Peleg97,
author="Peleg, David and Wool, Avishai",
title="Crumbling walls: a class of practical and efficient quorum systems",
journal="Distributed Computing",
year="1997",
month="Feb",
day="01",
volume="10",
number="2",
pages="87--97",
issn="1432-0452",
doi="10.1007/s004460050027",
url="https://doi.org/10.1007/s004460050027"
}
@inproceedings{Pillai14,
author = {Pillai, Thanumalayan Sankaranarayana and Chidambaram, Vijay and Alagappan, Ramnatthan and Al-Kiswany, Samer and Arpaci-Dusseau, Andrea C. and Arpaci-Dusseau, Remzi H.},
title = {All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications},
year = {2014},
isbn = {9781931971164},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation},
pages = {433–448},
numpages = {16},
location = {Broomfield, CO},
series = {OSDI'14}
}
@inproceedings{Raychev13,
author = {Raychev, Veselin and Vechev, Martin and Sridharan, Manu},
title = {Effective Race Detection for Event-Driven Programs},
year = {2013},
isbn = {9781450323741},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2509136.2509538},
doi = {10.1145/2509136.2509538},
booktitle = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications},
pages = {151-166},
numpages = {16},
keywords = {race detection, web, asynchrony, nondeterminism, concurrency},
location = {Indianapolis, Indiana, USA},
series = {OOPSLA'13}
}
@inproceedings{Reed08,
author = {Reed, Benjamin and Junqueira, Flavio P.},
title = {A Simple Totally Ordered Broadcast Protocol},
booktitle = {Proceedings of the 2Nd Workshop on
Large-Scale Distributed Systems and Middleware},
series = {LADIS '08},
year = {2008},
isbn = {978-1-60558-296-2},
location = {Yorktown Heights, New York, USA},
pages = {2:1--2:6},
articleno = {2},
numpages = {6},
url = {http://doi.acm.org/10.1145/1529974.1529978},
doi = {10.1145/1529974.1529978},
acmid = {1529978},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Renesse04,
title={Chain Replication for Supporting High Throughput and Availability.},
author={Van Renesse, Robbert and Schneider, Fred B},
booktitle={OSDI},
volume={4},
number={91--104},
year={2004}
}
@article{Renesse15,
author={R. {van Renesse} and N. {Schiper} and F. B. {Schneider}},
journal={IEEE Transactions on Dependable and Secure Computing},
title={Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab},
year={2015},
volume={12},
number={4},
pages={472-484},
doi={10.1109/TDSC.2014.2355848}
}
@inproceedings{Reynolds16,
author = {Reynolds, Patrick and Wiener, Janet L. and Mogul, Jeffrey C. and Aguilera, Marcos K. and Vahdat, Amin},
title = {WAP5: Black-box Performance Debugging for Wide-area Systems},
booktitle = {Proceedings of the 15th International Conference on World Wide Web},
series = {WWW '06},
year = {2006},
isbn = {1-59593-323-9},
location = {Edinburgh, Scotland},
pages = {347--356},
numpages = {10},
url = {http://doi.acm.org/10.1145/1135777.1135830},
doi = {10.1145/1135777.1135830},
acmid = {1135830},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {black box systems, distributed systems, performance analysis, performance debugging},
}
@inproceedings{Roy15,
author = {Roy, Sudip and Kot, Lucja and Bender, Gabriel and
Ding, Bailu and Hojjat, Hossein and Koch, Christoph and
Foster, Nate and Gehrke, Johannes},
title = {The Homeostasis Protocol: Avoiding Transaction Coordination
Through Program Analysis},
booktitle = {Proceedings of the 2015 ACM SIGMOD International
Conference on Management of Data},
series = {SIGMOD '15},
year = {2015},
isbn = {978-1-4503-2758-9},
location = {Melbourne, Victoria, Australia},
pages = {1311--1326},
numpages = {16},
url = {http://doi.acm.org/10.1145/2723372.2723720},
doi = {10.1145/2723372.2723720},
acmid = {2723720},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {coordination-free, geo-replication, program analysis},
}
@InProceedings{Saad09,
author="Chaouch-Saad, Mouna
and Charron-Bost, Bernadette
and Merz, Stephan",
editor="Bournez, Olivier
and Potapov, Igor",
title="A Reduction Theorem for the Verification of
Round-Based Distributed Algorithms",
booktitle="Reachability Problems",
year="2009",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="93--106",
isbn="978-3-642-04420-5"
}
@article{Saks00,
author = {Saks, Michael and Zaharoglou, Fotios},
title = {Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge},
year = {2000},
issue_date = {March 2000},
publisher = {Society for Industrial and Applied Mathematics},
address = {USA},
volume = {29},
number = {5},
issn = {0097-5397},
url = {https://doi.org/10.1137/S0097539796307698},
doi = {10.1137/S0097539796307698},
journal = {SIAM J. Comput.},
month = mar,
pages = {1449–1483},
numpages = {35},
keywords = {Sperner's lemma, wait-free, consensus, distributed computing}
}
@article{Schneider90,
author = {Schneider, Fred B.},
title = {Implementing Fault-tolerant Services Using
the State Machine Approach: A Tutorial},
journal = {ACM Comput. Surv.},
issue_date = {Dec. 1990},
volume = {22},
number = {4},
month = dec,
year = {1990},
issn = {0360-0300},
pages = {299--319},
numpages = {21},
url = {http://doi.acm.org/10.1145/98163.98167},
doi = {10.1145/98163.98167},
acmid = {98167},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Schultz22,
author = {William Schultz and
Ian Dardik and
Stavros Tripakis},
editor = {Alberto Griggio and
Neha Rungta},
title = {Plain and Simple Inductive Invariant Inference for Distributed Protocols
in TLA\({}^{\mbox{+}}\)},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {273--283},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_34},
doi = {10.34727/2022/isbn.978-3-85448-053-2\_34},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
}
@inproceedings{Scott16,
author = {Scott, Colin and Panda, Aurojit and Brajkovic, Vjekoslav and Necula, George and Krishnamurthy, Arvind and Shenker, Scott},
title = {Minimizing Faulty Executions of Distributed Systems},
booktitle = {Proceedings of the 13th Usenix Conference on Networked Systems Design and Implementation},
series = {NSDI'16},
year = {2016},
isbn = {978-1-931971-29-4},
location = {Santa Clara, CA},
pages = {291--309},
numpages = {19},
url = {http://dl.acm.org/citation.cfm?id=2930611.2930631},
acmid = {2930631},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@article{Shao11,
author = {Shao, Cheng and Welch, Jennifer L. and Pierce, Evelyn
and Lee, Hyunyoung},
title = {Multiwriter Consistency Conditions for Shared Memory Registers},
journal = {SIAM J. Comput.},
issue_date = {February 2011},
volume = {40},
number = {1},
month = jan,
year = {2011},
issn = {0097-5397},
pages = {28--62},
numpages = {35},
url = {http://dx.doi.org/10.1137/07071158X},
doi = {10.1137/07071158X},
acmid = {2078669},
publisher = {Society for Industrial and Applied Mathematics},
address = {Philadelphia, PA, USA},
keywords = {multiwriter registers, mutual exclusion, quorum systems,
regularity, shared memory consistency},
}
@inproceedings{Shapiro11a,
author = {Shapiro, Marc and Pregui\c{c}a, Nuno and
Baquero, Carlos and Zawirski, Marek},
title = {Conflict-free Replicated Data Types},
booktitle = {Proceedings of the 13th International Conference on
Stabilization, Safety, and Security of Distributed Systems},
series = {SSS'11},
year = {2011},
isbn = {978-3-642-24549-7},
location = {Grenoble, France},
pages = {386--400},
numpages = {15},
url = {http://dl.acm.org/citation.cfm?id=2050613.2050642},
acmid = {2050642},
publisher = {Springer-Verlag},
address = {Berlin, Heidelberg},
keywords = {eventual consistency, large-scale distributed systems,
replicated shared objects},
}
@techreport{Shapiro11b,
TITLE = {{A comprehensive study of Convergent and Commutative
Replicated Data Types}},
AUTHOR = {Shapiro, Marc and Pregui{\c c}a, Nuno and
Baquero, Carlos and Zawirski, Marek},
URL = {https://hal.inria.fr/inria-00555588},
TYPE = {Research Report},
NUMBER = {RR-7506},
PAGES = {50},
INSTITUTION = {{Inria -- Centre Paris-Rocquencourt ; INRIA}},
YEAR = {2011},
MONTH = Jan,
KEYWORDS = {eventual consistency ; optimistic replication ;
replicated data types ; distributed algorithms ;
distributed systems ; Data replication ; commutative operations},
PDF = {https://hal.inria.fr/inria-00555588/file/techreport.pdf},
HAL_ID = {inria-00555588},
HAL_VERSION = {v1},
}
@inproceedings{Sivaramakrishnan15,
author = {Sivaramakrishnan, KC and Kaki, Gowtham and
Jagannathan, Suresh},
title = {Declarative Programming over Eventually Consistent
Data Stores},
booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on
Programming Language Design and Implementation},
series = {PLDI '15},
year = {2015},
isbn = {978-1-4503-3468-6},
location = {Portland, OR, USA},
pages = {413--424},
numpages = {12},
url = {http://doi.acm.org/10.1145/2737924.2737981},
doi = {10.1145/2737924.2737981},
acmid = {2737981},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{Sovran11,
author = {Sovran, Yair and Power, Russell and Aguilera, Marcos K. and Li, Jinyang},
title = {Transactional Storage for Geo-Replicated Systems},
year = {2011},
isbn = {9781450309776},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2043556.2043592},
doi = {10.1145/2043556.2043592},
booktitle = {Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
pages = {385–400},
numpages = {16},
keywords = {asynchronous replication, key-value store, transactions, parallel snapshot isolation, geo-distributed systems, distributed storage},
location = {Cascais, Portugal},
series = {SOSP '11}
}
@article{Steinke04,
title={A unified theory of shared memory consistency},
author={Steinke, Robert C and Nutt, Gary J},
journal={Journal of the ACM (JACM)},
volume={51},
number={5},
pages={800--849},
year={2004},
publisher={ACM}
}
@ARTICLE{Stroustrup12,
author={Stroustrup, Bjarne},
journal={Computer},
title={Software Development for Infrastructure},
year={2012},
volume={45},
number={1},
pages={47-58},
doi={10.1109/MC.2011.353}
}
@inproceedings{Tamayo12,
author = {Tamayo, Juan M. and Aiken, Alex and Bronson, Nathan and Sagiv, Mooly},
title = {Understanding the Behavior of Database Operations under Program Control},
year = {2012},
isbn = {9781450315616},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2384616.2384688},
doi = {10.1145/2384616.2384688},
booktitle = {Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications},
pages = {983-996},
numpages = {14},
keywords = {three-tier applications, program understanding},
location = {Tucson, Arizona, USA},
series = {OOPSLA'12}
}
@inproceedings {Tan19,
author = {Cheng Tan and Ze Jin and Chuanxiong Guo and Tianrong Zhang
and Haitao Wu and Karl Deng and Dongming Bi and Dong Xiang},
title = {NetBouncer: Active Device and Link Failure Localization
in Data Center Networks},
booktitle = {16th {USENIX} Symposium on Networked Systems
Design and Implementation ({NSDI} 19)},
year = {2019},
isbn = {978-1-931971-49-2},
address = {Boston, MA},
pages = {599--614},
url = {https://www.usenix.org/conference/nsdi19/presentation/tan},
publisher = {{USENIX} Association},
}
@inproceedings {Tan20,
author = {Cheng Tan and Changgeng Zhao and Shuai Mu and Michael Walfish},
title = {Cobra: Making Transactional Key-Value Stores Verifiably Serializable},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)},
year = {2020},
isbn = {978-1-939133-19-9},
pages = {63--80},
url = {https://www.usenix.org/conference/osdi20/presentation/tan},
publisher = {{USENIX} Association},
month = nov,
}
@book{Tanenbaum06,
author = {Tanenbaum, Andrew S. and Steen, Maarten van},
title = {Distributed Systems: Principles and Paradigms (2nd Edition)},
year = {2006},
isbn = {0132392275},
publisher = {Prentice-Hall, Inc.},
address = {USA}
}
@inproceedings{Tang15,
author = {Tang, Haowen and Liu, Fangming and Shen, Guobin and
Jin, Yuchen and Guo, Chuanxiong},
title = {UniDrive: Synergize Multiple Consumer Cloud Storage Services},
booktitle = {Proceedings of the 16th Annual Middleware Conference},
series = {Middleware '15},
year = {2015},
isbn = {978-1-4503-3618-5},
location = {Vancouver, BC, Canada},
pages = {137--148},
numpages = {12},
url = {http://doi.acm.org/10.1145/2814576.2814729 },
doi = {10.1145/2814576.2814729},
acmid = {2814729},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Consumer Cloud Storage, Erasure Codes,
Networking Performance, Synchronization},
}
@inproceedings {Tang20,
author = {Chunqiang Tang and Kenny Yu and Kaushik Veeraraghavan and Jonathan Kaldor and Scott Michelson and Thawan Kooburat and Aravind Anbudurai and Matthew Clark and Kabir Gogia and Long Cheng and Ben Christensen and Alex Gartrell and Maxim Khutornenko and Sachin Kulkarni and Marcin Pawlowski and Tuomas Pelkonen and Andre Rodrigues and Rounak Tibrewal and Vaishnavi Venkatesan and Peter Zhang},
title = {Twine: A Unified Cluster Management System for Shared Infrastructure},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)},
year = {2020},
isbn = {978-1-939133-19-9},
pages = {787--803},
url = {https://www.usenix.org/conference/osdi20/presentation/tang},
publisher = {{USENIX} Association},
month = nov,
}
@inproceedings{Terry13,
author = {Terry, Douglas B. and Prabhakaran, Vijayan and
Kotla, Ramakrishna and Balakrishnan, Mahesh and
Aguilera, Marcos K. and Abu-Libdeh, Hussam},
title = {Consistency-based Service Level Agreements for Cloud Storage},
booktitle = {Proceedings of the Twenty-Fourth ACM Symposium on
Operating Systems Principles},
series = {SOSP '13},
year = {2013},
isbn = {978-1-4503-2388-8},
location = {Farminton, Pennsylvania},
pages = {309--324},
numpages = {16},
url = {http://doi.acm.org/10.1145/2517349.2522731 },
doi = {10.1145/2517349.2522731},
acmid = {2522731},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {cloud computing, consistency, replication,
service level agreement, storage},
}
@InProceedings{Valapil17,
author="Tekken Valapil, Vidhya
and Yingchareonthawornchai, Sorrachai
and Kulkarni, Sandeep
and Torng, Eric
and Demirbas, Murat",
editor="Lahiri, Shuvendu
and Reger, Giles",
title="Monitoring Partially Synchronous Distributed Systems Using SMT Solvers",
booktitle="Runtime Verification",
year="2017",
publisher="Springer International Publishing",
address="Cham",
pages="277--293",
isbn="978-3-319-67531-2"
}
@inproceedings{Verbitski17,
author = {Verbitski, Alexandre and Gupta, Anurag and Saha, Debanjan and Brahmadesam, Murali and Gupta, Kamal and Mittal, Raman and Krishnamurthy, Sailesh and Maurice, Sandor and Kharatishvili, Tengiz and Bao, Xiaofeng},
title = {Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational Databases},
year = {2017},
isbn = {9781450341974},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3035918.3056101},
doi = {10.1145/3035918.3056101},
booktitle = {Proceedings of the 2017 ACM International Conference on Management of Data},
pages = {1041-1052},
numpages = {12},
keywords = {log processing, replication, quorum models, recovery, oltp, performance, databases, distributed systems},
location = {Chicago, Illinois, USA},
series = {SIGMOD '17}
}
@article{Viotti16,
author = {Viotti, Paolo and Vukoliundefined, Marko},
title = {Consistency in Non-Transactional Distributed Storage Systems},
year = {2016},
issue_date = {July 2016},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {49},
number = {1},
issn = {0360-0300},
url = {https://doi.org/10.1145/2926965},
doi = {10.1145/2926965},
journal = {ACM Comput. Surv.},
month = jun,
articleno = {Article 19},
numpages = {34},
keywords = {distributed storage, Consistency}
}
@article{Vogels09,
author = {Vogels, Werner},
title = {Eventually Consistent},
journal = {Commun. ACM},
issue_date = {January 2009},
volume = {52},
number = {1},
month = jan,
year = {2009},
issn = {0001-0782},
pages = {40--44},
numpages = {5},
url = {http://doi.acm.org/10.1145/1435417.1435432 },
doi = {10.1145/1435417.1435432},
acmid = {1435432},
publisher = {ACM},
address = {New York, NY, USA},
}
@book{Vukolic12,
author = {Marko Vukolic},
title = {Quorum Systems With Applications to Storage and Consensus},
year = {2012},
isbn = {9781608456840},
publisher = {Morgan \& Claypool Publishers},
}
@article{Vukotic19,
author = {Vukotic, Ivana and Rahli, Vincent and Esteves-Ver\'{\i}ssimo, Paulo},
title = {Asphalion: Trustworthy Shielding against Byzantine Faults},
year = {2019},
issue_date = {October 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {OOPSLA},
url = {https://doi.org/10.1145/3360564},
doi = {10.1145/3360564},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {Article 138},
numpages = {32},
keywords = {MinBFT, Hybrid protocols, Fault-tolerance, Coq, Monad, Byzantine faults, Knowledge calculus, Step-indexing, Compositional reasoning, Formal verification, Distributed systems}
}
@book{Wayne18,
author = {Hillel Wayne},
title = {Practical TLA+: Planning Driven Development},
year = {2018},
isbn = {978-1-4842-3829-5},
publisher = {Apress},
}
@inproceedings{Wang19,
author = {Wang, Chao and Enea, Constantin and Mutluergil, Suha Orhun and Petri, Gustavo},
title = {Replication-Aware Linearizability},
year = {2019},
isbn = {9781450367127},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3314221.3314617},
doi = {10.1145/3314221.3314617},
booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {980–993},
numpages = {14},
keywords = {consistency, verification, replicated data types},
location = {Phoenix, AZ, USA},
series = {PLDI 2019}
}
@book{Weikum01,
author = {Weikum, Gerhard and Vossen, Gottfried},
title = {Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery},
year = {2001},
isbn = {1558605088},
publisher = {Morgan Kaufmann Publishers Inc.},
address = {San Francisco, CA, USA}
}
@article{Wei16,
author = {Wei, Hengfeng and De Biasi, Marzio and Huang, Yu and
Cao, Jiannong and Lu, Jian},
title = {Verifying Pipelined-RAM Consistency over Read/Write Traces
of Data Replicas},
journal = {IEEE Trans. Parallel Distrib. Syst.},
issue_date = {May 2016},
volume = {27},
number = {5},
month = may,
year = {2016},
issn = {1045-9219},
pages = {1511--1523},
numpages = {13},
url = {http://dx.doi.org/10.1109/TPDS.2015.2453985},
doi = {10.1109/TPDS.2015.2453985},
acmid = {2927597},
publisher = {IEEE Press},
address = {Piscataway, NJ, USA},
}
@article{Wei17,
author = {Wei, Hengfeng and Huang, Yu and Lu, Jian},
title = {Probabilistically-Atomic 2-Atomicity: Enabling
Almost Strong Consistency in Distributed Storage Systems},
journal = {IEEE Trans. Comput.},
issue_date = {March 2017},
volume = {66},
number = {3},
month = mar,
year = {2017},
issn = {0018-9340},
pages = {502--514},
numpages = {13},
url = {https://doi.org/10.1109/TC.2016.2601322},
doi = {10.1109/TC.2016.2601322},
acmid = {3057906},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@inproceedings{Wei18,
author = {Hengfeng Wei and Yu Huang and Jian Lu},
title = {Specification and Implementation of Replicated List:
The Jupiter Protocol Revisited},
booktitle = {22nd International Conference on Principles of Distributed
Systems, {OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
pages = {12:1--12:16},
year = {2018},
crossref = {DBLP:conf/opodis/2018},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.12},
doi = {10.4230/LIPIcs.OPODIS.2018.12},
timestamp = {Sat, 19 Jan 2019 13:30:42 +0100},
}
@inproceedings{Wilcox15,
author = {Wilcox, James R. and Woos, Doug and Panchekha, Pavel and
Tatlock, Zachary and Wang, Xi and Ernst, Michael D. and Anderson, Thomas},
title = {Verdi: A Framework for Implementing and Formally Verifying
Distributed Systems},
booktitle = {Proceedings of the 36th ACM SIGPLAN Conference on
Programming Language Design and Implementation},
series = {PLDI '15},
year = {2015},
isbn = {978-1-4503-3468-6},
location = {Portland, OR, USA},
pages = {357--368},
numpages = {12},
url = {http://doi.acm.org/10.1145/2737924.2737958},
doi = {10.1145/2737924.2737958},
acmid = {2737958},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Coq, Formal verification, Verdi, distributed systems,
proof assistants},
}
@INPROCEEDINGS{Wu18,
author={C. {Wu} and J. {Faleiro} and Y. {Lin} and J. {Hellerstein}},
booktitle={2018 IEEE 34th International Conference on Data Engineering (ICDE)},
title={Anna: A KVS for Any Scale},
year={2018},
volume={},
number={},
pages={401-412},
}
@inproceedings{Xiang19,
author = {Xiang, Zhuolun and Vaidya, Nitin H.},
title = {Partially Replicated Causally Consistent Shared Memory: Lower Bounds and An Algorithm},
booktitle = {Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing},
series = {PODC '19},
year = {2019},
isbn = {978-1-4503-6217-7},
location = {Toronto ON, Canada},
pages = {425--434},
numpages = {10},
url = {http://doi.acm.org/10.1145/3293611.3331600},
doi = {10.1145/3293611.3331600},
acmid = {3331600},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {causal consistency, distributed shared memory, lower bounds, tight conditions},
}
@inproceedings{Yang04,
author = {Yang, Junfeng and Twohey, Paul and Engler, Dawson and
Musuvathi, Madanlal},
title = {Using Model Checking to Find Serious File System Errors},
booktitle = {Proceedings of the 6th Conference on Symposium on
Operating Systems Design \& Implementation - Volume 6},
series = {OSDI'04},
year = {2004},
location = {San Francisco, CA},
pages = {19--19},
numpages = {1},
url = {http://dl.acm.org/citation.cfm?id=1251254.1251273},
acmid = {1251273},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Yang06,
author = {Yang, Junfeng and Sar, Can and Engler, Dawson},
title = {EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors},
year = {2006},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7},
pages = {10},
numpages = {1},
location = {Seattle, WA},
series = {OSDI '06}
}
@InProceedings{Yang09,
author = {Yang, Junfeng and Chen, Tisheng and Wu, Ming and Xu, Zhilei and Liu, Xuezheng and Lin, Haoxiang and Yang, Mao and Long, Fan and Zhang, Lintao and Zhou, Lidong},
title = {MODIST: Transparent Model Checking of Unmodified Distributed Systems},
booktitle = {NSDI'09},
year = {2009},
month = {April},
publisher = {USENIX},
pages = {213-228},
}
@inproceedings{Yao21,
author = {Jianan Yao and
Runzhou Tao and
Ronghui Gu and
Jason Nieh and
Suman Jana and
Gabriel Ryan},
editor = {Angela Demke Brown and
Jay R. Lorch},
title = {DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols},
booktitle = {15th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2021, July 14-16, 2021},
pages = {405--421},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/osdi21/presentation/yao},
timestamp = {Thu, 12 Aug 2021 18:19:16 +0200},
}
@inproceedings{10.1145/3458336.3465299,
author = {Yoo, Andrew and Wang, Yuanli and Sinha, Ritesh and Mu, Shuai and Xu, Tianyin},
title = {Fail-Slow Fault Tolerance Needs Programming Support},
year = {2021},
isbn = {9781450384384},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3458336.3465299},
doi = {10.1145/3458336.3465299},
booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems},
pages = {228-235},
numpages = {8},
keywords = {fault tolerance, consensus, distributed systems, fail slow},
location = {Ann Arbor, Michigan},
series = {HotOS'21}
}
@inproceedings{Yu02-PODC,
author = {Yu, Haifeng and Vahdat, Amin},
title = {Minimal Replication Cost for Availability},
booktitle = {Proceedings of the Twenty-first Annual Symposium on
Principles of Distributed Computing},
series = {PODC '02},
year = {2002},
isbn = {1-58113-485-1},
location = {Monterey, California},
pages = {98--107},
numpages = {10},
url = {http://doi.acm.org/10.1145/571825.571839},
doi = {10.1145/571825.571839},
acmid = {571839},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Yu02-TOCS,
author = {Yu, Haifeng and Vahdat, Amin},
title = {Design and Evaluation of a Conit-based Continuous
Consistency Model for Replicated Services},
journal = {ACM Trans. Comput. Syst.},
issue_date = {August 2002},
volume = {20},
number = {3},
month = aug,
year = {2002},
issn = {0734-2071},
pages = {239--282},
numpages = {44},
url = {http://doi.acm.org/10.1145/566340.566342},
doi = {10.1145/566340.566342},
acmid = {566342},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Conit, consistency model, continuous consistency,
network services, relaxed consistency, replication},
}
@inproceedings{Yuan14,
author = {Yuan, Ding and Luo, Yu and Zhuang, Xin and Rodrigues, Guilherme Renna and Zhao, Xu and Zhang, Yongle and Jain, Pranay U. and Stumm, Michael},
title = {Simple Testing Can Prevent Most Critical Failures: An Analysis of Production Failures in Distributed Data-Intensive Systems},
year = {2014},
isbn = {9781931971164},
publisher = {USENIX Association},
address = {USA},
booktitle = {Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation},
pages = {249-265},
numpages = {17},
location = {Broomfield, CO},
series = {OSDI'14}
}
@inproceedings{Zawirski15,
author = {Zawirski, Marek and Pregui\c{c}a, Nuno and
Duarte, S{\'e}rgio and Bieniusa, Annette and
Balegas, Valter and Shapiro, Marc},
title = {Write Fast, Read in the Past: Causal Consistency
for Client-Side Applications},
booktitle = {Proceedings of the 16th Annual Middleware Conference},
series = {Middleware '15},
year = {2015},
isbn = {978-1-4503-3618-5},
location = {Vancouver, BC, Canada},
pages = {75--87},
numpages = {13},
url = {http://doi.acm.org/10.1145/2814576.2814733 },
doi = {10.1145/2814576.2814733},
acmid = {2814733},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Causal Consistency, Client-side Storage,
Eventual Consistency, Fault Tolerance, Geo-replication},
}
@InProceedings{Zennou19,
author="Zennou, Rachid
and Bouajjani, Ahmed
and Enea, Constantin
and Erradi, Mohammed",
editor="Dillig, Isil
and Tasiran, Serdar",
title="Gradual Consistency Checking",
booktitle="Computer Aided Verification",
year="2019",
publisher="Springer International Publishing",
address="Cham",
pages="267--285",
isbn="978-3-030-25543-5"
}
@inproceedings{Zhang14,
author = {Zhang, Irene and Szekeres, Adriana and Van Aken, Dana and
Ackerman, Isaac and Gribble, Steven D. and Krishnamurthy, Arvind and
Levy, Henry M.},
title = {Customizable and Extensible Deployment for Mobile/Cloud Applications},
booktitle = {Proceedings of the 11th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'14},
year = {2014},
isbn = {978-1-931971-16-4},
location = {Broomfield, CO},
pages = {97--112},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2685048.2685057 },
acmid = {2685057},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Zhang15,
author = {Zhang, Irene and Sharma, Naveen Kr. and Szekeres, Adriana and Krishnamurthy, Arvind and Ports, Dan R. K.},
title = {Building Consistent Transactions with Inconsistent Replication},
year = {2015},
isbn = {9781450338349},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2815400.2815404},
doi = {10.1145/2815400.2815404},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles},
pages = {263-278},
numpages = {16},
location = {Monterey, California},
series = {SOSP'15}
}
@inproceedings{Zhang16,
author = {Zhang, Irene and Lebeck, Niel and Fonseca, Pedro and
Holt, Brandon and Cheng, Raymond and Norberg, Ariadna and
Krishnamurthy, Arvind and Levy, Henry M.},
title = {Diamond: Automating Data Management and
Storage for Wide-area, Reactive Applications},
booktitle = {Proceedings of the 12th USENIX Conference on
Operating Systems Design and Implementation},
series = {OSDI'16},
year = {2016},
isbn = {978-1-931971-33-1},
location = {Savannah, GA, USA},
pages = {723--738},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=3026877.3026933},
acmid = {3026933},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings {Zhang18,
author = {Qiao Zhang and Guo Yu and Chuanxiong Guo and Yingnong Dang and
Nick Swanson and Xinsheng Yang and Randolph Yao and
Murali Chintalapati and Arvind Krishnamurthy and Thomas Anderson},
title = {Deepview: Virtual Disk Failure Diagnosis and Pattern Detection for Azure},
booktitle = {15th {USENIX} Symposium on Networked Systems
Design and Implementation ({NSDI} 18)},
year = {2018},
isbn = {978-1-939133-01-4},
address = {Renton, WA},
pages = {519--532},
url = {https://www.usenix.org/conference/nsdi18/presentation/zhang-qiao},
publisher = {{USENIX} Association},
}
@inproceedings{Zhao14,
author = {Zhao, Xu and Zhang, Yongle and Lion, David and Ullah, Muhammad Faizan and Luo, Yu and Yuan, Ding and Stumm, Michael},
title = {Lprof: A Non-intrusive Request Flow Profiler for Distributed Systems},
booktitle = {Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation},
series = {OSDI'14},
year = {2014},
isbn = {978-1-931971-16-4},
location = {Broomfield, CO},
pages = {629--644},
numpages = {16},
url = {http://dl.acm.org/citation.cfm?id=2685048.2685099},
acmid = {2685099},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
}
@inproceedings{Zhou21,
author = {Zhou, Jingyu and Xu, Meng and Shraer, Alexander and Namasivayam, Bala and Miller, Alex and Tschannen, Evan and Atherton, Steve and Beamon, Andrew J. and Sears, Rusty and Leach, John and Rosenthal, Dave and Dong, Xin and Wilson, Will and Collins, Ben and Scherer, David and Grieser, Alec and Liu, Young and Moore, Alvin and Muppana, Bhaskar and Su, Xiaoge and Yadav, Vishesh},
title = {FoundationDB: A Distributed Unbundled Transactional Key Value Store},
year = {2021},
isbn = {9781450383431},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3448016.3457559},
booktitle = {Proceedings of the 2021 International Conference on Management of Data},
pages = {2653-2666},
numpages = {14}
}