{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T15:22:02Z","timestamp":1767626522072,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"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.3523724","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"364-378","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["RunTime-assisted convergence in replicated data types"],"prefix":"10.1145","author":[{"given":"Gowtham","family":"Kaki","sequence":"first","affiliation":[{"name":"University of Colorado Boulder, USA"}]},{"given":"Prasanth","family":"Prahladan","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}]},{"given":"Nicholas V.","family":"Lewchenko","sequence":"additional","affiliation":[{"name":"University of Colorado Boulder, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"volume-title":"CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings. 249\u2013260","author":"Alvaro Peter","key":"e_1_3_2_2_1_1","unstructured":"Peter Alvaro , Neil Conway , Joe Hellerstein , and William R. Marczak . 2011. Consistency Analysis in Bloom: a CALM and Collected Approach . In CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings. 249\u2013260 . Peter Alvaro, Neil Conway, Joe Hellerstein, and William R. Marczak. 2011. Consistency Analysis in Bloom: a CALM and Collected Approach. In CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings. 249\u2013260."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_3_2_2_4_1","volume-title":"Paulson","author":"Blanchette Jasmin Christian","year":"2011","unstructured":"Jasmin Christian Blanchette , Sascha B\u00f6hme , and Lawrence C . Paulson . 2011 . Extending Sledgehammer with SMT Solvers. In Automated Deduction \u2013 CADE-23, Nikolaj Bj\u00f8rner and Viorica Sofronie-Stokkermans (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg. 116\u2013130. isbn:978-3-642-22438-6 Jasmin Christian Blanchette, Sascha B\u00f6hme, and Lawrence C. Paulson. 2011. Extending Sledgehammer with SMT Solvers. In Automated Deduction \u2013 CADE-23, Nikolaj Bj\u00f8rner and Viorica Sofronie-Stokkermans (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 116\u2013130. isbn:978-3-642-22438-6"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380251203"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869515"},{"key":"e_1_3_2_2_7_1","unstructured":"2021. The Canterbury Corpus. https:\/\/corpus.canterbury.ac.nz\/descriptions\/ Accessed: 2021-11-18 13:21:00.  2021. The Canterbury Corpus. https:\/\/corpus.canterbury.ac.nz\/descriptions\/ Accessed: 2021-11-18 13:21:00."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_2_10_1","unstructured":"2021. GNU Diffutils. https:\/\/www.gnu.org\/software\/diffutils\/ Accessed: 2021-11-18 13:21:00.  2021. GNU Diffutils. https:\/\/www.gnu.org\/software\/diffutils\/ Accessed: 2021-11-18 13:21:00."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133933"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2827695"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/tpds.2017.2697382"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387906"},{"key":"e_1_3_2_2_18_1","volume-title":"McMillan and Oded Padon","author":"Kenneth","year":"2020","unstructured":"Kenneth L. McMillan and Oded Padon . 2020 . Ivy : A Multi-modal Verification Tool for Distributed Algorithms. In Computer Aided Verification, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing , Cham. 190\u2013202. isbn:978-3-030-53291-8 Kenneth L. McMillan and Oded Padon. 2020. Ivy: A Multi-modal Verification Tool for Distributed Algorithms. In Computer Aided Verification, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, Cham. 190\u2013202. isbn:978-3-030-53291-8"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2009.20"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.12.006"},{"key":"e_1_3_2_2_21_1","unstructured":"2011. Git is Inconsistent. http:\/\/r6.ca\/blog\/20110416T204742Z.html Accessed: 2022-03-19 12:21:00.  2011. Git is Inconsistent. http:\/\/r6.ca\/blog\/20110416T204742Z.html Accessed: 2022-03-19 12:21:00."},{"key":"e_1_3_2_2_22_1","unstructured":"2021. A Real-Time Big Data Database. https:\/\/www.scylladb.com\/ Accessed: 2021-11-18 13:21:00.  2021. A Real-Time Big Data Database. https:\/\/www.scylladb.com\/ Accessed: 2021-11-18 13:21:00."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_2_25_1","unstructured":"2019. Vagaries of Git Merge. http:\/\/tycon.github.io\/git-inconsistencies.html Accessed: 2022-03-03 12:21:00.  2019. Vagaries of Git Merge. http:\/\/tycon.github.io\/git-inconsistencies.html Accessed: 2022-03-03 12:21:00."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_2_27_1","unstructured":"2022. The Z3 Theorem Prover. https:\/\/github.com\/Z3Prover\/z3 Accessed: 2022-03-20 13:21:00.  2022. The Z3 Theorem Prover. https:\/\/github.com\/Z3Prover\/z3 Accessed: 2022-03-20 13:21:00."},{"key":"e_1_3_2_2_29_1","unstructured":"Yuqi Zhang Yu Huang Hengfeng Wei and Jian Lu. 2019. Remove-Win: a Design Framework for Conflict-free Replicated Data Collections. arxiv:1905.01403.  Yuqi Zhang Yu Huang Hengfeng Wei and Jian Lu. 2019. Remove-Win: a Design Framework for Conflict-free Replicated Data Collections. arxiv:1905.01403."}],"event":{"name":"PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Diego CA USA","acronym":"PLDI '22"},"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.3523724","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:30Z","timestamp":1750183830000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":28,"alternative-id":["10.1145\/3519939.3523724","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523724","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"}}]}}