{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:07:52Z","timestamp":1762459672486,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,5]]},"DOI":"10.1145\/3281366.3281372","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"23-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Observable atomic consistency for CvRDTs"],"prefix":"10.1145","author":[{"given":"Xin","family":"Zhao","sequence":"first","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Haller","sequence":"additional","affiliation":[{"name":"KTH, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465361"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911151.2911159"},{"key":"e_1_3_2_1_5_1","unstructured":"Basho Technologies Inc. 2012-2017. Riak DT source code repository. https:\/\/github.com\/basho\/riak_dt .  Basho Technologies Inc. 2012-2017. Riak DT source code repository. https:\/\/github.com\/basho\/riak_dt ."},{"key":"e_1_3_2_1_6_1","volume-title":"Orleans: Distributed Virtual Actors for Programmability and Scalability. Technical Report.","author":"Bernstein Phil","year":"2014","unstructured":"Phil Bernstein , Sergey Bykov , Alan Geller , Gabriel Kliot , and Jorgen Thelin . 2014 . Orleans: Distributed Virtual Actors for Programmability and Scalability. Technical Report. Phil Bernstein, Sergey Bykov, Alan Geller, Gabriel Kliot, and Jorgen Thelin. 2014. Orleans: Distributed Virtual Actors for Programmability and Scalability. Technical Report."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133931"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2016.108"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2596631.2596633"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_14"},{"key":"e_1_3_2_1_12_1","unstructured":"Sebastian Burckhardt Daan Leijen Jonathan Protzenko and Manuel F\u00e4hndrich. 2015. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In ECOOP. 568\u2013590.  Sebastian Burckhardt Daan Leijen Jonathan Protzenko and Manuel F\u00e4hndrich. 2015. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In ECOOP. 568\u2013590."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1041680.1041682"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_16_1","unstructured":"Rachid Guerraoui Matej Pavlovic and Dragos-Adrian Seredinschi. 2016. Incremental Consistency Guarantees for Replicated Objects. CoRR.  Rachid Guerraoui Matej Pavlovic and Dragos-Adrian Seredinschi. 2016. Incremental Consistency Guarantees for Replicated Objects. CoRR."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414639.2414641"},{"key":"e_1_3_2_1_18_1","volume-title":"ZooKeeper: Wait-free Coordination for Internet-scale Systems. In USENIX Annual Technical Conference.","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 USENIX Annual Technical Conference. Patrick Hunt, Mahadev Konar, Flavio Paiva Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-free Coordination for Internet-scale Systems. In USENIX Annual Technical Conference."},{"key":"e_1_3_2_1_19_1","volume-title":"Zab: High-performance broadcast for primary-backup systems. In DSN. 245\u2013256.","author":"Junqueira Flavio Paiva","year":"2011","unstructured":"Flavio Paiva Junqueira , Benjamin C. Reed , and Marco Serafini . 2011 . Zab: High-performance broadcast for primary-backup systems. In DSN. 245\u2013256. Flavio Paiva Junqueira, Benjamin C. Reed, and Marco Serafini. 2011. Zab: High-performance broadcast for primary-backup systems. In DSN. 245\u2013256."},{"key":"e_1_3_2_1_20_1","volume-title":"Mergeable Types. In ML workshop.","author":"Kaki Gowtham","year":"2017","unstructured":"Gowtham Kaki , KC Sivaramakrishnan , Samodya Abeysiriwardane , and Suresh Jagannathan . 2017 . Mergeable Types. In ML workshop. Gowtham Kaki, KC Sivaramakrishnan, Samodya Abeysiriwardane, and Suresh Jagannathan. 2017. Mergeable Types. In ML workshop."},{"key":"e_1_3_2_1_21_1","volume-title":"Griswold","author":"Kiczales Gregor","year":"2001","unstructured":"Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , and William G . Griswold . 2001 . An Overview of AspectJ. In ECOOP. 327\u2013353. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. 2001. An Overview of AspectJ. In ECOOP. 327\u2013353."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687657"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/138873.138877"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_1_26_1","volume-title":"Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference. 281\u2013292","author":"Li Cheng","year":"2014","unstructured":"Cheng Li , Jo\u00e3o Leit\u00e3o , Allen Clement , Nuno M. Pregui\u00e7a , Rodrigo Rodrigues , and Viktor Vafeiadis . 2014 . Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference. 281\u2013292 . Cheng Li, Jo\u00e3o Leit\u00e3o, Allen Clement, Nuno M. Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference. 281\u2013292."},{"key":"e_1_3_2_1_27_1","unstructured":"Cheng Li Daniel Porto Allen Clement Johannes Gehrke Nuno M. Pregui\u00e7a and Rodrigo Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible Consistent when Necessary. In OSDI. 265\u2013278.   Cheng Li Daniel Porto Allen Clement Johannes Gehrke Nuno M. Pregui\u00e7a and Rodrigo Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible Consistent when Necessary. In OSDI. 265\u2013278."},{"key":"e_1_3_2_1_28_1","unstructured":"Jinyuan Li Maxwell N. Krohn David Mazieres and Dennis Shasha. 2004. Secure Untrusted Data Repository (SUNDR). In OSDI. 121\u2013136.   Jinyuan Li Maxwell N. Krohn David Mazieres and Dennis Shasha. 2004. Secure Untrusted Data Repository (SUNDR). In OSDI. 121\u2013136."},{"key":"e_1_3_2_1_29_1","unstructured":"Lightbend Inc. 2009. Akka. http:\/\/akka.io\/ . Accessed: 2016-03-20.  Lightbend Inc. 2009. Akka. http:\/\/akka.io\/ . Accessed: 2016-03-20."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_31_1","volume-title":"Andersen","author":"Lloyd Wyatt","year":"2013","unstructured":"Wyatt Lloyd , Michael J. Freedman , Michael Kaminsky , and David G . Andersen . 2013 . Stronger Semantics for Low-Latency Geo-Replicated Storage. In NSDI. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2013. Stronger Semantics for Low-Latency Geo-Replicated Storage. In NSDI."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/571825.571840"},{"key":"e_1_3_2_1_33_1","volume-title":"Melgratti and Christian Rold\u00e1n","author":"Hern\u00e1n","year":"2016","unstructured":"Hern\u00e1n C. Melgratti and Christian Rold\u00e1n . 2016 . A Formal Analysis of the Global Sequence Protocol. In COORDINATION. 175\u2013191. Hern\u00e1n C. Melgratti and Christian Rold\u00e1n. 2016. A Formal Analysis of the Global Sequence Protocol. In COORDINATION. 175\u2013191."},{"key":"e_1_3_2_1_34_1","volume-title":"Ousterhout","author":"Ongaro Diego","year":"2014","unstructured":"Diego Ongaro and John K . Ousterhout . 2014 . In Search of an Understandable Consensus Algorithm. In USENIX ATC. 305\u2013319. Diego Ongaro and John K. Ousterhout. 2014. In Search of an Understandable Consensus Algorithm. In USENIX ATC. 305\u2013319."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno M. Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In SSS. 386\u2013400.   Marc Shapiro Nuno M. Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In SSS. 386\u2013400.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224070"},{"volume-title":"Twitter clone on Cassandra","key":"e_1_3_2_1_39_1","unstructured":"Twissandra. 2014. Twitter clone on Cassandra . http:\/\/twissandra.com\/ . Accessed: 2018-02-26. Twissandra. 2014. Twitter clone on Cassandra. http:\/\/twissandra.com\/ . Accessed: 2018-02-26."},{"key":"e_1_3_2_1_40_1","unstructured":"Xin Zhao. 2018. OACP implementation source code repository. https: \/\/github.com\/CynthiaZ92\/OACP .  Xin Zhao. 2018. OACP implementation source code repository. https: \/\/github.com\/CynthiaZ92\/OACP ."}],"event":{"name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"SPLASH '18"},"container-title":["Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281366.3281372","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281366.3281372","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:18Z","timestamp":1750208238000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281366.3281372"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":37,"alternative-id":["10.1145\/3281366.3281372","10.1145\/3281366"],"URL":"https:\/\/doi.org\/10.1145\/3281366.3281372","relation":{},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}