{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:11Z","timestamp":1750220351332,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T00:00:00Z","timestamp":1626825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000142012751"],"award-info":[{"award-number":["N000142012751"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1414078 and CCF-1954837"],"award-info":[{"award-number":["CCF-1414078 and CCF-1954837"]}],"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,7,21]]},"DOI":"10.1145\/3465084.3467947","type":"proceedings-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T21:09:28Z","timestamp":1627074568000},"page":"565-568","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Brief Announcement: What's Live? Understanding Distributed Consensus"],"prefix":"10.1145","author":[{"given":"Saksham","family":"Chand","sequence":"first","affiliation":[{"name":"Stony Brook university, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhong A.","family":"Liu","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_2_1_1","DOI":"10.1007\/s004460050070"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_3_1","DOI":"10.1145\/210223.210224"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_5_1","DOI":"10.5555\/850928.851856"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_6_1","DOI":"10.1145\/37499.37515"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_7_1","DOI":"10.1145\/7351.7478"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_9_1","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_2_10_1","volume-title":"Liu","author":"Chand Saksham","year":"2020","unstructured":"Saksham Chand and Yanhong A . Liu . 2020 . What's live? Understanding Distributed Consensus. Computing Research Repository , Vol. normalfont arXiv: 2001 .04787 [cs.DC] (Jan. 2020). http:\/\/arxiv.org\/abs\/2001.04787 Saksham Chand and Yanhong A. Liu. 2020. What's live? Understanding Distributed Consensus. Computing Research Repository, Vol. normalfont arXiv:2001.04787 [cs.DC] (Jan. 2020). http:\/\/arxiv.org\/abs\/2001.04787"},{"volume-title":"Formal Verification of Multi-Paxos for Distributed Consensus. In FM 2016: Formal Methods","author":"Chand Saksham","unstructured":"Saksham Chand , Yanhong A. Liu , and Scott D. Stoller . 2016 . Formal Verification of Multi-Paxos for Distributed Consensus. In FM 2016: Formal Methods ( Limassol, Cyprus) (FM '16). Springer International Publishing, Cham, Switzerland, 119--136. https:\/\/doi.org\/10.1007\/978-3-319-48989-6_8 Saksham Chand, Yanhong A. Liu, and Scott D. Stoller. 2016. Formal Verification of Multi-Paxos for Distributed Consensus. In FM 2016: Formal Methods (Limassol, Cyprus) (FM '16). Springer International Publishing, Cham, Switzerland, 119--136. https:\/\/doi.org\/10.1007\/978-3-319-48989-6_8","key":"e_1_3_2_2_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_12_1","DOI":"10.1145\/1281100.1281103"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_13_1","DOI":"10.1145\/226643.226647"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_14_1","DOI":"10.1016\/S0304-3975(00)00042-6"},{"key":"e_1_3_2_2_15_1","first-page":"1","article-title":"PSync","volume":"51","author":"Druagoi Cezara","year":"2016","unstructured":"Cezara Druagoi , Thomas A. Henzinger , and Damien Zufferey . 2016 . PSync : A Partially Synchronous Language for Fault-tolerant Distributed Algorithms. SIGPLAN Not. , Vol. 51 , 1 (Jan. 2016), 400--415. https:\/\/doi.org\/10.1145\/2914770.2837650 Cezara Druagoi, Thomas A. Henzinger, and Damien Zufferey. 2016. PSync: A Partially Synchronous Language for Fault-tolerant Distributed Algorithms. SIGPLAN Not., Vol. 51, 1 (Jan. 2016), 400--415. https:\/\/doi.org\/10.1145\/2914770.2837650","journal-title":"A Partially Synchronous Language for Fault-tolerant Distributed Algorithms. SIGPLAN Not."},{"volume-title":"Programming Languages and Systems (Thessaloniki, Greece) (ESOP '18)","author":"Garc'ia-P\u00e9rez \u00c1lvaro","unstructured":"\u00c1lvaro Garc'ia-P\u00e9rez , Alexey Gotsman , Yuri Meshman , and Ilya Sergey . 2018a. Paxos Consensus , Deconstructed and Abstracted . In Programming Languages and Systems (Thessaloniki, Greece) (ESOP '18) . Springer International Publishing , Cham, Switzerland , 912--939. https:\/\/doi.org\/10.1007\/978-3-319-89884-1_32 \u00c1lvaro Garc'ia-P\u00e9rez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey. 2018a. Paxos Consensus, Deconstructed and Abstracted. In Programming Languages and Systems (Thessaloniki, Greece) (ESOP '18). Springer International Publishing, Cham, Switzerland, 912--939. https:\/\/doi.org\/10.1007\/978-3-319-89884-1_32","key":"e_1_3_2_2_16_1"},{"key":"e_1_3_2_2_17_1","volume-title":"Computing Research Repository","author":"Garc'ia-P\u00e9rez \u00c1lvaro","year":"2018","unstructured":"\u00c1lvaro Garc'ia-P\u00e9rez , Alexey Gotsman , Yuri Meshman , and Ilya Sergey . 2018b. Paxos Consensus , Deconstructed and Abstracted ( Extended Version). Computing Research Repository , Vol. arXiv: 1802 .05969 ( 2018 ), 44 pages. https:\/\/arxiv.org\/abs\/1802.05969 \u00c1lvaro Garc'ia-P\u00e9rez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey. 2018b. Paxos Consensus, Deconstructed and Abstracted (Extended Version). Computing Research Repository, Vol. arXiv:1802.05969 (2018), 44 pages. https:\/\/arxiv.org\/abs\/1802.05969"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_18_1","DOI":"10.1145\/2815400.2815428"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_19_1","DOI":"10.1145\/3302258"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_20_1","DOI":"10.1109\/DSN.2011.5958223"},{"volume-title":"A Highly Available Paradigm for Consistent Object Replication. Master's thesis","author":"Keidar Idit","unstructured":"Idit Keidar . 1994. A Highly Available Paradigm for Consistent Object Replication. Master's thesis . The Hebrew University of Jerusalem . https:\/\/www.cs.huji.ac.il\/labs\/transis\/Abstracts\/keidar-msc.html CS95-5. Idit Keidar. 1994. A Highly Available Paradigm for Consistent Object Replication. Master's thesis. The Hebrew University of Jerusalem. https:\/\/www.cs.huji.ac.il\/labs\/transis\/Abstracts\/keidar-msc.html CS95-5.","key":"e_1_3_2_2_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_22_1","DOI":"10.1145\/248052.248062"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_23_1","DOI":"10.1145\/1146381.1146408"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_27_1","DOI":"10.1145\/1529974.1529979"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_28_1","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_2_29_1","first-page":"4","article-title":"Paxos made simple","volume":"32","author":"Lamport Leslie","year":"2001","unstructured":"Leslie Lamport . 2001 . Paxos made simple . ACM SIGACT News , Vol. 32 , 4 (Dec. 2001), 51--58. https:\/\/doi.org\/10.1145\/568425.568433 Leslie Lamport. 2001. Paxos made simple. ACM SIGACT News, Vol. 32, 4 (Dec. 2001), 51--58. https:\/\/doi.org\/10.1145\/568425.568433","journal-title":"ACM SIGACT News"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_30_1","DOI":"10.1007\/s00446-006-0005-x"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_31_1","DOI":"10.1145\/1582716.1582783"},{"volume-title":"Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019","author":"Liu Yanhong A.","unstructured":"Yanhong A. Liu , Saksham Chand , and Scott D. Stoller . 2019. Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms . In Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ( Porto, Portugal) (PPDP '19). ACM, New York, NY, USA, Article 15, 15 pages. https:\/\/doi.org\/10.1145\/3354166.3354180 Yanhong A. Liu, Saksham Chand, and Scott D. Stoller. 2019. Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. In Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 (Porto, Portugal) (PPDP '19). ACM, New York, NY, USA, Article 15, 15 pages. https:\/\/doi.org\/10.1145\/3354166.3354180","key":"e_1_3_2_2_33_1"},{"key":"e_1_3_2_2_34_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Mao Yanhua","year":"2008","unstructured":"Yanhua Mao , Flavio P. Junqueira , and Keith Marzullo . 2008 . Mencius: Building Efficient Replicated State Machines for WANs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation ( San Diego, California) (OSDI'08). USENIX Association, Berkeley, CA, USA, 369--384. http:\/\/dl.acm.org\/citation.cfm?id= 1855741.1855767 Yanhua Mao, Flavio P. Junqueira, and Keith Marzullo. 2008. Mencius: Building Efficient Replicated State Machines for WANs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (San Diego, California) (OSDI'08). USENIX Association, Berkeley, CA, USA, 369--384. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855767"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_36_1","DOI":"10.1145\/2517349.2517350"},{"volume-title":"Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing","author":"Brian","unstructured":"Brian M. Oki and Barbara H. Liskov. 1988. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems . In Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing ( Toronto, Ontario, Canada) (PODC '88). ACM, New York, NY, USA, 8--17. https:\/\/doi.org\/10.1145\/62546.62549 Brian M. Oki and Barbara H. Liskov. 1988. Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems. In Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing (Toronto, Ontario, Canada) (PODC '88). ACM, New York, NY, USA, 8--17. https:\/\/doi.org\/10.1145\/62546.62549","key":"e_1_3_2_2_37_1"},{"key":"e_1_3_2_2_38_1","volume-title":"Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC'14). USENIX Association","author":"Ongaro Diego","year":"2014","unstructured":"Diego Ongaro and John Ousterhout . 2014 . In Search of an Understandable Consensus Algorithm . In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC'14). USENIX Association , Berkeley, CA, USA, 305--320. https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/ongaro Diego Ongaro and John Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC'14). USENIX Association, Berkeley, CA, USA, 305--320. https:\/\/www.usenix.org\/conference\/atc14\/technical-sessions\/presentation\/ongaro"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_39_1","DOI":"10.1145\/3140568"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_40_1","DOI":"10.1145\/2673577"},{"key":"e_1_3_2_2_41_1","first-page":"1","article-title":"Programming Language Abstractions for Modularly Verified Distributed Systems. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl","volume":"19","author":"Wilcox James R.","year":"2017","unstructured":"James R. Wilcox , Ilya Sergey , and Zachary Tatlock . 2017 . Programming Language Abstractions for Modularly Verified Distributed Systems. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl , Germany , 19 : 1 -- 19 :12. https:\/\/doi.org\/10.4230\/LIPIcs.SNAPL.2017.19 James R. Wilcox, Ilya Sergey, and Zachary Tatlock. 2017. Programming Language Abstractions for Modularly Verified Distributed Systems. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 19:1--19:12. https:\/\/doi.org\/10.4230\/LIPIcs.SNAPL.2017.19","journal-title":"Germany"}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"acronym":"PODC '21","name":"PODC '21: ACM Symposium on Principles of Distributed Computing","location":"Virtual Event Italy"},"container-title":["Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465084.3467947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3465084.3467947","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3465084.3467947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:11Z","timestamp":1750191431000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3465084.3467947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,21]]},"references-count":33,"alternative-id":["10.1145\/3465084.3467947","10.1145\/3465084"],"URL":"https:\/\/doi.org\/10.1145\/3465084.3467947","relation":{},"subject":[],"published":{"date-parts":[[2021,7,21]]},"assertion":[{"value":"2021-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}