{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:26:16Z","timestamp":1755926776014,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"name":"FCT, IP - Portugal","award":["UIDB\/04516\/2020"],"award-info":[{"award-number":["UIDB\/04516\/2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577725","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1394-1401","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Anticipation of Method Execution in Mixed Consistency Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7582-0308","authenticated-orcid":false,"given":"Marco","family":"Giunti","sequence":"first","affiliation":[{"name":"NOVA LINCS, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7958-9740","authenticated-orcid":false,"given":"Herv\u00e9","family":"Paulino","sequence":"additional","affiliation":[{"name":"Dep. of Informatics, NOVA School of Science and Technology, NOVA University of Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8074-0380","authenticated-orcid":false,"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[{"name":"Dep. of Informatics, NOVA School of Science and Technology, NOVA University of Lisbon, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/www.antidotedb.eu. Last visited","author":"DB","year":"2022","unstructured":"Antidote DB 2015. https:\/\/www.antidotedb.eu. Last visited in June 2022 . AntidoteDB 2015. https:\/\/www.antidotedb.eu. Last visited in June 2022."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","first-page":"1333","DOI":"10.1007\/s10817-020-09573-w","article-title":"Synthesizing Precise and Useful Commutativity Conditions","volume":"64","author":"Bansal Kshitij","year":"2020","unstructured":"Kshitij Bansal , Eric Koskinen , and Omer Tripp . 2020 . Synthesizing Precise and Useful Commutativity Conditions . J. Autom. Reason. 64 , 7 (2020), 1333 -- 1359 . Kshitij Bansal, Eric Koskinen, and Omer Tripp. 2020. Synthesizing Precise and Useful Commutativity Conditions. J. Autom. Reason. 64, 7 (2020), 1333--1359.","journal-title":"J. Autom. Reason."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/2500000011","article-title":"Principles of Eventual Consistency","volume":"1","author":"Burckhardt Sebastian","year":"2014","unstructured":"Sebastian Burckhardt . 2014 . Principles of Eventual Consistency . Foundations and Trends in Programming Languages 1 , 1 - 2 (2014), 1--150. Sebastian Burckhardt. 2014. Principles of Eventual Consistency. Foundations and Trends in Programming Languages 1, 1-2 (2014), 1--150.","journal-title":"Foundations and Trends in Programming Languages"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/3307624.3307629","article-title":"OOlong: A Concurrent Object Calculus for Extensibility and Reuse","volume":"18","author":"Castegren Elias","year":"2019","unstructured":"Elias Castegren and Tobias Wrigstad . 2019 . OOlong: A Concurrent Object Calculus for Extensibility and Reuse . SIGAPP Appl. Comput. Rev. 18 , 4 (2019), 47 -- 60 . Elias Castegren and Tobias Wrigstad. 2019. OOlong: A Concurrent Object Calculus for Extensibility and Reuse. SIGAPP Appl. Comput. Rev. 18, 4 (2019), 47--60.","journal-title":"SIGAPP Appl. Comput. Rev."},{"volume-title":"Proc. of POPL. ACM, 371--384","author":"Alexey","unstructured":"Alexey Gotsman et al. 2016. 'Cause I'm strong enough: reasoning about consistency choices in distributed systems . In Proc. of POPL. ACM, 371--384 . Alexey Gotsman et al. 2016. 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. In Proc. of POPL. ACM, 371--384.","key":"e_1_3_2_1_5_1"},{"volume-title":"Proc. of OSDI. USENIX Association, 265--278","author":"Cheng","unstructured":"Cheng Li et al. 2012. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary . In Proc. of OSDI. USENIX Association, 265--278 . Cheng Li et al. 2012. Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In Proc. of OSDI. USENIX Association, 265--278.","key":"e_1_3_2_1_6_1"},{"volume-title":"Proc. of USENIX Technical Conference. USENIX Association, 281--292","author":"Cheng","unstructured":"Cheng Li et al. 2014. Automating the Choice of Consistency Levels in Replicated Systems . In Proc. of USENIX Technical Conference. USENIX Association, 281--292 . Cheng Li et al. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In Proc. of USENIX Technical Conference. USENIX Association, 281--292.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","volume-title":"Barrett et al","author":"Clark","year":"2011","unstructured":"Clark W. Barrett et al . 2011 . CVC4. In Proc. of CAV, Vol. 6806 . Springer , 171--177. Clark W. Barrett et al. 2011. CVC4. In Proc. of CAV, Vol. 6806. Springer, 171--177."},{"volume-title":"Proc. of SOSP. ACM, 205--220","author":"Giuseppe","unstructured":"Giuseppe DeCandia et al. 2007. Dynamo: amazon's highly available key-value store . In Proc. of SOSP. ACM, 205--220 . Giuseppe DeCandia et al. 2007. Dynamo: amazon's highly available key-value store. In Proc. of SOSP. ACM, 205--220.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"1517","DOI":"10.14778\/3461535.3461541","article-title":"AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics","volume":"14","author":"Jiawei Wang","year":"2021","unstructured":"Jiawei Wang et al. 2021 . AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics . Proc. VLDB Endow. 14 , 9 (2021), 1517 -- 1530 . Jiawei Wang et al. 2021. AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics. Proc. VLDB Endow. 14, 9 (2021), 1517--1530.","journal-title":"Proc. VLDB Endow."},{"key":"e_1_3_2_1_11_1","volume-title":"Conflict-Free Replicated Data Types. In Proc. of SSS","volume":"6976","author":"Marc","unstructured":"Marc Shapiro et al. 2011 . Conflict-Free Replicated Data Types. In Proc. of SSS , Vol. 6976 . Springer, 386--400. Marc Shapiro et al. 2011. Conflict-Free Replicated Data Types. In Proc. of SSS, Vol. 6976. Springer, 386--400."},{"key":"e_1_3_2_1_12_1","first-page":"253","article-title":"Consistency Rationing in the Cloud: Pay only when it matters","volume":"2","author":"Tim Kraska","year":"2009","unstructured":"Tim Kraska et al. 2009 . Consistency Rationing in the Cloud: Pay only when it matters . PVLDB 2 , 1 (2009), 253 -- 264 . Tim Kraska et al. 2009. Consistency Rationing in the Cloud: Pay only when it matters. PVLDB 2, 1 (2009), 253--264.","journal-title":"PVLDB"},{"key":"e_1_3_2_1_13_1","first-page":"1","article-title":"Putting consistency back into eventual consistency","volume":"6","author":"Valter Balegas","year":"2015","unstructured":"Valter Balegas et al. 2015 . Putting consistency back into eventual consistency . In Proc. of EuroSys. ACM , 6 : 1 -- 6 :16. Valter Balegas et al. 2015. Putting consistency back into eventual consistency. In Proc. of EuroSys. ACM, 6:1--6:16.","journal-title":"Proc. of EuroSys. ACM"},{"volume-title":"Proc. of SOSP. ACM, 401--416","author":"Wyatt","unstructured":"Wyatt Lloyd et al. 2011. Don't settle for eventual: scalable causal consistency for wide-area storage with COPS . In Proc. of SOSP. ACM, 401--416 . Wyatt Lloyd et al. 2011. Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. In Proc. of SOSP. ACM, 401--416.","key":"e_1_3_2_1_14_1"},{"volume-title":"Proc. of USENIX Technical Conference. USENIX Association, 359--372","author":"Cheng","unstructured":"Cheng Li et al. 2018. Fine-grained consistency for geo-replicated systems . In Proc. of USENIX Technical Conference. USENIX Association, 359--372 . Cheng Li et al. 2018. Fine-grained consistency for geo-replicated systems. In Proc. of USENIX Technical Conference. USENIX Association, 359--372.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of PLDI. ACM, 413--424","author":"Sivaramakrishnan K. C.","year":"2015","unstructured":"K. C. Sivaramakrishnan 2015 . Declarative programming over eventually consistent data stores . In Proc. of PLDI. ACM, 413--424 . K. C. Sivaramakrishnan et al. 2015. Declarative programming over eventually consistent data stores. In Proc. of PLDI. ACM, 413--424."},{"key":"e_1_3_2_1_18_1","volume-title":"POPL","author":"Houshmand Farzin","year":"2019","unstructured":"Farzin Houshmand and Mohsen Lesani . 2019. Hamsaz: replication coordination analysis and synthesis. PACMPL 3 , POPL ( 2019 ), 74:1--74:32. Farzin Houshmand and Mohsen Lesani. 2019. Hamsaz: replication coordination analysis and synthesis. PACMPL 3, POPL (2019), 74:1--74:32."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1773912.1773922","article-title":"Cassandra: a decentralized structured storage system","volume":"44","author":"Lakshman Avinash","year":"2010","unstructured":"Avinash Lakshman and Prashant Malik . 2010 . Cassandra: a decentralized structured storage system . Operating Systems Review 44 , 2 (2010), 35 -- 40 . Avinash Lakshman and Prashant Malik. 2010. Cassandra: a decentralized structured storage system. Operating Systems Review 44, 2 (2010), 35--40.","journal-title":"Operating Systems Review"},{"key":"e_1_3_2_1_20_1","volume-title":"Myers","author":"Milano Matthew","year":"2018","unstructured":"Matthew Milano and Andrew C . Myers . 2018 . MixT: a language for mixing consistency in geodistributed transactions. In Proc. of PLDI. ACM , 226--241. Matthew Milano and Andrew C. Myers. 2018. MixT: a language for mixing consistency in geodistributed transactions. In Proc. of PLDI. ACM, 226--241."},{"key":"e_1_3_2_1_21_1","volume-title":"KV 2009. https:\/\/riak.com\/products\/riak-kv\/. Last visited in June","author":"Riak","year":"2022","unstructured":"Riak KV 2009. https:\/\/riak.com\/products\/riak-kv\/. Last visited in June 2022 . Riak KV 2009. https:\/\/riak.com\/products\/riak-kv\/. Last visited in June 2022."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of PMLDC@ECOOP. ACM, 1--4.","author":"Zaza Nosheen","year":"2016","unstructured":"Nosheen Zaza and Nathaniel Nystrom . 2016 . Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency . In Proc. of PMLDC@ECOOP. ACM, 1--4. Nosheen Zaza and Nathaniel Nystrom. 2016. Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency. In Proc. of PMLDC@ECOOP. ACM, 1--4."}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC '23","name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","location":"Tallinn Estonia"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577725","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:24Z","timestamp":1750183704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577725"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":21,"alternative-id":["10.1145\/3555776.3577725","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577725","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}