{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:14:29Z","timestamp":1781892869348,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":37,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192415","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"90-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Static serializability analysis for causal consistency"],"prefix":"10.1145","author":[{"given":"Lucas","family":"Brutschy","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dimitar","family":"Dimitrov","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Vechev","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. PhD Thesis. Massachusetts Institute of Technology Dept. of Electrical Engineering and Computer Science.   Atul Adya. 1999. Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions. PhD Thesis. Massachusetts Institute of Technology Dept. of Electrical Engineering and Computer Science."},{"key":"e_1_3_2_1_2_1","volume-title":"Antidote: The Highly-Available Geo-Replicated Database with Strongest Guarantees. Technical Report. Tech. U. Kaiserslautern. https:\/\/syncfree.lip6.fr\/ attachments\/article\/59\/antidote-white-paper.pdf","author":"Akkoorath Deepthi Devaki","year":"2016","unstructured":"Deepthi Devaki Akkoorath and Annette Bieniusa . 2016 . Antidote: The Highly-Available Geo-Replicated Database with Strongest Guarantees. Technical Report. Tech. U. Kaiserslautern. https:\/\/syncfree.lip6.fr\/ attachments\/article\/59\/antidote-white-paper.pdf Deepthi Devaki Akkoorath and Annette Bieniusa. 2016. Antidote: The Highly-Available Geo-Replicated Database with Strongest Guarantees. Technical Report. Tech. U. Kaiserslautern. https:\/\/syncfree.lip6.fr\/ attachments\/article\/59\/antidote-white-paper.pdf"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Computer Science)","volume-title":"Don\u2019t Sit on the Fence","author":"Alglave Jade","unstructured":"Jade Alglave , Daniel Kroening , Vincent Nimal , and Daniel Poetzl . 2014. Don\u2019t Sit on the Fence . In Lecture Notes in Computer Science (Lecture Notes in Computer Science) . Springer , 508\u2013524. Jade Alglave, Daniel Kroening, Vincent Nimal, and Daniel Poetzl. 2014. Don\u2019t Sit on the Fence. In Lecture Notes in Computer Science (Lecture Notes in Computer Science). Springer, 508\u2013524."},{"key":"e_1_3_2_1_4_1","volume-title":"CAV\u201913","author":"Alglave Jade","unstructured":"Jade Alglave , Daniel Kroening , and Michael Tautschnig . 2013. Partial Orders for Efficient Bounded Model Checking of Concurrent Software . In CAV\u201913 . Springer , 141\u2013157. Jade Alglave, Daniel Kroening, and Michael Tautschnig. 2013. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. In CAV\u201913. Springer, 141\u2013157."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2774283.2774787"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2016.2556669"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588562"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_3_2_1_9_1","unstructured":"Giovanni Bernardi and Alexey Gotsman. 2016. Robustness against Consistency Models with Atomic Visibility. In CONCUR\u201916.  Giovanni Bernardi and Alexey Gotsman. 2016. Robustness against Consistency Models with Atomic Visibility. In CONCUR\u201916."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535877"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009895"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660219"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000011"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250737"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_14"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_3_2_1_18_1","volume-title":"Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In Leibniz International Proceedings in Informatics (LIPIcs), John Tang Boyland (Ed.)","volume":"37","author":"Burckhardt Sebastian","year":"2015","unstructured":"Sebastian Burckhardt , Daan Leijen , Jonathan Protzenko , and Manuel F\u00e4hndrich . 2015 . Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In Leibniz International Proceedings in Informatics (LIPIcs), John Tang Boyland (Ed.) , Vol. 37 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 568\u2013590. Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, and Manuel F\u00e4hndrich. 2015. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In Leibniz International Proceedings in Informatics (LIPIcs), John Tang Boyland (Ed.), Vol. 37. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, 568\u2013590."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782854"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_1_25_1","unstructured":"Sudhir Jorwekar Alan Fekete Krithi Ramamritham and S. Sudarshan. 2007. Automating the Detection of Snapshot Isolation Anomalies. In VLDB \u201907. VLDB Endowment 1263\u20131274.   Sudhir Jorwekar Alan Fekete Krithi Ramamritham and S. Sudarshan. 2007. Automating the Detection of Snapshot Isolation Anomalies. In VLDB \u201907. VLDB Endowment 1263\u20131274."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1996.0136"},{"key":"e_1_3_2_1_27_1","volume-title":"FMCAD \u201910","author":"Kuperstein Michael","unstructured":"Michael Kuperstein , Martin Vechev , and Eran Yahav . 2010. Automatic Inference of Memory Fences . In FMCAD \u201910 . FMCAD Inc , 111\u2013120. Michael Kuperstein, Martin Vechev, and Eran Yahav. 2010. Automatic Inference of Memory Fences. In FMCAD \u201910. FMCAD Inc, 111\u2013120."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_30_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 \u201913. USENIX Association , 313\u2013328. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2013. Stronger Semantics for Low-Latency Geo-Replicated Storage. In NSDI \u201913. USENIX Association, 313\u2013328."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42277"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065947"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048237.2048245"},{"key":"e_1_3_2_1_35_1","volume-title":"CASCON \u201999","author":"Vall\u00e9e-Rai Raja","unstructured":"Raja Vall\u00e9e-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , and Vijay Sundaresan . 1999. Soot - a Java Bytecode Optimization Framework . In CASCON \u201999 . IBM Press . Raja Vall\u00e9e-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. 1999. Soot - a Java Bytecode Optimization Framework. In CASCON \u201999. IBM Press."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.9728"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009838"}],"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.3192415","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192415","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.3192415"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":37,"alternative-id":["10.1145\/3192366.3192415","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192415","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192415","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}