{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:51:56Z","timestamp":1760043116746,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454028","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T13:51:32Z","timestamp":1624024292000},"page":"32-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Repairing serializability bugs in distributed database programs via automated schema refactoring"],"prefix":"10.1145","author":[{"given":"Kia","family":"Rahmani","sequence":"first","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Kartik","family":"Nagar","sequence":"additional","affiliation":[{"name":"IIT Madras, India"}]},{"given":"Benjamin","family":"Delaware","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/www.tpc.org\/tpc_documents_current_versions\/pdf\/tpc-c_v5.11.0.pdf Online","author":"Benchmark TPC-C","year":"2020","unstructured":"2020. TPC-C Benchmark . http:\/\/www.tpc.org\/tpc_documents_current_versions\/pdf\/tpc-c_v5.11.0.pdf Online ; Accessed April 2020 . 2020. TPC-C Benchmark. http:\/\/www.tpc.org\/tpc_documents_current_versions\/pdf\/tpc-c_v5.11.0.pdf Online; Accessed April 2020."},{"key":"e_1_3_2_1_2_1","volume-title":"AngularJS & Spring Boot. https:\/\/github.com\/doanduyhai\/killrchat Online","author":"Doan DuyHai","year":"2020","unstructured":"DuyHai Doan . KillrChat , a scalable chat with Cassandra , AngularJS & Spring Boot. https:\/\/github.com\/doanduyhai\/killrchat Online ; Accessed October 2020 . DuyHai Doan. KillrChat, a scalable chat with Cassandra, AngularJS & Spring Boot. https:\/\/github.com\/doanduyhai\/killrchat Online; Accessed October 2020."},{"volume-title":"Refactoring databases : evolutionary database design","author":"Ambler Scott","key":"e_1_3_2_1_3_1","unstructured":"Scott Ambler . 2006. Refactoring databases : evolutionary database design . Addison Wesley , Upper Saddle River, NJ. isbn:978-0321774514 Scott Ambler. 2006. Refactoring databases : evolutionary database design. Addison Wesley, Upper Saddle River, NJ. isbn:978-0321774514"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056103"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735509"},{"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\/223784.223785"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465339"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/319996.319998"},{"volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","key":"e_1_3_2_1_11_1","unstructured":"Philip A. Bernstein , Vassco Hadzilacos , and Nathan Goodman . 1987. Concurrency Control and Recovery in Database Systems . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . isbn:0-201-10715-5 Philip A. Bernstein, Vassco Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA. isbn:0-201-10715-5"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Brutschy Lucas","year":"2017","unstructured":"Lucas Brutschy , Dimitar Dimitrov , Peter M\u00fcller , and Martin T. Vechev . 2017. Serializability for Eventual Consistency: Criterion, Analysis, and Applications . In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 , Paris, France , January 18-20, 2017 . 458\u2013472. http:\/\/dl.acm.org\/citation.cfm?id=3009895 Lucas Brutschy, Dimitar Dimitrov, Peter M\u00fcller, and Martin T. Vechev. 2017. Serializability for Eventual Consistency: Criterion, Analysis, and Applications. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. 458\u2013472. http:\/\/dl.acm.org\/citation.cfm?id=3009895"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192415"},{"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\/2535838.2535848"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912)","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 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\u2019s Globally-distributed Database . In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912) . USENIX Association, Berkeley, CA, USA. 251\u2013264. isbn:978-1-93 1971-96-6 http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387905 James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson 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\u2019s Globally-distributed Database. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912). USENIX Association, Berkeley, CA, USA. 251\u2013264. isbn:978-1-931971-96-6 http:\/\/dl.acm.org\/citation.cfm?id=2387880.2387905"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","key":"e_1_3_2_1_17_1","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 337\u2013340. isbn:978-3-540-78800-3 Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 337\u2013340. isbn:978-3-540-78800-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732240.2732246"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2160910.2160913"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/360363.360369"},{"key":"e_1_3_2_1_21_1","unstructured":"Stephane Faroult. 2008. Refactoring SQL applications. O\u2019Reilly Media Sebastopol Calif. isbn:978-0596514976  Stephane Faroult. 2008. Refactoring SQL applications. O\u2019Reilly Media Sebastopol Calif. isbn:978-0596514976"},{"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.1145\/3192366.3192382"},{"volume-title":"improving the design of existing code","author":"Fowler Martin","key":"e_1_3_2_1_24_1","unstructured":"Martin Fowler . 2019. Refactoring : improving the design of existing code . Addison-Wesley , Boston . isbn:978-0134757599 Martin Fowler. 2019. Refactoring : improving the design of existing code. Addison-Wesley, Boston. isbn:978-0134757599"},{"key":"e_1_3_2_1_25_1","volume-title":"Database Systems: The Complete Book (2 ed.)","author":"Garcia-Molina Hector","year":"2008","unstructured":"Hector Garcia-Molina , Jeffrey D. Ullman , and Jennifer Widom . 2008 . Database Systems: The Complete Book (2 ed.) . Prentice Hall Press , Upper Saddle River, NJ, USA. isbn:9780131873254 Hector Garcia-Molina, Jeffrey D. Ullman, and Jennifer Widom. 2008. Database Systems: The Complete Book (2 ed.). Prentice Hall Press, Upper Saddle River, NJ, USA. isbn:9780131873254"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_1_28_1","volume-title":"Basic Rules of Cassandra Data Modeling. https:\/\/www.datastax.com\/blog\/basic-rules-cassandra-data-modeling [Online","author":"Hobbs Tyler","year":"2021","unstructured":"Tyler Hobbs . 2015. Basic Rules of Cassandra Data Modeling. https:\/\/www.datastax.com\/blog\/basic-rules-cassandra-data-modeling [Online ; accessed March- 2021 ]. Tyler Hobbs. 2015. Basic Rules of Cassandra Data Modeling. https:\/\/www.datastax.com\/blog\/basic-rules-cassandra-data-modeling [Online; accessed March-2021]."},{"key":"e_1_3_2_1_29_1","volume-title":"Hamsaz: Replication Coordination Analysis and Synthesis. PACMPL, 3, POPL","author":"Houshmand Farzin","year":"2019","unstructured":"Farzin Houshmand and Mohsen Lesani . 2019 . Hamsaz: Replication Coordination Analysis and Synthesis. PACMPL, 3, POPL (2019), 74:1\u201374:32. https:\/\/dl.acm.org\/citation.cfm?id=3290387 Farzin Houshmand and Mohsen Lesani. 2019. Hamsaz: Replication Coordination Analysis and Synthesis. PACMPL, 3, POPL (2019), 74:1\u201374:32. https:\/\/dl.acm.org\/citation.cfm?id=3290387"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the 33rd International Conference on Very Large Data Bases","author":"Jorwekar Sudhir","year":"2007","unstructured":"Sudhir Jorwekar , Alan Fekete , Krithi Ramamritham , and S. Sudarshan . 2007. Automating the Detection of Snapshot Isolation Anomalies . In Proceedings of the 33rd International Conference on Very Large Data Bases , University of Vienna, Austria , September 23-27, 2007 . 1263\u20131274. http:\/\/www.vldb.org\/conf\/2007\/papers\/industrial\/p1263-jorwekar.pdf Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, and S. Sudarshan. 2007. Automating the Detection of Snapshot Isolation Anomalies. In Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23-27, 2007. 1263\u20131274. http:\/\/www.vldb.org\/conf\/2007\/papers\/industrial\/p1263-jorwekar.pdf"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276534"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158115"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387906"},{"volume-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201913)","author":"Lloyd Wyatt","key":"e_1_3_2_1_36_1","unstructured":"Wyatt Lloyd , Michael J. Freedman , Michael Kaminsky , and David G. Andersen . 2013. Stronger Semantics for Low-Latency Geo-Replicated Storage . In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201913) . USENIX Association, USA. 313\u2013328. Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2013. Stronger Semantics for Low-Latency Geo-Replicated Storage. In Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201913). USENIX Association, USA. 313\u2013328."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.34"},{"key":"e_1_3_2_1_38_1","unstructured":"2020. Transaction Isolation Levels. https:\/\/dev.mysql.com\/doc\/refman\/5.6\/en\/innodb-transaction-isolation-levels.html Accessed: 2020-01-1 10:00:00.  2020. Transaction Isolation Levels. https:\/\/dev.mysql.com\/doc\/refman\/5.6\/en\/innodb-transaction-isolation-levels.html Accessed: 2020-01-1 10:00:00."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2018.41"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213844"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.14778\/2078324.2078325"},{"key":"e_1_3_2_1_43_1","unstructured":"2020. Transaction Isolation. https:\/\/www.postgresql.org\/docs\/9.1\/static\/transaction-iso.html Accessed: 2020-01-1 10:00:00.  2020. Transaction Isolation. https:\/\/www.postgresql.org\/docs\/9.1\/static\/transaction-iso.html Accessed: 2020-01-1 10:00:00."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2452376.2452427"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194261.3194267"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360543"},{"key":"e_1_3_2_1_47_1","volume-title":"Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring (extended version). CoRR, abs\/2103.05573","author":"Rahmani Kia","year":"2021","unstructured":"Kia Rahmani , Kartik Nagar , Benjamin Delaware , and Suresh Jagannathan . 2021. Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring (extended version). CoRR, abs\/2103.05573 ( 2021 ), arxiv:2103.05573. arxiv:2103.05573 Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan. 2021. Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring (extended version). CoRR, abs\/2103.05573 (2021), arxiv:2103.05573. arxiv:2103.05573"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352125"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_1_52_1","unstructured":"Michael Stonebraker and Andy Pavlo. 2012. The SEATS Airline Ticketing Systems Benchmark. http:\/\/hstore.cs.brown.edu\/projects\/seats  Michael Stonebraker and Andy Pavlo. 2012. The SEATS Airline Ticketing Systems Benchmark. http:\/\/hstore.cs.brown.edu\/projects\/seats"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064889.3064897"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158144"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314588"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064037"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-013-0318-x"},{"key":"e_1_3_2_1_58_1","volume-title":"6 Rules of Thumb for MongoDB Schema. https:\/\/www.mongodb.com\/blog\/post\/6-rules-of-thumb-for-mongodb-schema-design-part-1 [Online","author":"Zola William","year":"2021","unstructured":"William Zola . 2014. 6 Rules of Thumb for MongoDB Schema. https:\/\/www.mongodb.com\/blog\/post\/6-rules-of-thumb-for-mongodb-schema-design-part-1 [Online ; accessed March- 2021 ]. William Zola. 2014. 6 Rules of Thumb for MongoDB Schema. https:\/\/www.mongodb.com\/blog\/post\/6-rules-of-thumb-for-mongodb-schema-design-part-1 [Online; accessed March-2021]."}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Canada","acronym":"PLDI '21"},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454028","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":58,"alternative-id":["10.1145\/3453483.3454028","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454028","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}