{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T20:29:19Z","timestamp":1791318559695,"version":"4.3.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T00:00:00Z","timestamp":1433289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006445","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1216613, CCF-1318227"],"award-info":[{"award-number":["CCF-1216613, CCF-1318227"]}],"id":[{"id":"10.13039\/100006445","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,3]]},"DOI":"10.1145\/2737924.2737981","type":"proceedings-article","created":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T11:35:56Z","timestamp":1433331356000},"page":"413-424","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["Declarative programming over eventually consistent data stores"],"prefix":"10.1145","author":[{"given":"KC","family":"Sivaramakrishnan","sequence":"first","affiliation":[{"name":"University of Cambridge, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gowtham","family":"Kaki","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"260","volume-title":"CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings","author":"Alvaro P.","year":"2011","unstructured":"P. Alvaro , N. Conway , J. Hellerstein , and W. R. Marczak . Consistency Analysis in Bloom: a CALM and Collected Approach . In CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings , pages 249\u2013 260 , 2011 . URL http:\/\/www.cidrdb.org\/cidr2011\/ Papers\/CIDR11_Paper35.pdf. P. Alvaro, N. Conway, J. Hellerstein, and W. R. Marczak. Consistency Analysis in Bloom: a CALM and Collected Approach. In CIDR 2011, Fifth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings, pages 249\u2013260, 2011. URL http:\/\/www.cidrdb.org\/cidr2011\/ Papers\/CIDR11_Paper35.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_1_5_1","unstructured":"2237.  2237."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522732"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_9_1","volume-title":"Towards Robust Distributed Systems (Invited Talk)","author":"Brewer E.","year":"2000","unstructured":"E. Brewer . Towards Robust Distributed Systems (Invited Talk) , 2000 . E. Brewer. Towards Robust Distributed Systems (Invited Talk), 2000."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_4"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 29th European Conference on Object-Oriented Programming, ECOOP \u201915","author":"Burckhardt S.","year":"2015","unstructured":"S. Burckhardt , D. Leijen , J. Protzenko , and M. F\u00e4hndrich . Global Sequence Protocol: A Robust Abstraction for Replicated Shared State . In Proceedings of the 29th European Conference on Object-Oriented Programming, ECOOP \u201915 , Prague, Czech Republic , 2015 . URL http:\/\/research.microsoft.com\/pubs\/ 240462\/gsp-tr-2015-2.pdf. S. Burckhardt, D. Leijen, J. Protzenko, and M. F\u00e4hndrich. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In Proceedings of the 29th European Conference on Object-Oriented Programming, ECOOP \u201915, Prague, Czech Republic, 2015. URL http:\/\/research.microsoft.com\/pubs\/ 240462\/gsp-tr-2015-2.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294281"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_16_1","unstructured":"564601.  564601."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/78969.78972.    10.1145\/78969.78972\ndoi: 10.1145\/78969.78972.","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_21_1","first-page":"278","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201912","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 Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201912 , pages 265\u2013 278 , Berkeley, CA, USA , 2012 . USENIX Association. ISBN 978- 1-931971-96-6. URL http:\/\/dl.acm.org\/citation.cfm? id=2387880.2387906. 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 Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation, OSDI\u201912, pages 265\u2013 278, Berkeley, CA, USA, 2012. USENIX Association. ISBN 978- 1-931971-96-6. URL http:\/\/dl.acm.org\/citation.cfm? id=2387880.2387906."},{"key":"e_1_3_2_1_22_1","first-page":"292","volume-title":"Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference, USENIX ATC\u201914","author":"Li C.","year":"2014","unstructured":"C. Li , J. a. Leit\u00e3o , A. Clement , N. Pregui\u00e7a , R. Rodrigues , and V. Vafeiadis . Automating the Choice of Consistency Levels in Replicated Systems . In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference, USENIX ATC\u201914 , pages 281\u2013 292 , Berkeley, CA, USA , 2014 . USENIX Association. ISBN 978- 1-931971-10-2. URL http:\/\/dl.acm.org\/citation.cfm? id=2643634.2643664. C. Li, J. a. Leit\u00e3o, A. Clement, N. Pregui\u00e7a, R. Rodrigues, and V. Vafeiadis. Automating the Choice of Consistency Levels in Replicated Systems. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference, USENIX ATC\u201914, pages 281\u2013 292, Berkeley, CA, USA, 2014. USENIX Association. ISBN 978- 1-931971-10-2. URL http:\/\/dl.acm.org\/citation.cfm? id=2643634.2643664."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_24_1","first-page":"328","volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi\u201913","author":"Lloyd W.","year":"2013","unstructured":"W. Lloyd , M. J. Freedman , M. Kaminsky , and D. G. Andersen . Stronger Semantics for Low-latency Geo-replicated Storage . In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi\u201913 , pages 313\u2013 328 , Berkeley, CA, USA , 2013 . W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen. Stronger Semantics for Low-latency Geo-replicated Storage. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi\u201913, pages 313\u2013328, Berkeley, CA, USA, 2013."},{"key":"e_1_3_2_1_25_1","unstructured":"USENIX Association. URL http:\/\/dl.acm.org\/citation. cfm?id=2482626.2482657.  USENIX Association. URL http:\/\/dl.acm.org\/citation. cfm?id=2482626.2482657."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266711"},{"key":"e_1_3_2_1_28_1","first-page":"916","volume":"0","author":"ACM","unstructured":"ACM . ISBN 0-89791 - 916 - 915 . doi: 10.1145\/268998.266711. 10.1145\/268998.266711 ACM. ISBN 0-89791-916-5. doi: 10.1145\/268998.266711.","journal-title":"ISBN"},{"key":"e_1_3_2_1_29_1","volume-title":"Rice University Bidding System","author":"S.","year":"2014","unstructured":"RUBi S. Rice University Bidding System , 2014 . URL http:\/\/ rubis.ow2.org\/. Accessed : 2014-11-4 13:21:00. RUBiS. Rice University Bidding System, 2014. URL http:\/\/ rubis.ow2.org\/. Accessed: 2014-11-4 13:21:00."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"M.\n      Shapiro N.\n      Pregui\u00e7a C.\n      Baquero and \n      M.\n      Zawirski\n  . \n  Conflict-Free Replicated Data Types\n  . In X. D\u00e9fago F. Petit and V. Villain editors Stabilization Safety and Security of Distributed Systems volume \n  6976\n   of \n  Lecture Notes in Computer Science pages 386\u2013 \n  400\n  . Springer Berlin Heidelberg 2011. ISBN 978-3-642-24549-7. doi: 10.1007\/978-3-642-24550-3_29.     10.1007\/978-3-642-24550-3_29\nM. Shapiro N. Pregui\u00e7a C. Baquero and M. Zawirski. Conflict-Free Replicated Data Types. In X. D\u00e9fago F. Petit and V. Villain editors Stabilization Safety and Security of Distributed Systems volume 6976 of Lecture Notes in Computer Science pages 386\u2013 400. Springer Berlin Heidelberg 2011. ISBN 978-3-642-24549-7. doi: 10.1007\/978-3-642-24550-3_29.","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213945"},{"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.5555\/645792.668302"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_3_2_1_35_1","volume-title":"Twitter clone on Cassandra","year":"2014","unstructured":"Twissandra. Twitter clone on Cassandra , 2014 . URL http:\/\/ twissandra.com\/. Accessed : 2014-11-4 13:21:00. Twissandra. Twitter clone on Cassandra, 2014. URL http:\/\/ twissandra.com\/. Accessed: 2014-11-4 13:21:00."},{"key":"e_1_3_2_1_36_1","first-page":"z3","year":"2014","unstructured":"Z3 . High-performance Theorem Prover , 2014 . URL http:\/\/ z3 . codeplex.com\/. Accessed: 2014-11-4 13:21:00. Introduction System Model Motivation RDT Specification Summarization Anomalies under Eventual Consistency Contracts From Contracts to Implementation Contract Language Syntax Semantics Capturing Store Semantics Contract Classification Generality of Contracts Soundness of Contract Classification Transaction Contracts Syntax and Semantics Extensions Transactional Bank Account Coordination-free Transactions Classification Implementation Operation Consistency Transactions Summarization Evaluation Related Work Conclusions Z3. High-performance Theorem Prover, 2014. URL http:\/\/z3. codeplex.com\/. Accessed: 2014-11-4 13:21:00. Introduction System Model Motivation RDT Specification Summarization Anomalies under Eventual Consistency Contracts From Contracts to Implementation Contract Language Syntax Semantics Capturing Store Semantics Contract Classification Generality of Contracts Soundness of Contract Classification Transaction Contracts Syntax and Semantics Extensions Transactional Bank Account Coordination-free Transactions Classification Implementation Operation Consistency Transactions Summarization Evaluation Related Work Conclusions","journal-title":"High-performance Theorem Prover"}],"event":{"name":"PLDI '15: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Portland OR USA","acronym":"PLDI '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737924.2737981","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2737924.2737981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:12:23Z","timestamp":1750212743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737924.2737981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,3]]},"references-count":35,"alternative-id":["10.1145\/2737924.2737981","10.1145\/2737924"],"URL":"https:\/\/doi.org\/10.1145\/2737924.2737981","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2813885.2737981","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,6,3]]},"assertion":[{"value":"2015-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}