{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T03:39:29Z","timestamp":1769312369465,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":37,"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.3523735","type":"proceedings-article","created":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T21:05:05Z","timestamp":1654203905000},"page":"332-347","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Certified mergeable replicated data types"],"prefix":"10.1145","author":[{"given":"Vimala","family":"Soundarapandian","sequence":"first","affiliation":[{"name":"IIT Madras, India"}]},{"given":"Adharsh","family":"Kamath","sequence":"additional","affiliation":[{"name":"NITK Surathkal, India"}]},{"given":"Kartik","family":"Nagar","sequence":"additional","affiliation":[{"name":"IIT Madras, India"}]},{"given":"KC","family":"Sivaramakrishnan","sequence":"additional","affiliation":[{"name":"IIT Madras, India"}]}],"member":"320","published-online":{"date-parts":[[2022,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2017.08.003"},{"key":"e_1_3_2_1_2_1","unstructured":"Amazon. 2006. Simple Queue Service by Amazon. https:\/\/aws.amazon.com\/sqs\/  Amazon. 2006. Simple Queue Service by Amazon. https:\/\/aws.amazon.com\/sqs\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933057.2933090"},{"key":"e_1_3_2_1_4_1","unstructured":"Annette Bieniusa Marek Zawirski Nuno Pregui\u00e7a Marc Shapiro Carlos Baquero Valter Balegas and S\u00e9rgio Duarte. 2012. An optimized conflict-free replicated set. arxiv:1210.3368.  Annette Bieniusa Marek Zawirski Nuno Pregui\u00e7a Marc Shapiro Carlos Baquero Valter Balegas and S\u00e9rgio Duarte. 2012. An optimized conflict-free replicated set. arxiv:1210.3368."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882951"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485484"},{"key":"e_1_3_2_1_8_1","volume-title":"Banyan: Coordination-free Distributed Transactions over Mergeable Types. Ph. D. Dissertation","author":"Dubey Shashank Shekhar","year":"2021","unstructured":"Shashank Shekhar Dubey . 2021 . Banyan: Coordination-free Distributed Transactions over Mergeable Types. Ph. D. Dissertation . Indian Institute of Technology , Madras . India. https:\/\/thesis.iitm.ac.in\/thesis?type=FinalThesis&rollno=CS17S025 Shashank Shekhar Dubey. 2021. Banyan: Coordination-free Distributed Transactions over Mergeable Types. Ph. D. Dissertation. Indian Institute of Technology, Madras. India. https:\/\/thesis.iitm.ac.in\/thesis?type=FinalThesis&rollno=CS17S025"},{"key":"e_1_3_2_1_9_1","volume-title":"Banyan: Coordination-Free Distributed Transactions over Mergeable Types. In Programming Languages and Systems, Bruno C. d","author":"Dubey Shashank Shekhar","year":"2020","unstructured":"Shashank Shekhar Dubey , K. C. Sivaramakrishnan , Thomas Gazagnaire , and Anil Madhavapeddy . 2020 . Banyan: Coordination-Free Distributed Transactions over Mergeable Types. In Programming Languages and Systems, Bruno C. d . S. Oliveira (Ed.). Springer International Publishing , Cham . 231\u2013250. isbn:978-3-030-64437-6 Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, and Anil Madhavapeddy. 2020. Banyan: Coordination-Free Distributed Transactions over Mergeable Types. In Programming Languages and Systems, Bruno C. d. S. Oliveira (Ed.). Springer International Publishing, Cham. 231\u2013250. isbn:978-3-030-64437-6"},{"key":"e_1_3_2_1_10_1","volume-title":"Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA","author":"Farinier Benjamin","year":"2015","unstructured":"Benjamin Farinier , Thomas Gazagnaire , and Anil Madhavapeddy . 2015. Mergeable persistent data structures . In Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015 ), David Baelde and Jade Alglave (Eds.). JFLA, Le Val d\u2019Ajol, France . 1\u201313. https:\/\/hal.inria.fr\/hal-01099136 Benjamin Farinier, Thomas Gazagnaire, and Anil Madhavapeddy. 2015. Mergeable persistent data structures. In Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015), David Baelde and Jade Alglave (Eds.). JFLA, Le Val d\u2019Ajol, France. 1\u201313. https:\/\/hal.inria.fr\/hal-01099136"},{"key":"e_1_3_2_1_11_1","volume-title":"Git: A distributed version control system. https:\/\/git-scm.com\/","year":"2021","unstructured":"Git. 2021 . Git: A distributed version control system. https:\/\/git-scm.com\/ Git. 2021. Git: A distributed version control system. https:\/\/git-scm.com\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133933"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290387"},{"key":"e_1_3_2_1_15_1","unstructured":"2020. Intel\u00ae Xeon\u00ae Gold 5120 Processor Specification. https:\/\/ark.intel.com\/content\/www\/us\/en\/ark\/products\/120474\/intel-xeon-gold-5120-processor-19-25m-cache-2-20-ghz.html  2020. Intel\u00ae Xeon\u00ae Gold 5120 Processor Specification. https:\/\/ark.intel.com\/content\/www\/us\/en\/ark\/products\/120474\/intel-xeon-gold-5120-processor-19-25m-cache-2-20-ghz.html"},{"key":"e_1_3_2_1_16_1","volume-title":"Irmin: A distributed database built on the principles of Git. https:\/\/irmin.org\/","year":"2021","unstructured":"Irmin. 2021 . Irmin: A distributed database built on the principles of Git. https:\/\/irmin.org\/ Irmin. 2021. Irmin: A distributed database built on the principles of Git. https:\/\/irmin.org\/"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276534"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_3_2_1_19_1","unstructured":"Martin Kleppmann. 2020. CRDT composition failure. https:\/\/twitter.com\/martinkl\/status\/1327020435419041792  Martin Kleppmann. 2020. CRDT composition failure. https:\/\/twitter.com\/martinkl\/status\/1327020435419041792"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359737"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428284"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_26"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_13"},{"key":"e_1_3_2_1_25_1","volume-title":"Proving the Safety of Highly-Available Distributed Objects","author":"Nair Sreeja S.","unstructured":"Sreeja S. Nair , Gustavo Petri , and Marc Shapiro . 2020. Proving the Safety of Highly-Available Distributed Objects . In Programming Languages and Systems, Peter M\u00fcller (Ed.). Springer International Publishing , Cham . 544\u2013571. isbn:978-3-030-44914-8 Sreeja S. Nair, Gustavo Petri, and Marc Shapiro. 2020. Proving the Safety of Highly-Available Distributed Objects. In Programming Languages and Systems, Peter M\u00fcller (Ed.). Springer International Publishing, Cham. 544\u2013571. isbn:978-3-030-44914-8"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911151.2911160"},{"key":"e_1_3_2_1_27_1","volume-title":"Purely Functional Data Structures","author":"Okasaki Chris","unstructured":"Chris Okasaki . 1999. Purely Functional Data Structures . Cambridge University Press , USA. isbn:0521663504 Chris Okasaki. 1999. Purely Functional Data Structures. Cambridge University Press, USA. isbn:0521663504"},{"key":"e_1_3_2_1_28_1","unstructured":"RabbitMQ. 2007. Message Brokering Service by RabbitMQ. https:\/\/www.rabbitmq.com\/queues.html  RabbitMQ. 2007. Message Brokering Service by RabbitMQ. https:\/\/www.rabbitmq.com\/queues.html"},{"key":"e_1_3_2_1_29_1","unstructured":"Riak. 2021. Resilient NoSQL Databases. https:\/\/riak.com\/  Riak. 2021. Resilient NoSQL Databases. https:\/\/riak.com\/"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2010.12.006"},{"key":"e_1_3_2_1_31_1","unstructured":"Marc Shapiro Annette Bieniusa Nuno Pregui\u00e7a Valter Balegas and Christopher Meiklejohn. 2018. Just-Right Consistency: reconciling availability and safety. arxiv:1801.06340.  Marc Shapiro Annette Bieniusa Nuno Pregui\u00e7a Valter Balegas and Christopher Meiklejohn. 2018. Just-Right Consistency: reconciling availability and safety. arxiv:1801.06340."},{"key":"e_1_3_2_1_32_1","volume-title":"Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago","author":"Shapiro Marc","unstructured":"Marc Shapiro , Nuno Pregui\u00e7a , Carlos Baquero , and Marek Zawirski . 2011. Conflict-Free Replicated Data Types . In Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago , Franck Petit, and Vincent Villain (Eds.). Springer Berlin Heidelberg, Berlin , Heidelberg . 386\u2013400. Marc Shapiro, Nuno Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In Stabilization, Safety, and Security of Distributed Systems, Xavier D\u00e9fago, Franck Petit, and Vincent Villain (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 386\u2013400."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"#cr-split#-e_1_3_2_1_34_1.1","doi-asserted-by":"crossref","unstructured":"Vimala Soundarapandian Adharsh Kamath Kartik Nagar and KC Sivaramakrishnan. 2022. Certified Mergeable Replicated Data Types (Extended version). https:\/\/doi.org\/10.48550\/ARXIV.2203.14518 10.48550\/ARXIV.2203.14518","DOI":"10.1145\/3519939.3523735"},{"key":"#cr-split#-e_1_3_2_1_34_1.2","doi-asserted-by":"crossref","unstructured":"Vimala Soundarapandian Adharsh Kamath Kartik Nagar and KC Sivaramakrishnan. 2022. Certified Mergeable Replicated Data Types (Extended version). https:\/\/doi.org\/10.48550\/ARXIV.2203.14518","DOI":"10.1145\/3519939.3523735"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3380787.3393678"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43613-4_3"}],"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.3523735","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3519939.3523735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:31Z","timestamp":1750183831000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3519939.3523735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,9]]},"references-count":37,"alternative-id":["10.1145\/3519939.3523735","10.1145\/3519939"],"URL":"https:\/\/doi.org\/10.1145\/3519939.3523735","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"}}]}}