{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:31:45Z","timestamp":1770276705978,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T00:00:00Z","timestamp":1654732800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,9]]},"DOI":"10.1145\/3519939.3523444","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"379-394","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Adore: atomic distributed objects with certified reconfiguration"],"prefix":"10.1145","author":[{"given":"Wolf","family":"Honor\u00e9","sequence":"first","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji-Yong","family":"Shin","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jieung","family":"Kim","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhong","family":"Shao","sequence":"additional","affiliation":[{"name":"Yale University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298487"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201918)","author":"Chajed Tej","year":"2018","unstructured":"Tej Chajed , Frans Kaashoek , Butler Lampson , and Nickolai Zeldovich . 2018 . Verifying Concurrent Software Using Movers in CSPEC . In Proc. of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201918) . USENIX Association, Carlsbad, CA. 306\u2013322. https:\/\/dl.acm.org\/doi\/10.5555\/3291168.3291191 Tej Chajed, Frans Kaashoek, Butler Lampson, and Nickolai Zeldovich. 2018. Verifying Concurrent Software Using Movers in CSPEC. In Proc. of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201918). USENIX Association, Carlsbad, CA. 306\u2013322. https:\/\/dl.acm.org\/doi\/10.5555\/3291168.3291191"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_14"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. of the 26th International Conference on Financial Cryptography and Data Security (FC \u201922)","author":"Gelashvili Rati","year":"2022","unstructured":"Rati Gelashvili , Lefteris Kokoris-Kogias , Alberto Sonnino , Alexander Spiegelman , and Zhuolun Xiang . 2022 . Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback . In Proc. of the 26th International Conference on Financial Cryptography and Data Security (FC \u201922) . Springer-Verlag, Berlin, Heidelberg. https:\/\/fc22.ifca.ai\/preproceedings\/35.pdf Rati Gelashvili, Lefteris Kokoris-Kogias, Alberto Sonnino, Alexander Spiegelman, and Zhuolun Xiang. 2022. Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback. In Proc. of the 26th International Conference on Financial Cryptography and Data Security (FC \u201922). Springer-Verlag, Berlin, Heidelberg. https:\/\/fc22.ifca.ai\/preproceedings\/35.pdf"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018477"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485474"},{"key":"e_1_3_2_1_9_1","volume-title":"Adore: Atomic Distributed Objects with Certified Reconfiguration. Yale Univ.. https:\/\/flint.cs.yale.edu\/publications\/adore.html","author":"Honor\u00e9 Wolf","year":"2022","unstructured":"Wolf Honor\u00e9 , Ji-Yong Shin , Jieung Kim , and Zhong Shao . 2022 . Adore: Atomic Distributed Objects with Certified Reconfiguration. Yale Univ.. https:\/\/flint.cs.yale.edu\/publications\/adore.html Wolf Honor\u00e9, Ji-Yong Shin, Jieung Kim, and Zhong Shao. 2022. Adore: Atomic Distributed Objects with Certified Reconfiguration. Yale Univ.. https:\/\/flint.cs.yale.edu\/publications\/adore.html"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.6321150"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC \u201910)","author":"Hunt Patrick","year":"2010","unstructured":"Patrick Hunt , Mahadev Konar , Flavio Paiva Junqueira , and Benjamin Reed . 2010 . ZooKeeper: Wait-Free Coordination for Internet-Scale Systems . In Proc. of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC \u201910) . USENIX Association, Berkeley, CA, USA. 11. https:\/\/doi.org\/10.5555\/ 1855840.1855851 10.5555\/1855840.1855851 Patrick Hunt, Mahadev Konar, Flavio Paiva Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-Free Coordination for Internet-Scale Systems. In Proc. of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC \u201910). USENIX Association, Berkeley, CA, USA. 11. https:\/\/doi.org\/10.5555\/1855840.1855851"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_13_1","unstructured":"Leslie Lamport. 1999. Specifying Concurrent Systems with TLA+. Calculational System Design April 183\u2013247. https:\/\/www.microsoft.com\/en-us\/research\/publication\/specifying-concurrent-systems-tla\/  Leslie Lamport. 1999. Specifying Concurrent Systems with TLA+. Calculational System Design April 183\u2013247. https:\/\/www.microsoft.com\/en-us\/research\/publication\/specifying-concurrent-systems-tla\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/568425.568433"},{"key":"e_1_3_2_1_15_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport Leslie","year":"2002","unstructured":"Leslie Lamport . 2002 . Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Addison-Wesley , Boston, MA, USA . https:\/\/www.microsoft.com\/en-us\/research\/publication\/specifying-systems-the-tla-language-and-tools-for-hardware-and-software-engineers\/ Leslie Lamport. 2002. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston, MA, USA. https:\/\/www.microsoft.com\/en-us\/research\/publication\/specifying-systems-the-tla-language-and-tools-for-hardware-and-software-engineers\/"},{"key":"e_1_3_2_1_16_1","unstructured":"Leslie Lamport Dahlia Malkhi and Lidong Zhou. 2008. Reconfiguring a State Machine. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/reconfiguring-a-state-machine\/  Leslie Lamport Dahlia Malkhi and Lidong Zhou. 2008. Reconfiguring a State Machine. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/reconfiguring-a-state-machine\/"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1582716.1582783"},{"key":"e_1_3_2_1_18_1","volume-title":"MIT","author":"Liskov Barbara","unstructured":"Barbara Liskov and James Cowling . 2012. Viewstamped Replication Revisited. MIT . http:\/\/hdl.handle.net\/1721.1\/71763 Barbara Liskov and James Cowling. 2012. Viewstamped Replication Revisited. MIT. http:\/\/hdl.handle.net\/1721.1\/71763"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.FMBC.2020.9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359651"},{"key":"e_1_3_2_1_21_1","unstructured":"Dahlia Malkhi Leslie Lamport and Lidong Zhou. 2008. Stoppable Paxos. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/stoppable-paxos\/  Dahlia Malkhi Leslie Lamport and Lidong Zhou. 2008. Stoppable Paxos. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/stoppable-paxos\/"},{"key":"e_1_3_2_1_22_1","unstructured":"David Mazieres. 2015. The Stellar Consensus Protocol: A Federated Model for Internet-Level Consensus. https:\/\/www.stellar.org\/papers\/stellar-consensus-protocol  David Mazieres. 2015. The Stellar Consensus Protocol: A Federated Model for Internet-Level Consensus. https:\/\/www.stellar.org\/papers\/stellar-consensus-protocol"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3278532.3278566"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/AAI28121474"},{"key":"e_1_3_2_1_25_1","unstructured":"Diego Ongaro. 2015. bug in single-server membership changes. https:\/\/groups.google.com\/g\/raft-dev\/c\/t4xj6dJTP6E\/m\/d2D9LrWRza8J  Diego Ongaro. 2015. bug in single-server membership changes. https:\/\/groups.google.com\/g\/raft-dev\/c\/t4xj6dJTP6E\/m\/d2D9LrWRza8J"},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX Annual Technical Conference. USENIX Association","author":"Ongaro Diego","unstructured":"Diego Ongaro and John K. Ousterhout . 2014. In Search of an Understandable Consensus Algorithm . In USENIX Annual Technical Conference. USENIX Association , Berkeley, CA, USA. 305\u2013319. https:\/\/dl.acm.org\/doi\/10.5555\/2643634.2643666 Diego Ongaro and John K. Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In USENIX Annual Technical Conference. USENIX Association, Berkeley, CA, USA. 305\u2013319. https:\/\/dl.acm.org\/doi\/10.5555\/2643634.2643666"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140568"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908118"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2673577"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201904","volume":"104","author":"Renesse Robbert Van","unstructured":"Robbert Van Renesse and Fred B. Schneider . 2004. Chain Replication for Supporting High Throughput and Availability . In Proc. of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201904 , Vol. 4). USENIX Association, Berkeley, CA, USA. 91\u2013 104 . https:\/\/dl.acm.org\/doi\/10.5555\/1251254.1251261 Robbert Van Renesse and Fred B. Schneider. 2004. Chain Replication for Supporting High Throughput and Availability. In Proc. of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI \u201904, Vol. 4). USENIX Association, Berkeley, CA, USA. 91\u2013104. https:\/\/dl.acm.org\/doi\/10.5555\/1251254.1251261"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3497775.3503688"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.OPODIS.2021.26"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158116"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357223.3362739"},{"key":"e_1_3_2_1_36_1","unstructured":"The Coq Development Team. 1999\u20132022. The Coq Proof Assistant. http:\/\/coq.inria.fr  The Coq Development Team. 1999\u20132022. The Coq Proof Assistant. http:\/\/coq.inria.fr"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290372"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_39_1","first-page":"265","article-title":"A Distributed Object Model for the Java","volume":"9","author":"Wollrath Ann","year":"1996","unstructured":"Ann Wollrath , Roger Riggs , and Jim Waldo . 1996 . A Distributed Object Model for the Java System. Comput. Syst. , 9 (1996), 265 \u2013 290 . https:\/\/dl.acm.org\/doi\/10.5555\/1268049.1268066 Ann Wollrath, Roger Riggs, and Jim Waldo. 1996. A Distributed Object Model for the Java System. Comput. Syst., 9 (1996), 265\u2013290. https:\/\/dl.acm.org\/doi\/10.5555\/1268049.1268066","journal-title":"System. Comput. Syst."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2854065.2854081"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293611.3331591"}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"San Diego CA USA","acronym":"PLDI '22","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523444","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:16Z","timestamp":1750188676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":41,"alternative-id":["10.1145\/3519939.3523444","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523444","relation":{},"subject":[],"published":{"date-parts":[[2022,6,9]]},"assertion":[{"value":"2022-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}