{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:12Z","timestamp":1760043432178,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,4,18]],"date-time":"2016-04-18T00:00:00Z","timestamp":1460937600000},"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,4,18]]},"DOI":"10.1145\/2911151.2911160","type":"proceedings-article","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T12:23:53Z","timestamp":1460723033000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["The CISE tool"],"prefix":"10.1145","author":[{"given":"Mahsa","family":"Najafzadeh","sequence":"first","affiliation":[{"name":"Sorbonne-Universit\u00e9s-UPMC & Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Gotsman","sequence":"additional","affiliation":[{"name":"MDEA Software Institute, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[{"name":"NOVA LINCS, DI, FCT, U., NOVA de Lisboa, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Shapiro","sequence":"additional","affiliation":[{"name":"Sorbonne-Universit\u00e9s-UPMC & Inria, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.33"},{"key":"e_1_3_2_1_2_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_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_3_2_1_4_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_5_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein P.","year":"1987","unstructured":"P. Bernstein , V. Radzilacos , and V. Hadzilacos . Concurrency Control and Recovery in Database Systems . Addison Wesley Publishing Company , 1987 . P. Bernstein, V. Radzilacos, and V. Hadzilacos. Concurrency Control and Recovery in Database Systems. Addison Wesley Publishing Company, 1987."},{"key":"e_1_3_2_1_6_1","first-page":"251","volume-title":"Symp. on Op. Sys. Design and Implementation (OSDI)","author":"Corbett J. C.","year":"2012","unstructured":"J. C. Corbett , J. Dean , M. Epstein , A. Fikes , C. Frost , J. Furman , S. Ghemawat , A. Gubarev , C. Heiser , P. Hochschild , W. Hsieh , S. Kanthak , E. Kogan , H. Li , A. Lloyd , S. Melnik , D. Mwaura , D. Nagle , S. Quinlan , R. Rao , L. Rolig , Y. Saito , M. Szymaniak , C. Taylor , R. Wang , and D. Woodford . Spanner: Google's globally-distributed database . In Symp. on Op. Sys. Design and Implementation (OSDI) , pages 251 -- 264 , Hollywood, CA, USA , Oct. 2012 . Usenix. J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost, J. Furman, S. Ghemawat, A. Gubarev, C. Heiser, P. Hochschild, W. Hsieh, S. Kanthak, E. Kogan, H. Li, A. Lloyd, S. Melnik, D. Mwaura, D. Nagle, S. Quinlan, R. Rao, L. Rolig, Y. Saito, M. Szymaniak, C. Taylor, R. Wang, and D. Woodford. Spanner: Google's globally-distributed database. In Symp. on Op. Sys. Design and Implementation (OSDI), pages 251--264, Hollywood, CA, USA, Oct. 2012. Usenix."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_1_9_1","first-page":"265","volume-title":"Symp. on Op. Sys. Design and Implementation (OSDI)","author":"Li C.","year":"2012","unstructured":"C. Li , D. Porto , A. Clement , J. Gehrke , N. Pregui\u00e7a , and R. Rodrigues . Making geo-replicated systems fast as possible, consistent when necessary . In Symp. on Op. Sys. Design and Implementation (OSDI) , pages 265 -- 278 , Hollywood, CA, USA , Oct. 2012 . C. Li, D. Porto, A. Clement, J. Gehrke, N. Pregui\u00e7a, and R. Rodrigues. Making geo-replicated systems fast as possible, consistent when necessary. In Symp. on Op. Sys. Design and Implementation (OSDI), pages 265--278, Hollywood, CA, USA, Oct. 2012."},{"key":"e_1_3_2_1_10_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_11_1","volume-title":"Nov.","author":"Najafzadeh M.","year":"2015","unstructured":"M. Najafzadeh and M. Shapiro . Demo of the CISE tool , Nov. 2015 . Video of de mo, with explanations. M. Najafzadeh and M. Shapiro. Demo of the CISE tool, Nov. 2015. Video of demo, with explanations."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1435417.1435432"}],"event":{"name":"EuroSys '16: Eleventh EuroSys Conference 2016","acronym":"EuroSys '16","location":"London United Kingdom"},"container-title":["Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2911151.2911160","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2911151.2911160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:56Z","timestamp":1750221536000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2911151.2911160"}},"subtitle":["proving weakly-consistent applications correct"],"short-title":[],"issued":{"date-parts":[[2016,4,18]]},"references-count":14,"alternative-id":["10.1145\/2911151.2911160","10.1145\/2911151"],"URL":"https:\/\/doi.org\/10.1145\/2911151.2911160","relation":{},"subject":[],"published":{"date-parts":[[2016,4,18]]},"assertion":[{"value":"2016-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}