{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T17:14:21Z","timestamp":1784135661224,"version":"3.55.0"},"reference-count":63,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2022,12]]},"abstract":"<jats:p>Despite decades of research and practical experience, developers have few tools for programming reliable distributed applications without resorting to expensive coordination techniques. Conflict-free replicated datatypes (CRDTs) are a promising line of work that enable coordination-free replication and offer certain eventual consistency guarantees in a relatively simple object-oriented API. Yet CRDT guarantees extend only to data updates; observations of CRDT state are unconstrained and unsafe. We propose an agenda that embraces the simplicity of CRDTs, but provides richer, more uniform guarantees. We extend CRDTs with a query model that reasons about which queries are safe without coordination by applying monotonicity results from the CALM Theorem, and lay out a larger agenda for developing CRDT data stores that let developers safely and efficiently interact with replicated application state.<\/jats:p>","DOI":"10.14778\/3574245.3574268","type":"journal-article","created":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T23:14:12Z","timestamp":1677021252000},"page":"856-863","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Keep CALM and CRDT On"],"prefix":"10.14778","volume":"16","author":[{"given":"Shadaj","family":"Laddad","sequence":"first","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Conor","family":"Power","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mae","family":"Milano","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alvin","family":"Cheung","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Natacha","family":"Crooks","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joseph M.","family":"Hellerstein","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,2,21]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2016.98"},{"key":"e_1_2_1_2_1","volume-title":"2014 IEEE 30th International Conference on Data Engineering. 52--63","author":"Alvaro Peter","year":"2014","unstructured":"Peter Alvaro , Neil Conway , Joseph M Hellerstein , and David Maier . 2014 . Blazes: Coordination analysis for distributed programs . In 2014 IEEE 30th International Conference on Data Engineering. 52--63 . Peter Alvaro, Neil Conway, Joseph M Hellerstein, and David Maier. 2014. Blazes: Coordination analysis for distributed programs. In 2014 IEEE 30th International Conference on Data Engineering. 52--63."},{"key":"e_1_2_1_3_1","volume-title":"Relational transducers for declarative networking. Journal of the ACM (JACM)","author":"Ameloot Tom J","year":"2013","unstructured":"Tom J Ameloot , Frank Neven , and Jan Van den Bussche . 2013. Relational transducers for declarative networking. Journal of the ACM (JACM) ( 2013 ), 1--38. Tom J Ameloot, Frank Neven, and Jan Van den Bussche. 2013. Relational transducers for declarative networking. Journal of the ACM (JACM) (2013), 1--38."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. 214--227","author":"Arntzenius Michael","year":"2016","unstructured":"Michael Arntzenius and Neelakantan R Krishnaswami . 2016 . Datafun: a functional Datalog . In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. 214--227 . Michael Arntzenius and Neelakantan R Krishnaswami. 2016. Datafun: a functional Datalog. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. 214--227."},{"key":"e_1_2_1_5_1","volume-title":"Concurrency control in distributed database systems. ACM Computing Surveys (CSUR)","author":"Bernstein Philip A","year":"1981","unstructured":"Philip A Bernstein and Nathan Goodman . 1981. Concurrency control in distributed database systems. ACM Computing Surveys (CSUR) ( 1981 ), 185--221. Philip A Bernstein and Nathan Goodman. 1981. Concurrency control in distributed database systems. ACM Computing Surveys (CSUR) (1981), 185--221."},{"key":"e_1_2_1_6_1","volume-title":"Roshi: a CRDT system for timestamped events. (May","author":"Bourgon Peter","year":"2014","unstructured":"Peter Bourgon . 2014. Roshi: a CRDT system for timestamped events. (May 2014 ). https:\/\/developers.soundcloud.com\/blog\/roshi-a-crdt-system-for-timestamped-events Peter Bourgon. 2014. Roshi: a CRDT system for timestamped events. (May 2014). https:\/\/developers.soundcloud.com\/blog\/roshi-a-crdt-system-for-timestamped-events"},{"key":"e_1_2_1_7_1","unstructured":"The Redis Community. 2022. Redis. https:\/\/redis.io  The Redis Community. 2022. Redis. https:\/\/redis.io"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391230"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 2016 International Conference on Management of Data. 1615--1628","author":"Crooks Natacha","year":"2016","unstructured":"Natacha Crooks , Youer Pu , Nancy Estrada , Trinabh Gupta , Lorenzo Alvisi , and Allen Clement . 2016 . TARDiS: A Branch-and-Merge Approach To Weak Consistency . In Proceedings of the 2016 International Conference on Management of Data. 1615--1628 . Natacha Crooks, Youer Pu, Nancy Estrada, Trinabh Gupta, Lorenzo Alvisi, and Allen Clement. 2016. TARDiS: A Branch-and-Merge Approach To Weak Consistency. In Proceedings of the 2016 International Conference on Management of Data. 1615--1628."},{"key":"e_1_2_1_10_1","volume-title":"Proc. ACM Program. Lang.","author":"Porre Kevin De","year":"2021","unstructured":"Kevin De Porre , Carla Ferreira , Nuno Pregui\u00e7a , and Elisa Gonzalez Boix . 2021 . ECROs: Building Global Scale Systems from Sequential Code . Proc. ACM Program. Lang. (2021). Kevin De Porre, Carla Ferreira, Nuno Pregui\u00e7a, and Elisa Gonzalez Boix. 2021. ECROs: Building Global Scale Systems from Sequential Code. Proc. ACM Program. Lang. (2021)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293883.3295702"},{"key":"e_1_2_1_13_1","volume-title":"5000x faster CRDTs: An Adventure in Optimization. https:\/\/josephg.com\/blog\/crdts-go-brrr\/\/, retrieved","author":"Gentle Seph","year":"2022","unstructured":"Seph Gentle . 2022. 5000x faster CRDTs: An Adventure in Optimization. https:\/\/josephg.com\/blog\/crdts-go-brrr\/\/, retrieved June 1, 2022 . Seph Gentle. 2022. 5000x faster CRDTs: An Adventure in Optimization. https:\/\/josephg.com\/blog\/crdts-go-brrr\/\/, retrieved June 1, 2022."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 371--384","author":"Gotsman Alexey","year":"2016","unstructured":"Alexey Gotsman , Hongseok Yang , Carla Ferreira , Mahsa Najafzadeh , and Marc Shapiro . 2016 . ' Cause I'm strong enough: Reasoning about consistency choices in distributed systems . In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 371--384 . Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro. 2016. 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 371--384."},{"key":"e_1_2_1_15_1","volume-title":"Building on quicksand. arXiv preprint arXiv:0909.1788","author":"Helland Pat","year":"2009","unstructured":"Pat Helland and David Campbell . 2009. Building on quicksand. arXiv preprint arXiv:0909.1788 ( 2009 ). Pat Helland and David Campbell. 2009. Building on quicksand. arXiv preprint arXiv:0909.1788 (2009)."},{"key":"e_1_2_1_16_1","volume-title":"Keeping CALM: when distributed consistency is easy. Commun. ACM","author":"Hellerstein Joseph M","year":"2020","unstructured":"Joseph M Hellerstein and Peter Alvaro . 2020. Keeping CALM: when distributed consistency is easy. Commun. ACM ( 2020 ), 72--81. Joseph M Hellerstein and Peter Alvaro. 2020. Keeping CALM: when distributed consistency is easy. Commun. ACM (2020), 72--81."},{"key":"e_1_2_1_17_1","volume-title":"Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (TOPLAS)","author":"Herlihy Maurice P","year":"1990","unstructured":"Maurice P Herlihy and Jeannette M Wing . 1990 . Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (TOPLAS) (1990), 463--492. Maurice P Herlihy and Jeannette M Wing. 1990. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (TOPLAS) (1990), 463--492."},{"key":"e_1_2_1_18_1","unstructured":"Todd Hoff. 2014. How League Of Legends Scaled Chat To 70 Million Players - It Takes Lots Of Minions. http:\/\/highscalability.com\/blog\/2014\/10\/13\/how-league-of-legends-scaled-chat-to-70-million-players-it-t.html  Todd Hoff. 2014. How League Of Legends Scaled Chat To 70 Million Players - It Takes Lots Of Minions. http:\/\/highscalability.com\/blog\/2014\/10\/13\/how-league-of-legends-scaled-chat-to-70-million-players-it-t.html"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987559"},{"key":"e_1_2_1_20_1","volume-title":"How to simplify distributed app development with CRDTs. https:\/\/techbeacon.com\/app-dev-testing\/how-simplify-distributed-app-development-crdts, retrieved","author":"Joshi Leena","year":"2022","unstructured":"Leena Joshi . 2022. How to simplify distributed app development with CRDTs. https:\/\/techbeacon.com\/app-dev-testing\/how-simplify-distributed-app-development-crdts, retrieved May 31, 2022 . Leena Joshi. 2022. How to simplify distributed app development with CRDTs. https:\/\/techbeacon.com\/app-dev-testing\/how-simplify-distributed-app-development-crdts, retrieved May 31, 2022."},{"key":"e_1_2_1_21_1","volume-title":"Proc. ACM Program. Lang.","author":"Kaki Gowtham","year":"2019","unstructured":"Gowtham Kaki , Swarn Priya , KC Sivaramakrishnan , and Suresh Jagannathan . 2019 . Mergeable Replicated Data Types . Proc. ACM Program. Lang. (2019). Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan. 2019. Mergeable Replicated Data Types. Proc. ACM Program. Lang. (2019)."},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Mahmoud Abo Khamis Hung Q. Ngo Reinhard Pichler Dan Suciu and Yisu Remy Wang. 2022. Convergence of Datalog over (Pre-)Semirings. In PODS.  Mahmoud Abo Khamis Hung Q. Ngo Reinhard Pichler Dan Suciu and Yisu Remy Wang. 2022. Convergence of Datalog over (Pre-)Semirings. In PODS.","DOI":"10.1145\/3517804.3524140"},{"key":"e_1_2_1_23_1","unstructured":"Martin Kleppmann. 2018. Data structures as queries: Expressing CRDTs using Datalog. (2018). https:\/\/martin.kleppmann.com\/2018\/02\/26\/dagstuhl-data-consistency.html  Martin Kleppmann. 2018. Data structures as queries: Expressing CRDTs using Datalog. (2018). https:\/\/martin.kleppmann.com\/2018\/02\/26\/dagstuhl-data-consistency.html"},{"key":"e_1_2_1_24_1","unstructured":"Martin Kleppmann. 2019. Experiment: columnar data encoding for Automerge. (2019). https:\/\/github.com\/automerge\/automerge-perf\/blob\/master\/columnar\/README.md  Martin Kleppmann. 2019. Experiment: columnar data encoding for Automerge. (2019). https:\/\/github.com\/automerge\/automerge-perf\/blob\/master\/columnar\/README.md"},{"key":"e_1_2_1_25_1","unstructured":"Martin Kleppmann. 2022. Automerge. https:\/\/github.com\/automerge\/automerge  Martin Kleppmann. 2022. Automerge. https:\/\/github.com\/automerge\/automerge"},{"key":"e_1_2_1_26_1","volume-title":"Beresford","author":"Kleppmann Martin","year":"2017","unstructured":"Martin Kleppmann and Alastair R . Beresford . 2017 . A Conflict-Free Replicated JSON Datatype. IEEE Transactions on Parallel and Distributed Systems ( 2017), 2733--2746. Martin Kleppmann and Alastair R. Beresford. 2017. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on Parallel and Distributed Systems (2017), 2733--2746."},{"key":"e_1_2_1_27_1","volume-title":"Riak Core: Building Distributed Applications without Shared State. In ACM SIGPLAN Commercial Users of Functional Programming.","author":"Klophaus Rusty","year":"2010","unstructured":"Rusty Klophaus . 2010 . Riak Core: Building Distributed Applications without Shared State. In ACM SIGPLAN Commercial Users of Functional Programming. Rusty Klophaus. 2010. Riak Core: Building Distributed Applications without Shared State. In ACM SIGPLAN Commercial Users of Functional Programming."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. 71--84","author":"Kuper Lindsey","unstructured":"Lindsey Kuper and Ryan R. Newton . 2013. LVars: Lattice-Based Data Structures for Deterministic Parallelism . In Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. 71--84 . Lindsey Kuper and Ryan R. Newton. 2013. LVars: Lattice-Based Data Structures for Deterministic Parallelism. In Proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. 71--84."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2205.12425"},{"key":"e_1_2_1_31_1","volume-title":"Cassandra: A Decentralized Structured Storage System. SIGOPS Oper. Syst. Rev.","author":"Lakshman Avinash","year":"2010","unstructured":"Avinash Lakshman and Prashant Malik . 2010 . Cassandra: A Decentralized Structured Storage System. SIGOPS Oper. Syst. Rev. (2010), 35--40. Avinash Lakshman and Prashant Malik. 2010. Cassandra: A Decentralized Structured Storage System. SIGOPS Oper. Syst. Rev. (2010), 35--40."},{"key":"e_1_2_1_32_1","volume-title":"Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM","author":"Lamport Leslie","year":"1978","unstructured":"Leslie Lamport . 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM ( 1978 ), 558--565. Leslie Lamport. 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM (1978), 558--565."},{"key":"e_1_2_1_33_1","volume-title":"Automating the Choice of Consistency Levels in Replicated Systems. In 2014 USENIX Annual Technical Conference (USENIX ATC 14)","author":"Li Cheng","year":"2014","unstructured":"Cheng Li , Joao Leit\u00e3o , Allen Clement , Nuno Pregui\u00e7a , Rodrigo Rodrigues , and Viktor Vafeiadis . 2014 . Automating the Choice of Consistency Levels in Replicated Systems. In 2014 USENIX Annual Technical Conference (USENIX ATC 14) . 281--292. Cheng Li, Joao Leit\u00e3o, Allen Clement, Nuno Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In 2014 USENIX Annual Technical Conference (USENIX ATC 14). 281--292."},{"key":"e_1_2_1_34_1","volume-title":"10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)","author":"Li Cheng","year":"2012","unstructured":"Cheng Li , Daniel Porto , Allen Clement , Johannes Gehrke , Nuno Pregui\u00e7a , and Rodrigo Rodrigues . 2012 . Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary . In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12) . Cheng Li, Daniel Porto, Allen Clement, Johannes Gehrke, Nuno Pregui\u00e7a, and Rodrigo Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)."},{"key":"e_1_2_1_35_1","volume-title":"Peritext: A CRDT for Rich-Text Collaboration. https:\/\/www.inkandswitch.com\/peritext","author":"Litt Geoffrey","year":"2021","unstructured":"Geoffrey Litt , Slim Lim , Martin Kleppmann , and Peter van Hardenberg . 2021 . Peritext: A CRDT for Rich-Text Collaboration. https:\/\/www.inkandswitch.com\/peritext Geoffrey Litt, Slim Lim, Martin Kleppmann, and Peter van Hardenberg. 2021. Peritext: A CRDT for Rich-Text Collaboration. https:\/\/www.inkandswitch.com\/peritext"},{"key":"e_1_2_1_36_1","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)","author":"Liu Jed","year":"2014","unstructured":"Jed Liu , Tom Magrino , Owen Arden , Michael D George , and Andrew C Myers . 2014 . Warranties for faster strong consistency . In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14) . 503--517. Jed Liu, Tom Magrino, Owen Arden, Michael D George, and Andrew C Myers. 2014. Warranties for faster strong consistency. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). 503--517."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_2_1_38_1","unstructured":"Dmitry Martyanov. 2018. CRDTs in Production. https:\/\/www.infoq.com\/presentations\/crdt-production  Dmitry Martyanov. 2018. CRDTs in Production. https:\/\/www.infoq.com\/presentations\/crdt-production"},{"key":"e_1_2_1_39_1","volume-title":"Coordination-Free Programming. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 184--195","author":"Meiklejohn Christopher","year":"2015","unstructured":"Christopher Meiklejohn and Peter Van Roy . 2015 . Lasp: A Language for Distributed , Coordination-Free Programming. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 184--195 . Christopher Meiklejohn and Peter Van Roy. 2015. Lasp: A Language for Distributed, Coordination-Free Programming. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 184--195."},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. 226--241","author":"Milano Mae","unstructured":"Mae Milano and Andrew C. Myers . 2018. MixT: A Language for Mixing Consistency in Geodistributed Transactions . In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. 226--241 . Mae Milano and Andrew C. Myers. 2018. MixT: A Language for Mixing Consistency in Geodistributed Transactions. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. 226--241."},{"key":"e_1_2_1_41_1","volume-title":"Myers","author":"Milano Mae","year":"2019","unstructured":"Mae Milano , Rolph Recto , Tom Magrino , and Andrew C . Myers . 2019 . A Tour of Gallifrey, a Language for Geodistributed Programming. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). 11:1--11:19. Mae Milano, Rolph Recto, Tom Magrino, and Andrew C. Myers. 2019. A Tour of Gallifrey, a Language for Geodistributed Programming. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). 11:1--11:19."},{"key":"e_1_2_1_42_1","unstructured":"Tyler Neely and David Rusu. 2022. crdts: family of thoroughly tested hybrid crdt's. https:\/\/github.com\/rust-crdt\/rust-crdt  Tyler Neely and David Rusu. 2022. crdts: family of thoroughly tested hybrid crdt's. https:\/\/github.com\/rust-crdt\/rust-crdt"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 15th International Conference on Engineering the Web in the Big Data Era -","volume":"9114","author":"Nicolaescu Petru","year":"2015","unstructured":"Petru Nicolaescu , Kevin Jahns , Michael Derntl , and Ralf Klamma . 2015 . Yjs: A Framework for Near Real-Time P2P Shared Editing on Arbitrary Data Types . In Proceedings of the 15th International Conference on Engineering the Web in the Big Data Era - Volume 9114 . 675--678. Petru Nicolaescu, Kevin Jahns, Michael Derntl, and Ralf Klamma. 2015. Yjs: A Framework for Near Real-Time P2P Shared Editing on Arbitrary Data Types. In Proceedings of the 15th International Conference on Engineering the Web in the Big Data Era - Volume 9114. 675--678."},{"key":"e_1_2_1_44_1","volume-title":"The escrow transactional method. ACM Transactions on Database Systems (TODS)","author":"O'Neil Patrick E","year":"1986","unstructured":"Patrick E O'Neil . 1986. The escrow transactional method. ACM Transactions on Database Systems (TODS) ( 1986 ), 405--430. Patrick E O'Neil. 1986. The escrow transactional method. ACM Transactions on Database Systems (TODS) (1986), 405--430."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (Renton, WA, USA) (USENIX ATC '19). USENIX Association, USA, 33--46","author":"Pang Ruoming","year":"2019","unstructured":"Ruoming Pang , Ram\u00f3n C\u00e1ceres , Mike Burrows , Zhifeng Chen , Pratik Dave , Nathan Germer , Alexander Golynski , Kevin Graney , Nina Kang , Lea Kissner , Jeffrey L. Korn , Abhishek Parmar , Christopher D. Richards , and Mengzhi Wang . 2019 . Zanzibar: Google's Consistent, Global Authorization System . In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (Renton, WA, USA) (USENIX ATC '19). USENIX Association, USA, 33--46 . Ruoming Pang, Ram\u00f3n C\u00e1ceres, Mike Burrows, Zhifeng Chen, Pratik Dave, Nathan Germer, Alexander Golynski, Kevin Graney, Nina Kang, Lea Kissner, Jeffrey L. Korn, Abhishek Parmar, Christopher D. Richards, and Mengzhi Wang. 2019. Zanzibar: Google's Consistent, Global Authorization System. In Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference (Renton, WA, USA) (USENIX ATC '19). USENIX Association, USA, 33--46."},{"key":"e_1_2_1_46_1","volume-title":"A formal characterization of epsilon serializability","author":"Ramamritham Krithi","year":"1995","unstructured":"Krithi Ramamritham and Calton Pu. 1995. A formal characterization of epsilon serializability . IEEE Transactions on Knowledge and Data Engineering ( 1995 ), 997--1007. Krithi Ramamritham and Calton Pu. 1995. A formal characterization of epsilon serializability. IEEE Transactions on Knowledge and Data Engineering (1995), 997--1007."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the VLDB Endowment","author":"Rinberg Arik","year":"2022","unstructured":"Arik Rinberg , Tomer Solomon , Roee Shlomo , Guy Khazma , Gal Lushi , Idit Keidar , and Paula Ta-Shma . 2022 . DSON: JSON CRDT using delta-mutations for document stores . Proceedings of the VLDB Endowment (2022), 1053--1065. Arik Rinberg, Tomer Solomon, Roee Shlomo, Guy Khazma, Gal Lushi, Idit Keidar, and Paula Ta-Shma. 2022. DSON: JSON CRDT using delta-mutations for document stores. Proceedings of the VLDB Endowment (2022), 1053--1065."},{"key":"e_1_2_1_48_1","unstructured":"Raymond Roestenburg Rob Williams and Robertus Bakker. 2016. Akka in action.  Raymond Roestenburg Rob Williams and Robertus Bakker. 2016. Akka in action."},{"key":"e_1_2_1_49_1","volume-title":"CRDT - The Xi Text Engine. https:\/\/xi-editor","author":"Rofls Colin","year":"2022","unstructured":"Colin Rofls . 2022. CRDT - The Xi Text Engine. https:\/\/xi-editor .io\/docs\/crdt-details.html\/, retrieved June 1, 2022 . Colin Rofls. 2022. CRDT - The Xi Text Engine. https:\/\/xi-editor.io\/docs\/crdt-details.html\/, retrieved June 1, 2022."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 1311--1326","author":"Roy Sudip","year":"2015","unstructured":"Sudip Roy , Lucja Kot , Gabriel Bender , Bailu Ding , Hossein Hojjat , Christoph Koch , Nate Foster , and Johannes Gehrke . 2015 . The homeostasis protocol: Avoiding transaction coordination through program analysis . In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 1311--1326 . Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, and Johannes Gehrke. 2015. The homeostasis protocol: Avoiding transaction coordination through program analysis. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 1311--1326."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_2_1_53_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Shi Xiao","year":"2020","unstructured":"Xiao Shi , Scott Pruett , Kevin Doherty , Jinyu Han , Dmitri Petrov , Jim Carrig , John Hugg , and Nathan Bronson . 2020 . {FlightTracker}: Consistency across {Read-Optimized} Online Stores at Facebook . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . 407--423. Xiao Shi, Scott Pruett, Kevin Doherty, Jinyu Han, Dmitri Petrov, Jim Carrig, John Hugg, and Nathan Bronson. 2020. {FlightTracker}: Consistency across {Read-Optimized} Online Stores at Facebook. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 407--423."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.14778\/3407790.3407836"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/16894.16888"},{"key":"e_1_2_1_57_1","volume-title":"An Introduction to State-based CRDTs. https:\/\/bartoszsypytkowski.com\/the-state-of-a-state-based-crdts\/, retrieved","author":"Sypytkowski Bartosz","year":"2022","unstructured":"Bartosz Sypytkowski . 2022. An Introduction to State-based CRDTs. https:\/\/bartoszsypytkowski.com\/the-state-of-a-state-based-crdts\/, retrieved June 1, 2022 . Bartosz Sypytkowski. 2022. An Introduction to State-based CRDTs. https:\/\/bartoszsypytkowski.com\/the-state-of-a-state-based-crdts\/, retrieved June 1, 2022."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_2_1_59_1","volume-title":"Replication-Aware Linearizability. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 980--993","author":"Wang Chao","year":"2019","unstructured":"Chao Wang , Constantin Enea , Suha Orhun Mutluergil , and Gustavo Petri . 2019 . Replication-Aware Linearizability. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 980--993 . Chao Wang, Constantin Enea, Suha Orhun Mutluergil, and Gustavo Petri. 2019. Replication-Aware Linearizability. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. 980--993."},{"key":"e_1_2_1_60_1","volume-title":"8th International Conference on Web Information Systems Engineering. 503--512","author":"Weiss St\u00e9phane","year":"2007","unstructured":"St\u00e9phane Weiss , Pascal Urso , and Pascal Molli . 2007 . Wooki: A P2P Wiki-Based Collaborative Writing Tool . In 8th International Conference on Web Information Systems Engineering. 503--512 . St\u00e9phane Weiss, Pascal Urso, and Pascal Molli. 2007. Wooki: A P2P Wiki-Based Collaborative Writing Tool. In 8th International Conference on Web Information Systems Engineering. 503--512."},{"key":"e_1_2_1_61_1","volume-title":"2009 29th IEEE International Conference on Distributed Computing Systems. 404--412","author":"Weiss Stephane","year":"2009","unstructured":"Stephane Weiss , Pascal Urso , and Pascal Molli . 2009 . Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks . In 2009 29th IEEE International Conference on Distributed Computing Systems. 404--412 . Stephane Weiss, Pascal Urso, and Pascal Molli. 2009. Logoot: A Scalable Optimistic Replication Algorithm for Collaborative Editing on P2P Networks. In 2009 29th IEEE International Conference on Distributed Computing Systems. 404--412."},{"key":"e_1_2_1_62_1","volume-title":"Anna: A KVS for Any Scale. In 2018 IEEE 34th International Conference on Data Engineering (ICDE). 401--412","author":"Wu Chenggang","year":"2018","unstructured":"Chenggang Wu , Jose Faleiro , Yihan Lin , and Joseph Hellerstein . 2018 . Anna: A KVS for Any Scale. In 2018 IEEE 34th International Conference on Data Engineering (ICDE). 401--412 . Chenggang Wu, Jose Faleiro, Yihan Lin, and Joseph Hellerstein. 2018. Anna: A KVS for Any Scale. In 2018 IEEE 34th International Conference on Data Engineering (ICDE). 401--412."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814576.2814733"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281366.3281372"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3574245.3574268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T23:16:26Z","timestamp":1677021386000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3574245.3574268"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":63,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["10.14778\/3574245.3574268"],"URL":"https:\/\/doi.org\/10.14778\/3574245.3574268","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2022,12]]},"assertion":[{"value":"2023-02-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}