{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T09:12:12Z","timestamp":1773393132474,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"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\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,22]]},"DOI":"10.1145\/3627703.3650080","type":"proceedings-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T06:28:28Z","timestamp":1713421708000},"page":"754-768","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Validating Database System Isolation Level Implementations with Version Certificate Recovery"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3886-7657","authenticated-orcid":false,"given":"Jack","family":"Clark","sequence":"first","affiliation":[{"name":"Imperial College London"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7448-7961","authenticated-orcid":false,"given":"Alastair F.","family":"Donaldson","sequence":"additional","affiliation":[{"name":"Imperial College London"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6735-5533","authenticated-orcid":false,"given":"John","family":"Wickerson","sequence":"additional","affiliation":[{"name":"Imperial College London"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8303-2099","authenticated-orcid":false,"given":"Manuel","family":"Rigger","sequence":"additional","affiliation":[{"name":"National University of Singapore"}]}],"member":"320","published-online":{"date-parts":[[2024,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859063"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/888672"},{"key":"e_1_3_2_1_3_1","first-page":"67","volume-title":"Proceedings of the 16th International Conference on Data Engineering","author":"Adya Atul","year":"2000","unstructured":"Atul Adya, Barbara Liskov, and Patrick E. O'Neil. Generalized Isolation Level Definitions. In David B. Lomet and Gerhard Weikum, editors, Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pages 67--78. IEEE Computer Society, 2000."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430918"},{"key":"e_1_3_2_1_5_1","volume-title":"November","author":"ANSI","year":"1992","unstructured":"ANSI X3.135-1992, American National Standard for Information Systems --- Database Language --- SQL, November 1992."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00174"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/223784.223785"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234182"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/356842.356846"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360591"},{"key":"e_1_3_2_1_11_1","volume-title":"Serializable Isolation for Snapshot Databases. ACM Trans. Database Syst., 34(4), dec","author":"Cahill Michael J.","year":"2009","unstructured":"Michael J. Cahill, Uwe R\u00f6hm, and Alan D. Fekete. Serializable Isolation for Snapshot Databases. ACM Trans. Database Syst., 34(4), dec 2009."},{"key":"e_1_3_2_1_12_1","first-page":"58","volume-title":"26th International Conference on Concurrency Theory (CONCUR 2015), volume 42 of Leibniz International Proceedings in Informatics (LIPIcs)","author":"Cerone Andrea","year":"2015","unstructured":"Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman. A Framework for Transactional Consistency Models with Atomic Visibility. In Luca Aceto and David de Frutos Escrig, editors, 26th International Conference on Concurrency Theory (CONCUR 2015), volume 42 of Leibniz International Proceedings in Informatics (LIPIcs), pages 58--71, Dagstuhl, Germany, 2015. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_13_1","first-page":"73","volume-title":"Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017","author":"Crooks Natacha","year":"2017","unstructured":"Natacha Crooks, Youer Pu, Lorenzo Alvisi, and Allen Clement. Seeing is Believing: A Client-Centric Specification of Database Isolation. In Elad Michael Schiller and Alexander A. Schwarzmann, editors, Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, Washington, DC, USA, July 25-27, 2017, pages 73--82. ACM, 2017."},{"key":"e_1_3_2_1_14_1","unstructured":"Debezium. https:\/\/debezium.io. Accessed: 2022-11-07."},{"key":"e_1_3_2_1_15_1","volume-title":"Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases","author":"Demirbas Murat","year":"2014","unstructured":"Murat Demirbas, Marcelo Leone, Bharadwaj Avva, Deepak Madeppa, and Sandeep S. Kulkarni. Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases. 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/360363.360369"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-8265-9_80774"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-8265-9_346"},{"key":"e_1_3_2_1_19_1","first-page":"365","volume-title":"Proceeding of the IFIP Working Conference on Modelling in Data Base Management Systems","author":"Gray Jim","year":"1976","unstructured":"Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, and Irving L. Traiger. Granularity of Locks and Degrees of Consistency in a Shared DataBase. In G. M. Nijssen, editor, Modelling in Data Base Management Systems, Proceeding of the IFIP Working Conference on Modelling in Data Base Management Systems, Freudenstadt, Germany, January 5-8, 1976, pages 365--394. North-Holland, 1976."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.14778\/3415478.3415535"},{"key":"e_1_3_2_1_21_1","unstructured":"Jepsen testing framework. https:\/\/github.com\/jepsen-io\/jepsen. Accessed: 2022-12-03."},{"key":"e_1_3_2_1_22_1","volume-title":"Jepsen analyses. https:\/\/jepsen.io\/analyses","author":"Kingsbury Kyle","year":"2013","unstructured":"Kyle Kingsbury. Jepsen analyses. https:\/\/jepsen.io\/analyses, 2013."},{"key":"e_1_3_2_1_23_1","volume-title":"November","author":"Kleppmann Martin","year":"2014","unstructured":"Martin Kleppmann. Hermitage: Testing transaction isolation levels, November 2014. https:\/\/github.com\/ept\/hermitage."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/582095.582114"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133373.1133382"},{"key":"e_1_3_2_1_26_1","volume-title":"HISTEX HISTory EXerciser: A tool for testing the implementation of Isolation Levels of Relational Database Management Systems. CoRR abs\/1903.00731","author":"Liarokapis Dimitrios","year":"2019","unstructured":"Dimitrios Liarokapis, Elizabeth O'Neil, and Patrick O'Neil. HISTEX HISTory EXerciser: A tool for testing the implementation of Isolation Levels of Relational Database Management Systems. CoRR abs\/1903.00731, 2019."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"e_1_3_2_1_28_1","unstructured":"MySQL phantom read bug report. https:\/\/bugs.mysql.com\/bug.php?id=27197. Accessed: 2023-04-11."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.02.001"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054170"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/2367502.2367523"},{"key":"e_1_3_2_1_34_1","unstructured":"PostgreSQL commit that fixes an error in its serializable isolation level. https:\/\/git.postgresql.org\/gitweb\/?p=postgresql.git;a=commit;h=5940ffb221316ab73e6fdc780dfe9a07d4221ebb. Accessed: 2022-11-30."},{"key":"e_1_3_2_1_35_1","unstructured":"PostgreSQL. https:\/\/www.postgresql.org. Accessed: 2022-11-30."},{"key":"e_1_3_2_1_36_1","unstructured":"PostgreSQL pg_current_snapshot() documentation. https:\/\/www.postgresql.org\/docs\/13\/functions-info.html#FUNCTIONS-PG-SNAPSHOT. Accessed: 2022-11-30."},{"key":"e_1_3_2_1_37_1","first-page":"292","volume-title":"18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings","author":"Raz Yoav","year":"1992","unstructured":"Yoav Raz. The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Managers Using Atomic Commitment. In Li-Yan Yuan, editor, 18th International Conference on Very Large Data Bases, August 23-27, 1992, Vancouver, Canada, Proceedings, pages 292--312. Morgan Kaufmann, 1992."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/357353.357355"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409710"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428279"},{"key":"e_1_3_2_1_41_1","first-page":"667","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Rigger Manuel","year":"2020","unstructured":"Manuel Rigger and Zhendong Su. Testing Database Engines via Pivoted Query Synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 667--682. USENIX Association, November 2020."},{"key":"e_1_3_2_1_42_1","first-page":"618","volume-title":"Slutz. Massive Stochastic Testing of SQL. In Proceedings of the 24rd International Conference on Very Large Data Bases, VLDB '98","author":"Donald","year":"1998","unstructured":"Donald R. Slutz. Massive Stochastic Testing of SQL. In Proceedings of the 24rd International Conference on Very Large Data Bases, VLDB '98, page 618--622, San Francisco, CA, USA, 1998. Morgan Kaufmann Publishers Inc."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Andreas Seltenreich. 2019. SQLSmith. https:\/\/github.com\/anse1\/sqlsmith.","DOI":"10.14712\/2464689X.2019.15"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3386134"},{"key":"e_1_3_2_1_45_1","first-page":"63","volume-title":"Michael Walfish. Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020","author":"Tan Cheng","year":"2020","unstructured":"Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020, pages 63--80. USENIX Association, 2020."},{"key":"e_1_3_2_1_46_1","unstructured":"TiKV. https:\/\/tikv.org\/. Accessed: 2022-11-30."},{"key":"e_1_3_2_1_47_1","volume-title":"Consistency in Non-Transactional Distributed Storage Systems. ACM Comput. Surv., 49(1), jun","author":"Viotti Paolo","year":"2016","unstructured":"Paolo Viotti and Marko Vukoli\u0107. Consistency in Non-Transactional Distributed Storage Systems. ACM Comput. Surv., 49(1), jun 2016."},{"key":"e_1_3_2_1_48_1","first-page":"5","volume-title":"Warszawski and Peter Bailis. ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications. In Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD '17","author":"Todd","year":"2017","unstructured":"Todd Warszawski and Peter Bailis. ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications. In Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD '17, page 5--20, New York, NY, USA, 2017. Association for Computing Machinery."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.14778\/3067421.3067427"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735511"}],"event":{"name":"EuroSys '24: Nineteenth European Conference on Computer Systems","location":"Athens Greece","acronym":"EuroSys '24","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Nineteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627703.3650080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:09:21Z","timestamp":1755824961000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":50,"alternative-id":["10.1145\/3627703.3650080","10.1145\/3627703"],"URL":"https:\/\/doi.org\/10.1145\/3627703.3650080","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]},"assertion":[{"value":"2024-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}