{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:09Z","timestamp":1750221129830,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T00:00:00Z","timestamp":1546560000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF1010495"],"award-info":[{"award-number":["W911NF1010495"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008536","name":"Amazon Web Services","doi-asserted-by":"publisher","award":["AWS Research Grant"],"award-info":[{"award-number":["AWS Research Grant"]}],"id":[{"id":"10.13039\/100008536","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,1,4]]},"DOI":"10.1145\/3288599.3288630","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T18:42:31Z","timestamp":1547059351000},"page":"282-291","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Consistify"],"prefix":"10.1145","author":[{"given":"Subhajit","family":"Sidhanta","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Jodhpur, Jodhpur, India"}]},{"given":"Supratik","family":"Mukhopadhyay","sequence":"additional","affiliation":[{"name":"Louisiana State University"}]},{"given":"Wojciech","family":"Golab","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}]}],"member":"320","published-online":{"date-parts":[[2019,1,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"1986","unstructured":"Alfred V. Aho , Ravi Sethi , and Jeffrey D . Ullman . 1986 . Compilers : Principles, Techniques, and Tools. Boston, MA, USA. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. 1986. Compilers: Principles, Techniques, and Tools. Boston, MA, USA."},{"volume-title":"Cure: Strong Semantics Meets High Availability and Low Latency. In 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). 405--414","author":"Akkoorath D. D.","key":"e_1_3_2_1_2_1","unstructured":"D. D. Akkoorath , A. Z. Tomsic , M. Bravo , Z. Li , T. Crain , A. Bieniusa , N. Preguia , and M. Shapiro . 2016 . Cure: Strong Semantics Meets High Availability and Low Latency. In 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). 405--414 . D. D. Akkoorath, A. Z. Tomsic, M. Bravo, Z. Li, T. Crain, A. Bieniusa, N. Preguia, and M. Shapiro. 2016. Cure: Strong Semantics Meets High Availability and Low Latency. In 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). 405--414."},{"key":"e_1_3_2_1_3_1","volume-title":"The Case for Invariant-Based Concurrency Control. In CIDR 2015, Seventh Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 4--7, 2015, Online Proceedings.","author":"Bailis Peter","year":"2015","unstructured":"Peter Bailis . 2015 . The Case for Invariant-Based Concurrency Control. In CIDR 2015, Seventh Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 4--7, 2015, Online Proceedings. Peter Bailis. 2015. The Case for Invariant-Based Concurrency Control. In CIDR 2015, Seventh Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 4--7, 2015, Online Proceedings."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2737784"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2588562"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"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","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212359"},{"key":"e_1_3_2_1_10_1","unstructured":"K. Birman and R. Friedman. 1996. Trading Consistency for Availability in Distributed Systems. Cornell University. Department of Computer Science.  K. Birman and R. Friedman. 1996. Trading Consistency for Availability in Distributed Systems . Cornell University. Department of Computer Science."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043571"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_13_1","volume-title":"10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012","author":"Corbett James C.","year":"2012","unstructured":"James C. Corbett , Jeffrey Dean , Michael Epstein , Andrew Fikes , Christopher Frost , J. J. Furman , Sanjay Ghemawat , Andrey Gubarev , Christopher Heiser , Peter Hochschild , Wilson C. Hsieh , Sebastian Kanthak , Eugene Kogan , Hongyi Li , Alexander Lloyd , Sergey Melnik , David Mwaura , David Nagle , Sean Quinlan , Rajesh Rao , Lindsay Rolig , Yasushi Saito , Michal Szymaniak , Christopher Taylor , Ruth Wang , and Dale Woodford . 2012 . Spanner: Google's Globally-Distributed Database . In 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012 , Hollywood, CA, USA, October 8--10 , 2012. 251--264. James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. 2012. Spanner: Google's Globally-Distributed Database. In 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8--10, 2012. 251--264."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1323293.1294281"},{"key":"e_1_3_2_1_15_1","unstructured":"Sivaramakrishnan KC. 2015. Quela. https:\/\/github.com\/kayceesrk\/Quelea\/blob\/master\/src\/Quelea\/.  Sivaramakrishnan KC. 2015. Quela. https:\/\/github.com\/kayceesrk\/Quelea\/blob\/master\/src\/Quelea\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_18_1","volume-title":"Automating the Choice of Consistency Levels in Replicated Systems. In 2014 USENIX Annual Technical Conference, USENIX ATC '14","author":"Li Cheng","year":"2014","unstructured":"Cheng Li , Jo\u00e3o Leit\u00e3o , Allen Clement , Nuno M. Pregui\u00e7a , Rodrigo Rodrigues , and Viktor Vafeiadis . 2014 . Automating the Choice of Consistency Levels in Replicated Systems. In 2014 USENIX Annual Technical Conference, USENIX ATC '14 , Philadelphia, PA, USA, June 19--20 , 2014. 281--292. Cheng Li, Jo\u00e3o Leit\u00e3o, Allen Clement, Nuno M. Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19--20, 2014. 281--292."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043593"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815426"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505305.2505309"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2505305.2505309"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2911151.2911160"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_25_1","volume-title":"Reordering Query Execution in Tertiary Memory Databases. In VLDB","author":"Sarawagi Sunita","year":"1996","unstructured":"Sunita Sarawagi and Michael Stonebraker . {n. d.}. Reordering Query Execution in Tertiary Memory Databases. In VLDB 1996 . 156--167. Sunita Sarawagi and Michael Stonebraker. {n. d.}. Reordering Query Execution in Tertiary Memory Databases. In VLDB 1996. 156--167."},{"key":"e_1_3_2_1_26_1","volume-title":"SSS 2011, Grenoble, France, October 10--12, 2011. Proceedings. 386--400","author":"Shapiro Marc","year":"2011","unstructured":"Marc Shapiro , Nuno M. Pregui\u00e7a , Carlos Baquero , and Marek Zawirski . 2011 . Conflict-Free Replicated Data Types. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium , SSS 2011, Grenoble, France, October 10--12, 2011. Proceedings. 386--400 . Marc Shapiro, Nuno M. Pregui\u00e7a, Carlos Baquero, and Marek Zawirski. 2011. Conflict-Free Replicated Data Types. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10--12, 2011. Proceedings. 386--400."},{"key":"e_1_3_2_1_27_1","volume-title":"OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores. In IEEE\/ACM 16th International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2016","author":"Sidhanta Subhajit","year":"2016","unstructured":"Subhajit Sidhanta , Wojciech M. Golab , Supratik Mukhopadhyay , and Saikat Basu . 2016 . OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores. In IEEE\/ACM 16th International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2016 , Cartagena, Colombia, May 16--19 , 2016. 388--397. Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, and Saikat Basu. 2016. OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores. In IEEE\/ACM 16th International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2016, Cartagena, Colombia, May 16--19, 2016. 388--397."},{"key":"e_1_3_2_1_28_1","volume-title":"Consistify: A Correctness-preserving, SLA-Aware, Automated Consistency Tuning Framework. Technical Report.","author":"Sidhanta Subhajit","year":"2016","unstructured":"Subhajit Sidhanta , Supratik Mukhopadhyay , and Wojciech Golab . 2016 . Consistify: A Correctness-preserving, SLA-Aware, Automated Consistency Tuning Framework. Technical Report. Subhajit Sidhanta, Supratik Mukhopadhyay, and Wojciech Golab. 2016. Consistify: A Correctness-preserving, SLA-Aware, Automated Consistency Tuning Framework. Technical Report."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_1_30_1","first-page":"52","article-title":"Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores","volume":"39","author":"Sivaramakrishnan K. C.","year":"2016","unstructured":"K. C. Sivaramakrishnan , Gowtham Kaki , and Suresh Jagannathan . 2016 . Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores . IEEE Data Eng. Bull. 39 , 1 (2016), 52 -- 64 . K. C. Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan. 2016. Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. IEEE Data Eng. Bull. 39, 1 (2016), 52--64.","journal-title":"IEEE Data Eng. Bull."}],"event":{"name":"ICDCN '19: International Conference on Distributed Computing and Networking","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","Indian Institute of Science Indian Institute of Science","ACM Association for Computing Machinery"],"location":"Bangalore India","acronym":"ICDCN '19"},"container-title":["Proceedings of the 20th International Conference on Distributed Computing and Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3288599.3288630","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3288599.3288630","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3288599.3288630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:22Z","timestamp":1750208542000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3288599.3288630"}},"subtitle":["preserving correctness and SLA under weak consistency"],"short-title":[],"issued":{"date-parts":[[2019,1,4]]},"references-count":30,"alternative-id":["10.1145\/3288599.3288630","10.1145\/3288599"],"URL":"https:\/\/doi.org\/10.1145\/3288599.3288630","relation":{},"subject":[],"published":{"date-parts":[[2019,1,4]]},"assertion":[{"value":"2019-01-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}