{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T22:04:07Z","timestamp":1778537047685,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-17-1-0367"],"award-info":[{"award-number":["FA9550-17-1-0367"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS1816487,CNS-2045976"],"award-info":[{"award-number":["CNS1816487,CNS-2045976"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,26]]},"DOI":"10.1145\/3477132.3483582","type":"proceedings-article","created":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T15:59:18Z","timestamp":1634659158000},"page":"472-487","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Rabia"],"prefix":"10.1145","author":[{"given":"Haochen","family":"Pan","sequence":"first","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Tuglu","sequence":"additional","affiliation":[{"name":"University of Michigan, Ann Arbor, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neo","family":"Zhou","sequence":"additional","affiliation":[{"name":"Boston College, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianshu","family":"Wang","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yicheng","family":"Shen","sequence":"additional","affiliation":[{"name":"Boston College, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiong","family":"Zheng","sequence":"additional","affiliation":[{"name":"Google, Inc., Kirkland, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Tassarotti","sequence":"additional","affiliation":[{"name":"Boston College, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lewis","family":"Tseng","sequence":"additional","affiliation":[{"name":"Boston College, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Palmieri","sequence":"additional","affiliation":[{"name":"Lehigh University, Bethlehem, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A distributed, reliable key-value store for the most critical data of a distributed system. https:\/\/etcd.io\/, accessed","year":"2021","unstructured":"etcd : A distributed, reliable key-value store for the most critical data of a distributed system. https:\/\/etcd.io\/, accessed May 2021 . etcd: A distributed, reliable key-value store for the most critical data of a distributed system. https:\/\/etcd.io\/, accessed May 2021."},{"key":"e_1_3_2_1_2_1","volume-title":"Strongly-consistent Redis deployments. https:\/\/github.com\/RedisLabs\/redisraft, accessed","year":"2020","unstructured":"RedisRaft : Strongly-consistent Redis deployments. https:\/\/github.com\/RedisLabs\/redisraft, accessed December 2020 . RedisRaft: Strongly-consistent Redis deployments. https:\/\/github.com\/RedisLabs\/redisraft, accessed December 2020."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/www.cockroachlabs.com\/docs\/stable\/architecture\/replication-layer.html, accessed","author":"Docs Replication Layer","year":"2020","unstructured":"Replication Layer | CockroachDB Docs . https:\/\/www.cockroachlabs.com\/docs\/stable\/architecture\/replication-layer.html, accessed December 2020 . Replication Layer | CockroachDB Docs. https:\/\/www.cockroachlabs.com\/docs\/stable\/architecture\/replication-layer.html, accessed December 2020."},{"key":"e_1_3_2_1_4_1","volume-title":"high availability. https:\/\/rethinkdb.com\/blog\/2.1-release\/, accessed","author":"DB","year":"2020","unstructured":"Rethink DB 2.1 : high availability. https:\/\/rethinkdb.com\/blog\/2.1-release\/, accessed December 2020 . RethinkDB 2.1: high availability. https:\/\/rethinkdb.com\/blog\/2.1-release\/, accessed December 2020."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_20"},{"key":"e_1_3_2_1_6_1","first-page":"599","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020","author":"Aguilera Marcos K.","year":"2020","unstructured":"Marcos K. Aguilera , Naama Ben-David , Rachid Guerraoui , Virendra J. Marathe , Athanasios Xygkis , and Igor Zablotchi . Microsecond consensus for microsecond applications . In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020 , Virtual Event , November 4-6, 2020 , pages 599 -- 616 , 2020. Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Virendra J. Marathe, Athanasios Xygkis, and Igor Zablotchi. Microsecond consensus for microsecond applications. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020, pages 599--616, 2020."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-012-0162-z"},{"key":"e_1_3_2_1_8_1","volume-title":"Rethinkdb 2.2.3 reconfiguration. https:\/\/aphyr.com\/posts\/330-jepsen-rethinkdb-2-2-3-reconfiguration. Technical report","author":"Jepsen Kyle Kingsbury","year":"2016","unstructured":"Kyle Kingsbury (Aphyr). Jepsen : Rethinkdb 2.2.3 reconfiguration. https:\/\/aphyr.com\/posts\/330-jepsen-rethinkdb-2-2-3-reconfiguration. Technical report , 2016 . Kyle Kingsbury (Aphyr). Jepsen: Rethinkdb 2.2.3 reconfiguration. https:\/\/aphyr.com\/posts\/330-jepsen-rethinkdb-2-2-3-reconfiguration. Technical report, 2016."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/jepsen.io\/analyses\/redis-raft-1b3fbf6. Technical report","author":"Kyle Kingsbury","year":"2020","unstructured":"Kyle Kingsbury (Aphyr). Redis-raft 1b3fbf6. https:\/\/jepsen.io\/analyses\/redis-raft-1b3fbf6. Technical report , 2020 . Kyle Kingsbury (Aphyr). Redis-raft 1b3fbf6. https:\/\/jepsen.io\/analyses\/redis-raft-1b3fbf6. Technical report, 2020."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2017.35"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-002-0081-5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254756.2254766"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806707"},{"key":"e_1_3_2_1_14_1","volume-title":"30th International Conference on Concurrency Theory, CONCUR 2019","author":"Bertrand Nathalie","year":"2019","unstructured":"Nathalie Bertrand , Igor Konnov , Marijana Lazic , and Josef Widder . Verification of randomized consensus algorithms under round-rigid adversaries . In 30th International Conference on Concurrency Theory, CONCUR 2019 , August 27-30, 2019 , Amsterdam, the Netherlands, pages 33:1--33:15 , 2019. Nathalie Bertrand, Igor Konnov, Marijana Lazic, and Josef Widder. Verification of randomized consensus algorithms under round-rigid adversaries. In 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands, pages 33:1--33:15, 2019."},{"key":"e_1_3_2_1_15_1","first-page":"49","volume-title":"2013 USENIX Annual Technical Conference","author":"Bronson Nathan","year":"2013","unstructured":"Nathan Bronson , Zach Amsden , George Cabrera , Prasad Chakka , Peter Dimov , Hui Ding , Jack Ferris , Anthony Giardullo , Sachin Kulkarni , Harry C. Li , Mark Marchukov , Dmitri Petrov , Lovro Puzar , Yee Jiun Song , and Venkateshwaran Venkataramani . TAO : facebook's distributed data store for the social graph. In Andrew Birrell and Emin G\u00fcn Sirer, editors , 2013 USENIX Annual Technical Conference , San Jose, CA, USA , June 26-28, 2013 , pages 49 -- 60 . USENIX Association, 2013. Nathan Bronson, Zach Amsden, George Cabrera, Prasad Chakka, Peter Dimov, Hui Ding, Jack Ferris, Anthony Giardullo, Sachin Kulkarni, Harry C. Li, Mark Marchukov, Dmitri Petrov, Lovro Puzar, Yee Jiun Song, and Venkateshwaran Venkataramani. TAO: facebook's distributed data store for the social graph. In Andrew Birrell and Emin G\u00fcn Sirer, editors, 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013, pages 49--60. USENIX Association, 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"7th Symposium on Operating Systems Design and Implementation (OSDI '06)","author":"Burrows Michael","year":"2006","unstructured":"Michael Burrows . The chubby lock service for loosely-coupled distributed systems. In Brian N. Bershad and Jeffrey C. Mogul, editors , 7th Symposium on Operating Systems Design and Implementation (OSDI '06) , November 6-8, Seattle, WA, USA, pages 335--350. USENIX Association , 2006 . Michael Burrows. The chubby lock service for loosely-coupled distributed systems. In Brian N. Bershad and Jeffrey C. Mogul, editors, 7th Symposium on Operating Systems Design and Implementation (OSDI '06), November 6-8, Seattle, WA, USA, pages 335--350. USENIX Association, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-005-0318-0"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"20th International Conference on Principles of Distributed Systems, OPODIS 2016","volume":"70","author":"Cachin Christian","year":"2016","unstructured":"Christian Cachin , Simon Schubert , and Marko Vukolic . Non-determinism in byzantine fault-tolerant replication. In Panagiota Fatourou, Ernesto Jim\u00e9nez, and Fernando Pedone, editors , 20th International Conference on Principles of Distributed Systems, OPODIS 2016 , December 13-16, 2016 , Madrid, Spain , volume 70 of LIPIcs, pages 24: 1 -- 24 :16. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2016. Christian Cachin, Simon Schubert, and Marko Vukolic. Non-determinism in byzantine fault-tolerant replication. In Panagiota Fatourou, Ernesto Jim\u00e9nez, and Fernando Pedone, editors, 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, volume 70 of LIPIcs, pages 24:1--24:16. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2016."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043571"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281103"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.02.001"},{"key":"e_1_3_2_1_22_1","first-page":"251","volume-title":"10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012","author":"Corbett James C.","year":"2012","unstructured":"James C. Corbett , Jeffrey Dean , Michael Epstein , Andrew Fikes , Christopher Frost , J. J. Furman , Sanjay Ghemawat , Andrey Gubarev , Christopher Heiser , Peter Hochschild , Wilson C. Hsieh , Sebastian Kanthak , Eugene Kogan , Hongyi Li , Alexander Lloyd , Sergey Melnik , David Mwaura , David Nagle , Sean Quinlan , Rajesh Rao , Lindsay Rolig , Yasushi Saito , Michal Szymaniak , Christopher Taylor , Ruth Wang , and Dale Woodford . Spanner : Google's globally-distributed database. In Chandu Thekkath and Amin Vahdat, editors , 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012 , Hollywood, CA, USA , October 8-10, 2012 , pages 251 -- 264 . USENIX Association, 2012. James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. Spanner: Google's globally-distributed database. In Chandu Thekkath and Amin Vahdat, editors, 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012, pages 251--264. USENIX Association, 2012."},{"key":"e_1_3_2_1_23_1","volume-title":"A simple and efficient asynchronous randomized binary byzantine consensus algorithm","author":"Crain Tyler","year":"2020","unstructured":"Tyler Crain . A simple and efficient asynchronous randomized binary byzantine consensus algorithm , 2020 . Tyler Crain. A simple and efficient asynchronous randomized binary byzantine consensus algorithm, 2020."},{"key":"e_1_3_2_1_24_1","first-page":"1","volume-title":"Proceedings of the USENIX Annual Technical Conference (ATC)","author":"Duplyakin Dmitry","year":"2019","unstructured":"Dmitry Duplyakin , Robert Ricci , Aleksander Maricq , Gary Wong , Jonathon Duerig , Eric Eide , Leigh Stoller , Mike Hibler , David Johnson , Kirk Webb , Aditya Akella , Kuangching Wang , Glenn Ricart , Larry Landweber , Chip Elliott , Michael Zink , Emmanuel Cecchet , Snigdhaswin Kar , and Prabodh Mishra . The design and operation of CloudLab . In Proceedings of the USENIX Annual Technical Conference (ATC) , pages 1 -- 14 , July 2019 . Dmitry Duplyakin, Robert Ricci, Aleksander Maricq, Gary Wong, Jonathon Duerig, Eric Eide, Leigh Stoller, Mike Hibler, David Johnson, Kirk Webb, Aditya Akella, Kuangching Wang, Glenn Ricart, Larry Landweber, Chip Elliott, Michael Zink, Emmanuel Cecchet, Snigdhaswin Kar, and Prabodh Mishra. The design and operation of CloudLab. In Proceedings of the USENIX Annual Technical Conference (ATC), pages 1--14, July 2019."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387543"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2001.922837"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1012889.1012894"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.2004.1353024"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2005.13"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132757"},{"key":"e_1_3_2_1_32_1","volume-title":"Instructors' guide to raft. https:\/\/thesquareplanet.com\/blog\/instructors-guide-to-raft\/","author":"Gjengset Jon","year":"2016","unstructured":"Jon Gjengset . Instructors' guide to raft. https:\/\/thesquareplanet.com\/blog\/instructors-guide-to-raft\/ , 2016 . Jon Gjengset. Instructors' guide to raft. https:\/\/thesquareplanet.com\/blog\/instructors-guide-to-raft\/, 2016."},{"key":"e_1_3_2_1_33_1","volume-title":"made thrive. https:\/\/www.cockroachlabs.com\/blog\/consensus-made-thrive\/","author":"Grieger Tobias","year":"2016","unstructured":"Tobias Grieger . Consensus , made thrive. https:\/\/www.cockroachlabs.com\/blog\/consensus-made-thrive\/ , 2016 . Tobias Grieger. Consensus, made thrive. https:\/\/www.cockroachlabs.com\/blog\/consensus-made-thrive\/, 2016."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3068608"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.2004.1353004"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132764"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958223"},{"key":"e_1_3_2_1_38_1","volume-title":"The part-time parliament. ACM Transactions on Computer Systems (TOCS), 16(2):133--169","author":"Lamport Leslie","year":"1998","unstructured":"Leslie Lamport . The part-time parliament. ACM Transactions on Computer Systems (TOCS), 16(2):133--169 , 1998 . Leslie Lamport. The part-time parliament. ACM Transactions on Computer Systems (TOCS), 16(2):133--169, 1998."},{"issue":"4","key":"e_1_3_2_1_39_1","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"Leslie Lamport","year":"2001","unstructured":"Leslie Lamport et al . Paxos made simple . ACM Sigact News , 32 ( 4 ): 18 -- 25 , 2001 . Leslie Lamport et al. Paxos made simple. ACM Sigact News, 32(4):18--25, 2001.","journal-title":"ACM Sigact News"},{"key":"e_1_3_2_1_40_1","first-page":"312","volume-title":"PODC","author":"Lamport Leslie","year":"2009","unstructured":"Leslie Lamport , Dahlia Malkhi , and Lidong Zhou . Vertical paxos and primary-backup replication. In Srikanta Tirthapura and Lorenzo Alvisi, editors , PODC , pages 312 -- 313 . ACM, 2009 . Leslie Lamport, Dahlia Malkhi, and Lidong Zhou. Vertical paxos and primary-backup replication. In Srikanta Tirthapura and Lorenzo Alvisi, editors, PODC, pages 312--313. ACM, 2009."},{"key":"e_1_3_2_1_41_1","first-page":"467","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016","author":"Li Jialin","year":"2016","unstructured":"Jialin Li , Ellis Michael , Naveen Kr. Sharma , Adriana Szekeres , and Dan R. K. Ports . Just say NO to paxos overhead: Replacing consensus with network ordering. In Kimberly Keeton and Timothy Roscoe, editors , 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016 , Savannah, GA, USA , November 2-4, 2016 , pages 467 -- 483 . USENIX Association, 2016. Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, and Dan R. K. Ports. Just say NO to paxos overhead: Replacing consensus with network ordering. In Kimberly Keeton and Timothy Roscoe, editors, 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016, pages 467--483. USENIX Association, 2016."},{"key":"e_1_3_2_1_42_1","first-page":"313","volume-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013","author":"Lloyd Wyatt","year":"2013","unstructured":"Wyatt Lloyd , Michael J. Freedman , Michael Kaminsky , and David G. Andersen . Stronger semantics for low-latency geo-replicated storage. In Nick Feamster and Jeffrey C. Mogul, editors , Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013 , Lombard, IL, USA , April 2-5, 2013 , pages 313 -- 328 . USENIX Association, 2013. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. Stronger semantics for low-latency geo-replicated storage. In Nick Feamster and Jeffrey C. Mogul, editors, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013, Lombard, IL, USA, April 2-5, 2013, pages 313--328. USENIX Association, 2013."},{"key":"e_1_3_2_1_43_1","first-page":"369","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings","author":"Mao Yanhua","year":"2008","unstructured":"Yanhua Mao , Flavio Paiva Junqueira , and Keith Marzullo . Mencius : Building efficient replicated state machine for wans. In Richard Draves and Robbert van Renesse, editors , 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings , pages 369 -- 384 . USENIX Association , 2008 . Yanhua Mao, Flavio Paiva Junqueira, and Keith Marzullo. Mencius: Building efficient replicated state machine for wans. In Richard Draves and Robbert van Renesse, editors, 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, pages 369--384. USENIX Association, 2008."},{"key":"e_1_3_2_1_44_1","first-page":"369","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings","author":"Mao Yanhua","year":"2008","unstructured":"Yanhua Mao , Flavio Paiva Junqueira , and Keith Marzullo . Mencius : Building efficient replicated state machine for wans. In Richard Draves and Robbert van Renesse, editors , 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings , pages 369 -- 384 . USENIX Association , 2008 . Yanhua Mao, Flavio Paiva Junqueira, and Keith Marzullo. Mencius: Building efficient replicated state machine for wans. In Richard Draves and Robbert van Renesse, editors, 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, pages 369--384. USENIX Association, 2008."},{"key":"e_1_3_2_1_45_1","first-page":"217","volume-title":"CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II","author":"Maric Ognjen","year":"2017","unstructured":"Ognjen Maric , Christoph Sprenger , and David A. Basin . Cutoff bounds for consensus algorithms. In Computer Aided Verification - 29th International Conference , CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II , pages 217 -- 237 , 2017 . Ognjen Maric, Christoph Sprenger, and David A. Basin. Cutoff bounds for consensus algorithms. In Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, pages 217--237, 2017."},{"key":"e_1_3_2_1_46_1","first-page":"190","volume-title":"CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II","author":"Kenneth","year":"2020","unstructured":"Kenneth L. McMillan and Oded Padon. Ivy: A multi-modal verification tool for distributed algorithms. In Computer Aided Verification - 32nd International Conference , CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II , pages 190 -- 202 , 2020 . Kenneth L. McMillan and Oded Padon. Ivy: A multi-modal verification tool for distributed algorithms. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, pages 190--202, 2020."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978399"},{"key":"e_1_3_2_1_48_1","first-page":"358","volume-title":"ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13","author":"Moraru Iulian","year":"2013","unstructured":"Iulian Moraru , David G. Andersen , and Michael Kaminsky . There is more consensus in egalitarian parliaments. In Michael Kaminsky and Mike Dahlin, editors , ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13 , Farmington, PA, USA , November 3-6, 2013 , pages 358 -- 372 . ACM, 2013. Iulian Moraru, David G. Andersen, and Michael Kaminsky. There is more consensus in egalitarian parliaments. In Michael Kaminsky and Mike Dahlin, editors, ACM SIGOPS 24th Symposium on Operating Systems Principles, SOSP '13, Farmington, PA, USA, November 3-6, 2013, pages 358--372. ACM, 2013."},{"key":"e_1_3_2_1_49_1","first-page":"2","volume-title":"ACM Symposium on Principles of Distributed Computing, PODC '14","author":"Most\u00e9faoui Achour","year":"2014","unstructured":"Achour Most\u00e9faoui , Moumen Hamouma , and Michel Raynal . Signature-free asynchronous byzantine consensus with t 2<n\/3 and o(n2) messages. In Magn\u00fas M. Halld\u00f3rsson and Shlomi Dolev, editors , ACM Symposium on Principles of Distributed Computing, PODC '14 , Paris, France , July 15-18, 2014 , pages 2 -- 9 . ACM, 2014. Achour Most\u00e9faoui, Moumen Hamouma, and Michel Raynal. Signature-free asynchronous byzantine consensus with t 2<n\/3 and o(n2) messages. In Magn\u00fas M. Halld\u00f3rsson and Shlomi Dolev, editors, ACM Symposium on Principles of Distributed Computing, PODC '14, Paris, France, July 15-18, 2014, pages 2--9. ACM, 2014."},{"key":"e_1_3_2_1_50_1","volume-title":"Bitcoin: A peer-to-peer electronic cash system","author":"Nakamoto Satoshi","year":"2009","unstructured":"Satoshi Nakamoto . Bitcoin: A peer-to-peer electronic cash system , 2009 . Satoshi Nakamoto. Bitcoin: A peer-to-peer electronic cash system, 2009."},{"key":"e_1_3_2_1_51_1","first-page":"385","volume-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013","author":"Nishtala Rajesh","year":"2013","unstructured":"Rajesh Nishtala , Hans Fugal , Steven Grimm , Marc Kwiatkowski , Herman Lee , Harry C. Li , Ryan McElroy , Mike Paleczny , Daniel Peek , Paul Saab , David Stafford , Tony Tung , and Venkateshwaran Venkataramani . Scaling memcache at facebook. In Nick Feamster and Jeffrey C. Mogul, editors , Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013 , Lombard, IL, USA , April 2-5, 2013 , pages 385 -- 398 . USENIX Association, 2013. Rajesh Nishtala, Hans Fugal, Steven Grimm, Marc Kwiatkowski, Herman Lee, Harry C. Li, Ryan McElroy, Mike Paleczny, Daniel Peek, Paul Saab, David Stafford, Tony Tung, and Venkateshwaran Venkataramani. Scaling memcache at facebook. In Nick Feamster and Jeffrey C. Mogul, editors, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013, Lombard, IL, USA, April 2-5, 2013, pages 385--398. USENIX Association, 2013."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/2643634.2643666"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140568"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483582"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/645333.649852"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.23"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.48"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94141-7"},{"key":"e_1_3_2_1_59_1","first-page":"1","volume-title":"34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference","volume":"179","author":"Rezende Tuanir Fran\u00e7a","year":"2020","unstructured":"Tuanir Fran\u00e7a Rezende and Pierre Sutra . Leaderless state-machine replication: Specification, properties, limits. In Hagit Attiya, editor , 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference , volume 179 of LIPIcs, pages 24: 1 -- 24 :17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , 2020 . Tuanir Fran\u00e7a Rezende and Pierre Sutra. Leaderless state-machine replication: Specification, properties, limits. In Hagit Attiya, editor, 34th International Symposium on Distributed Computing, DISC 2020, October 12-16, 2020, Virtual Conference, volume 179 of LIPIcs, pages 24:1--24:17. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 2020."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192414"},{"key":"e_1_3_2_1_62_1","volume-title":"July","author":"Development Team The Coq","year":"2020","unstructured":"The Coq Development Team . The Coq Proof Assistant, version 8.12.0 , July 2020 . The Coq Development Team. The Coq Proof Assistant, version 8.12.0, July 2020."},{"key":"e_1_3_2_1_63_1","volume-title":"February","author":"Renesse Robbert Van","year":"2015","unstructured":"Robbert Van Renesse and Deniz Altinbuken . Paxos made moderately complex. ACM Comput. Surv., 47(3) , February 2015 . Robbert Van Renesse and Deniz Altinbuken. Paxos made moderately complex. ACM Comput. Surv., 47(3), February 2015."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290372"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476273"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2009.06.004"}],"event":{"name":"SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles","location":"Virtual Event Germany","acronym":"SOSP '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483582","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477132.3483582","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477132.3483582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:02Z","timestamp":1750193342000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483582"}},"subtitle":["Simplifying State-Machine Replication Through Randomization"],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":67,"alternative-id":["10.1145\/3477132.3483582","10.1145\/3477132"],"URL":"https:\/\/doi.org\/10.1145\/3477132.3483582","relation":{},"subject":[],"published":{"date-parts":[[2021,10,26]]},"assertion":[{"value":"2021-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}