{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:00Z","timestamp":1750220520849,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,23]],"date-time":"2020-07-23T00:00:00Z","timestamp":1595462400000},"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":[[2020,7,23]]},"DOI":"10.1145\/3427761.3428346","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:48:04Z","timestamp":1606272484000},"page":"15-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ConSysT: tunable, safe consistency meets object-oriented programming"],"prefix":"10.1145","author":[{"given":"Mirko","family":"K\u00f6hler","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}]},{"given":"Nafise Eskandani","family":"Masoule","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}]},{"given":"Alessandro","family":"Margara","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Guido","family":"Salvaneschi","sequence":"additional","affiliation":[{"name":"University of St. Gallen, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2020,11,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Peter Bailis Aaron Davidson Alan Fekete Ali Ghodsi Joseph M. Hellerstein and Ion Stoica. 2013. Highly Available Transactions: Virtues and Limitations. PVLDB.  Peter Bailis Aaron Davidson Alan Fekete Ali Ghodsi Joseph M. Hellerstein and Ion Stoica. 2013. Highly Available Transactions: Virtues and Limitations. PVLDB.","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_2_1","volume-title":"Disciplined Inconsistency with Consistency Types (SoCC '16)","author":"Holt Brandon","year":"2016","unstructured":"Brandon Holt , James Bornholt , Irene Zhang , Dan Ports , Mark Oskin , and Luis Ceze . 2016 . Disciplined Inconsistency with Consistency Types (SoCC '16) . ACM, 15. Brandon Holt, James Bornholt, Irene Zhang, Dan Ports, Mark Oskin, and Luis Ceze. 2016. Disciplined Inconsistency with Consistency Types (SoCC '16). ACM, 15."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. ACM Program. Lang. 2 ( 2017 ), 27 : 1-27 : 34","author":"Kaki Gowtham","year":"2017","unstructured":"Gowtham Kaki , Kartik Nagar , Mahsa Najafzadeh , and Suresh Jagannathan . 2017 . Alone Together: Compositional Reasoning and Inference for Weak Isolation . Proc. ACM Program. Lang. 2 ( 2017 ), 27 : 1-27 : 34 . Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, and Suresh Jagannathan. 2017. Alone Together: Compositional Reasoning and Inference for Weak Isolation. Proc. ACM Program. Lang. 2 ( 2017 ), 27 : 1-27 : 34."},{"key":"e_1_3_2_1_5_1","unstructured":"Cheng Yen 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 (OSDI '12). USENIX.  Cheng Yen 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 (OSDI '12). USENIX."},{"key":"e_1_3_2_1_6_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 (PLDI '18). ACM. Matthew Milano and Andrew C. Myers. 2018. MixT: A Language for Mixing Consistency in Geodistributed Transactions (PLDI '18). ACM."},{"key":"e_1_3_2_1_7_1","volume-title":"Myers","author":"Milano Matthew","year":"2019","unstructured":"Matthew Milano , Rolph Recto , Tom Magrino , and Andrew C . Myers . 2019 . A Tour of Gallifrey, a Language for Geodistributed Programming (SNAPL '19). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik . Matthew Milano, Rolph Recto, Tom Magrino, and Andrew C. Myers. 2019. A Tour of Gallifrey, a Language for Geodistributed Programming (SNAPL '19). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"KC Sivaramakrishnan Gowtham Kaki and Suresh Jagannathan. 2015. Declarative Programming over Eventually Consistent Data Stores (PLDI '15). ACM.  KC Sivaramakrishnan Gowtham Kaki and Suresh Jagannathan. 2015. Declarative Programming over Eventually Consistent Data Stores (PLDI '15). ACM.","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_1_9_1","unstructured":"Paolo Viotti and Marko Vukoli\u0107. 2016. Consistency in NonTransactional Distributed Storage Systems. CSUR (July 2016 ).  Paolo Viotti and Marko Vukoli\u0107. 2016. Consistency in NonTransactional Distributed Storage Systems. CSUR (July 2016 )."}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427761.3428346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3427761.3428346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:40Z","timestamp":1750195480000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427761.3428346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,23]]},"references-count":9,"alternative-id":["10.1145\/3427761.3428346","10.1145\/3427761"],"URL":"https:\/\/doi.org\/10.1145\/3427761.3428346","relation":{},"subject":[],"published":{"date-parts":[[2020,7,23]]},"assertion":[{"value":"2020-11-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}