{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:20:04Z","timestamp":1781893204375,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"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":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837625","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"371-384","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["'Cause I'm strong enough: Reasoning about consistency choices in distributed systems"],"prefix":"10.1145","author":[{"given":"Alexey","family":"Gotsman","sequence":"first","affiliation":[{"name":"IMDEA Software Institute, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[{"name":"Universidade Nova Lisboa, Potugal"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahsa","family":"Najafzadeh","sequence":"additional","affiliation":[{"name":"Sorbonne Universites-UPMC-LIP6 and Inria Paris"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Shapiro","sequence":"additional","affiliation":[{"name":"Sorbonne Universites-UPMC-LIP6 and Inria Paris"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"https:\/\/github.com\/Z3Prover\/z3.  https:\/\/github.com\/Z3Prover\/z3."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.33"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_13"},{"key":"e_1_3_2_1_4_1","volume-title":"CAV","author":"Alglave J.","year":"2014","unstructured":"J. Alglave , D. Kroening , V. Nimal , and D. Poetzl . Don\u2019t sit on the fence - A static analysis approach to automatic fence insertion . In CAV , 2014 . J. Alglave, D. Kroening, V. Nimal, and D. Poetzl. Don\u2019t sit on the fence - A static analysis approach to automatic fence insertion. In CAV, 2014."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_28"},{"key":"e_1_3_2_1_6_1","unstructured":"Amazon. Supported operations in DynamoDB. http:\/\/docs.aws.amazon.com\/amazondynamodb\/latest\/ developerguide\/APISummary.html 2015.  Amazon. Supported operations in DynamoDB. http:\/\/docs.aws.amazon.com\/amazondynamodb\/latest\/ developerguide\/APISummary.html 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588562"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_3_2_1_10_1","unstructured":"Basho Inc. Using strong consistency in Riak. http:\/\/docs.basho.com\/riak\/latest\/dev\/advanced\/strong-consistency\/ 2015.  Basho Inc. Using strong consistency in Riak. http:\/\/docs.basho.com\/riak\/latest\/dev\/advanced\/strong-consistency\/ 2015."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926394"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_29"},{"key":"e_1_3_2_1_14_1","volume-title":"On the use of clocks to enforce consistency in the cloud","author":"Bravo M.","year":"2015","unstructured":"M. Bravo , N. Diegues , J. Zeng , P. Romano , and L. E. T. Rodrigues . On the use of clocks to enforce consistency in the cloud . IEEE Data Eng. Bull ., 38(1), 2015 . M. Bravo, N. Diegues, J. Zeng, P. Romano, and L. E. T. Rodrigues. On the use of clocks to enforce consistency in the cloud. IEEE Data Eng. Bull., 38(1), 2015."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_4"},{"key":"e_1_3_2_1_17_1","volume-title":"CONCUR","author":"Cerone A.","year":"2015","unstructured":"A. Cerone , G. Bernardi , and A. Gotsman . A framework for transactional consistency models with atomic visibility . In CONCUR , 2015 . A. Cerone, G. Bernardi, and A. Gotsman. A framework for transactional consistency models with atomic visibility. In CONCUR, 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_25"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884012"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_26"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065193"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1887654.1887681"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_15"},{"key":"e_1_3_2_1_26_1","volume-title":"IFIP Congress. North-Holland","author":"Jones C. B.","year":"1983","unstructured":"C. B. Jones . Specification and design of (parallel) programs . In IFIP Congress. North-Holland , 1983 . C. B. Jones. Specification and design of (parallel) programs. In IFIP Congress. North-Holland, 1983."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993561"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745947.2745955"},{"key":"e_1_3_2_1_30_1","volume-title":"USENIX ATC","author":"Li C.","year":"2014","unstructured":"C. Li , J. Leit\u02dcao , A. Clement , N. M. Preguic\u00b8a , R. Rodrigues , and V. Vafeiadis . Automating the choice of consistency levels in replicated systems . In USENIX ATC , 2014 . C. Li, J. Leit\u02dcao, A. Clement, N. M. Preguic\u00b8a, R. Rodrigues, and V. Vafeiadis. Automating the choice of consistency levels in replicated systems. In USENIX ATC, 2014."},{"key":"e_1_3_2_1_31_1","volume-title":"OSDI","author":"Li C.","year":"2012","unstructured":"C. Li , D. Porto , A. Clement , R. Rodrigues , N. Preguic\u00b8a , and J. Gehrke . Making geo-replicated systems fast if possible, consistent when necessary . In OSDI , 2012 . C. Li, D. Porto, A. Clement, R. Rodrigues, N. Preguic\u00b8a, and J. Gehrke. Making geo-replicated systems fast if possible, consistent when necessary. In OSDI, 2012."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.34"},{"key":"e_1_3_2_1_34_1","unstructured":"Microsoft. Consistency levels in DocumentDB. http:\/\/azure.microsoft.com\/en-us\/documentation\/articles\/ documentdb-consistency-levels\/ 2015.  Microsoft. Consistency levels in DocumentDB. http:\/\/azure.microsoft.com\/en-us\/documentation\/articles\/ documentdb-consistency-levels\/ 2015."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.035"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/645956.756681"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.25"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050613.2050642"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500500"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660243"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509532"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837625","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:37Z","timestamp":1750211017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":45,"alternative-id":["10.1145\/2837614.2837625","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837625","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837625","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}