{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T10:32:39Z","timestamp":1790937159554,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Department of Defence, Air Force office of Scientific Research, National Defense Science and Engineering Graduate (NDSEG) Fellowship","award":["32 CFR 168a"],"award-info":[{"award-number":["32 CFR 168a"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1717554"],"award-info":[{"award-number":["1717554"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192375","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"226-241","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["MixT: a language for mixing consistency in geodistributed transactions"],"prefix":"10.1145","author":[{"given":"Mae","family":"Milano","sequence":"first","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew C.","family":"Myers","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.25"},{"key":"e_1_3_2_2_2_1","volume-title":"Bolt-On Causal Consistency. In ACM SIGMOD International Conference on Management of Data (SIGMOD). 761-772","author":"Bailis Peter","year":"2013","unstructured":"Peter Bailis, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. 2013. Bolt-On Causal Consistency. In ACM SIGMOD International Conference on Management of Data (SIGMOD). 761-772."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1835698.1835701"},{"key":"e_1_3_2_2_6_1","volume-title":"Personal communication. (Nov","author":"Brown Jane","year":"2017","unstructured":"Jane Brown. 2017. Personal communication. (Nov. 2017). Google, Inc."},{"key":"e_1_3_2_2_7_1","volume-title":"44th ACM Symp. on Principles of Programming Languages (POPL). 458-472","author":"Brutschy Lucas","unstructured":"Lucas Brutschy, Dimitar Dimitrov, Peter M\u00fcller, and Martin T. Vechev. 2017. Serializability for Eventual Consistency: Criterion, Analysis, and Applications. In 44th ACM Symp. on Principles of Programming Languages (POPL). 458-472."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2505464"},{"key":"e_1_3_2_2_9_1","volume-title":"Self-Tuning Eventually-Consistent Data Stores. In International Symposium on Stabilization, Safety, and Security of Distributed Systems. Springer, 78-92","author":"Chatterjee Shankha","year":"2017","unstructured":"Shankha Chatterjee and Wojciech Golab. 2017. Self-Tuning Eventually-Consistent Data Stores. In International Symposium on Stabilization, Safety, and Security of Distributed Systems. Springer, 78-92."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350262"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454167"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491245"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882951"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_2_15_1","volume-title":"Transactions in Relaxed Memory Architectures. In 45th ACM Symp. on Principles of Programming Languages (POPL). 18:1-18:29","author":"Dongol Brijesh","year":"2018","unstructured":"Brijesh Dongol, Radha Jagadeesan, and James Riely. 2018. Transactions in Relaxed Memory Architectures. In 45th ACM Symp. on Principles of Programming Languages (POPL). 18:1-18:29."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670983"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/2983200.2983202"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814710.2814713"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775217"},{"key":"e_1_3_2_2_20_1","unstructured":"Mimi Gentz Aravind Krishna R Luis Bosquez Mark McGee Tyson Nevil Kris Crider Yaron Y. Goland Andy Pasic and Ji Huang Carol Zeumault. 2017. Welcome to Azure Cosmos DB. https:\/\/docs.microsoft.com\/en-us\/azure\/cosmos-db\/introduction. (2017)."},{"key":"e_1_3_2_2_21_1","volume-title":"Security Policies and Security Models. In IEEE Symp. on Security and Privacy. 11-20","author":"Joseph","unstructured":"Joseph A. Goguen and Jose Meseguer. 1982. Security Policies and Security Models. In IEEE Symp. on Security and Privacy. 11-20."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026891"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_2_25_1","volume-title":"Linearizability: A Correctness Condition for Concurrent Objects. Technical Report CMU-CS-88-120","author":"Herlihy M.","year":"1988","unstructured":"M. Herlihy and J. Wing. 1988. Linearizability: A Correctness Condition for Concurrent Objects. Technical Report CMU-CS-88-120. Carnegie Mellon University, Pittsburgh, Pa."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987559"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745947.2745951"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2740174"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158115"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454211"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1900160.1900176"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687657"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465363"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/319566.319567"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_2_36_1","volume-title":"Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference.","author":"Li Cheng","year":"2014","unstructured":"Cheng Li, Joao Leitao, Allen Clement, Nuno Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In USENIX Annual Technical Conference."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387906"},{"key":"e_1_3_2_2_38_1","volume-title":"Defining and Enforcing Referential Security. In 3rd Conf. on Principles of Security and Trust (POST). 199- 219","author":"Liu Jed","unstructured":"Jed Liu and Andrew C. Myers. 2014. Defining and Enforcing Referential Security. In 3rd Conf. on Principles of Security and Trust (POST). 199- 219."},{"key":"e_1_3_2_2_39_1","volume-title":"23rd ACM Symp. on Operating System Principles (SOSP). 401-416","author":"Lloyd Wyatt","unstructured":"Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2011. Don't settle for eventual: scalable causal consistency for wide-area storage with COPS. In 23rd ACM Symp. on Operating System Principles (SOSP). 401-416."},{"key":"e_1_3_2_2_40_1","volume-title":"Stronger Semantics for Low-Latency Geo-Replicated Storage. In 10th USENIX Symp. on Networked Systems Design and Implementation (NSDI). 313-328","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 10th USENIX Symp. on Networked Systems Design and Implementation (NSDI). 313-328."},{"key":"e_1_3_2_2_41_1","volume-title":"IEEE Symp. on Security and Privacy. IEEE Press, 161-161","author":"McCullough Daryl","year":"1987","unstructured":"Daryl McCullough. 1987. Specifications for Multi-Level Security and a Hook-up Property. In IEEE Symp. on Security and Privacy. IEEE Press, 161-161."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/3154630.3154668"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685398"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1869938"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019462"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/211414.211427"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjjip.25.775"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268975"},{"key":"e_1_3_2_2_53_1","first-page":"21","article-title":"The VoltDB Main Memory DBMS","volume":"36","author":"Stonebraker Michael","year":"2013","unstructured":"Michael Stonebraker and Ariel Weisberg. 2013. The VoltDB Main Memory DBMS. IEEE Data Eng. Bull. 36, 2 (2013), 21-27.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_3_2_2_55_1","volume-title":"15th ACM Symp. on Operating System Principles (SOSP). 172-183","author":"Terry Douglas B.","unstructured":"Douglas B. Terry, Marvin M. Theimer, Karin Petersen, Alan J. Demers, and Mike J. Spreitzer. 1995. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. In 15th ACM Symp. on Operating System Principles (SOSP). 172-183."},{"key":"e_1_3_2_2_56_1","first-page":"495","volume-title":"11th USENIX Symp. on Operating Systems Design and Implementation (OSDI)","volume":"14","author":"Xie Chao","year":"2014","unstructured":"Chao Xie, Chunzhi Su, Manos Kapritsos, Yang Wang, Navid Yaghmazadeh, Lorenzo Alvisi, and Prince Mahajan. 2014. Salt: Combining ACID and BASE in a distributed database. In 11th USENIX Symp. on Operating Systems Design and Implementation (OSDI), Vol. 14. 495-509."},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815430"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSE-EUC.2017.40"},{"key":"e_1_3_2_2_59_1","volume-title":"4th USENIX Symp. on Operating Systems Design and Implementation (OSDI). Article 21","author":"Yu Haifeng","year":"2000","unstructured":"Haifeng Yu and Amin Vahdat. 2000. Design and Evaluation of a Continuous Consistency Model for Replicated Services. In 4th USENIX Symp. on Operating Systems Design and Implementation (OSDI). Article 21, 14 pages."},{"key":"e_1_3_2_2_60_1","volume-title":"Observational Determinism for Concurrent Program Security. In 16th IEEE Computer Security Foundations Workshop (CSFW). 29-43","author":"Zdancewic Steve","unstructured":"Steve Zdancewic and Andrew C. Myers. 2003. Observational Determinism for Concurrent Program Security. In 16th IEEE Computer Security Foundations Workshop (CSFW). 29-43."},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/566340.566343"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192375","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":59,"alternative-id":["10.1145\/3192366.3192375","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192375","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192375","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}