{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:02:00Z","timestamp":1750309320233,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"NSF","award":["2237295"],"award-info":[{"award-number":["2237295"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,22]]},"DOI":"10.1145\/3642976.3653032","type":"proceedings-article","created":{"date-parts":[[2024,4,16]],"date-time":"2024-04-16T19:17:20Z","timestamp":1713295040000},"page":"23-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9222-8015","authenticated-orcid":false,"given":"Jian","family":"Zhang","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1420-5125","authenticated-orcid":false,"given":"Cheng","family":"Tan","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Flexcoin. https:\/\/web.archive.org\/web\/20160408190656\/http:\/\/www.flexcoin.com\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Jepsen: Distributed systems safety research. https:\/\/jepsen.io\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Jepsen: Snapshot isolatin. https:\/\/jepsen.io\/consistency\/models\/snapshot-isolation."},{"key":"e_1_3_2_1_4_1","unstructured":"Snapshot isolation in sql server. https:\/\/docs.microsoft.com\/en-us\/dotnet\/framework\/data\/adonet\/sql\/snapshot-isolation-in-sql-server."},{"key":"e_1_3_2_1_5_1","unstructured":"Tidb github repo. https:\/\/github.com\/pingcap\/tidb."},{"key":"e_1_3_2_1_6_1","unstructured":"Yugabytedb: Transaction isolation levels. https:\/\/docs.yugabyte.com\/preview\/architecture\/transactions\/isolation-levels\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2000.839388"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_11_1","volume-title":"SE-5(3)","author":"Bernstein P. A.","year":"1979","unstructured":"P. A. Bernstein, D. W. Shipman, and W. S. Wong. Formal aspects of serializability in database concurrency control. TSE, SE-5(3), May 1979."},{"key":"e_1_3_2_1_12_1","volume-title":"26th International Conference on Concurrency Theory (CONCUR 2015)","author":"Cerone A.","year":"2015","unstructured":"A. Cerone, G. Bernardi, and A. Gotsman. A framework for transactional consistency models with atomic visibility. In 26th International Conference on Concurrency Theory (CONCUR 2015), Sept. 2015."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933057.2933096"},{"key":"e_1_3_2_1_14_1","volume-title":"Analysing snapshot isolation. Journal of the ACM (JACM), 65(2):1--41","author":"Cerone A.","year":"2018","unstructured":"A. Cerone and A. Gotsman. Analysing snapshot isolation. Journal of the ACM (JACM), 65(2):1--41, 2018."},{"key":"e_1_3_2_1_15_1","volume-title":"28th International Conference on Concurrency Theory (CONCUR 2017","author":"Cerone A.","year":"2017","unstructured":"A. Cerone, A. Gotsman, and H. Yang. Algebraic laws for weak consistency. In 28th International Conference on Concurrency Theory (CONCUR 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017."},{"key":"e_1_3_2_1_16_1","volume-title":"A client-centric approach to transactional datastores. https:\/\/repositories.lib.utexas.edu\/bitstream\/handle\/2152\/81352\/CROOKS-DISSERTATION-2019.pdf?sequence=1&isAllowed=y","author":"Crooks N.","year":"2019","unstructured":"N. Crooks. A client-centric approach to transactional datastores. https:\/\/repositories.lib.utexas.edu\/bitstream\/handle\/2152\/81352\/CROOKS-DISSERTATION-2019.pdf?sequence=1&isAllowed=y, 2019."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087802"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. ICDE","author":"Daudjee K.","year":"2004","unstructured":"K. Daudjee and K. Salem. Lazy database replication with ordering guarantees. In Proc. ICDE, 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.2005.14"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031570.1031573"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/3415478.3415535"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the ACM on Programming Languages, 2(POPL):1--34","author":"Kaki G.","year":"2017","unstructured":"G. Kaki, K. Nagar, M. Najafzadeh, and S. Jagannathan. Alone together: compositional reasoning and inference for weak isolation. Proceedings of the ACM on Programming Languages, 2(POPL):1--34, 2017."},{"key":"e_1_3_2_1_25_1","volume-title":"Snapshot isolation and integrity constraints in replicated databases. ACM Transactions on Database Systems (TODS), 34(2):1--49","author":"Lin Y.","year":"2009","unstructured":"Y. Lin, B. Kemme, R. Jim\u00e9nez-Peris, M. Pati\u00f1o-Mart\u00ednez, and J. E. Armend\u00e1riz-I\u00f1igo. Snapshot isolation and integrity constraints in replicated databases. ACM Transactions on Database Systems (TODS), 34(2):1--49, 2009."},{"key":"e_1_3_2_1_26_1","volume-title":"Oct.","author":"Papadimitriou C. H.","year":"1979","unstructured":"C. H. Papadimitriou. The serializability of concurrent database updates. JACM, 26(4), Oct. 1979."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352125"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(81)90008-0"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01931370"},{"key":"e_1_3_2_1_30_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Tan C.","year":"2020","unstructured":"C. Tan, C. Zhao, S. Mu, and M. Walfish. Cobra: Making transactional key-value stores verifiably serializable. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), 2020."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1137\/0202017"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064037"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. EuroSys","author":"Zhang J.","year":"2023","unstructured":"J. Zhang, Y. Ji, S. Mu, and C. Tan. Viper: A fast snapshot isolation checker. In Proc. EuroSys, May 2023."}],"event":{"name":"PaPoC '24: 11th Workshop on Principles and Practice of Consistency for Distributed Data","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Athens Greece","acronym":"PaPoC '24"},"container-title":["Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3642976.3653032","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:57Z","timestamp":1750291437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3642976.3653032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":31,"alternative-id":["10.1145\/3642976.3653032","10.1145\/3642976"],"URL":"https:\/\/doi.org\/10.1145\/3642976.3653032","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]},"assertion":[{"value":"2024-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}