{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T04:41:34Z","timestamp":1773895294460,"version":"3.50.1"},"reference-count":67,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T00:00:00Z","timestamp":1728345600000},"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":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2024,10,8]]},"abstract":"<jats:p>Modern databases embrace weak isolation levels to cater for highly available transactions. However, weak isolation bugs have recently manifested in many production databases. This raises the concern of whether database implementations actually deliver their promised isolation guarantees in practice. In this paper we present Plume, the first efficient, complete, black-box checker for weak isolation levels. Plume builds on modular, fine-grained, transactional anomalous patterns, with which we establish sound and complete characterizations of representative weak isolation levels, including read committed, read atomicity, and transactional causal consistency. Plume leverages a novel combination of two techniques, vectors and tree clocks, to accelerate isolation checking. Our extensive assessment shows that Plume can reproduce all known violations in a large collection of anomalous database execution histories, detect new isolation bugs in three production databases along with informative counterexamples, find more weak isolation anomalies than the state-of-the-art checkers, and efficiently validate isolation guarantees under a wide variety of workloads.<\/jats:p>","DOI":"10.1145\/3689742","type":"journal-article","created":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T03:23:04Z","timestamp":1728357784000},"page":"876-904","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3578-7432","authenticated-orcid":false,"given":"Si","family":"Liu","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9286-6832","authenticated-orcid":false,"given":"Long","family":"Gu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0427-9710","authenticated-orcid":false,"given":"Hengfeng","family":"Wei","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2952-939X","authenticated-orcid":false,"given":"David","family":"Basin","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,8]]},"reference":[{"key":"e_1_3_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/888672"},{"key":"e_1_3_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784241"},{"key":"e_1_3_1_4_1","first-page":"405","volume-title":"ICDCS 2016","author":"Akkoorath Deepthi Devaki","year":"2016","unstructured":"Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno M. Pregui\u00e7a, and Marc Shapiro. 2016. Cure: Strong Semantics Meets High Availability and Low Latency. In ICDCS 2016. IEEE Computer Society, 405\u2013414."},{"key":"e_1_3_1_5_1","unstructured":"AntidoteDB. Accessed in October 2023. https:\/\/www.antidotedb.eu\/."},{"key":"e_1_3_1_6_1","first-page":"385","volume-title":"PODC 2015","author":"Attiya Hagit","year":"2015","unstructured":"Hagit Attiya, Faith Ellen, and Adam Morrison. 2015. Limitations of Highly-Available Eventually-Consistent Data Stores. In PODC 2015. ACM, 385\u2013394."},{"key":"e_1_3_1_7_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_1_8_1","volume-title":"HotOS XIV","author":"Bailis Peter","year":"2013","unstructured":"Peter Bailis, Alan D. Fekete, Ali Ghodsi, Joseph M. Hellerstein, and Ion Stoica. 2013b. HAT, Not CAP: Towards Highly Available Transactions. In HotOS XIV. USENIX Association."},{"key":"e_1_3_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909870"},{"key":"e_1_3_1_10_1","first-page":"3702","volume-title":"AAAI 2015","author":"Bayless Sam","year":"2015","unstructured":"Sam Bayless, Noah Bayless, Holger H. Hoos, and Alan J. Hu. 2015. SAT Modulo Monotonic Theories. In AAAI 2015. AAAI Press, 3702\u20133709."},{"key":"e_1_3_1_11_1","first-page":"1","volume-title":"SIGMOD \u201995","author":"Berenson Hal","year":"1995","unstructured":"Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O\u2019Neil, and Patrick O\u2019Neil. 1995. A Critique of ANSI SQL Isolation Levels. In SIGMOD \u201995. ACM, 1\u201310."},{"key":"e_1_3_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234182"},{"key":"e_1_3_1_13_1","article-title":"On the complexity of checking transactional consistency","volume":"3","author":"Biswas Ranadeep","year":"2019","unstructured":"Ranadeep Biswas and Constantin Enea. 2019. On the complexity of checking transactional consistency. Proc. ACM Program. Lang. 3, OOPSLA (2019), 165:1\u2013165:28.","journal-title":"Proc. ACM Program. Lang"},{"key":"e_1_3_1_14_1","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/3009837.3009888","volume-title":"POPL 2017","author":"Bouajjani Ahmed","year":"2017","unstructured":"Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, and Jad Hamza. 2017. On verifying causal consistency. In POPL 2017. ACM, 626\u2013638."},{"key":"e_1_3_1_15_1","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1145\/2535838.2535848","volume-title":"Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL \u201914)","author":"Burckhardt Sebastian","year":"2014","unstructured":"Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, and Marek Zawirski. 2014. Replicated data types: specification, verification, optimality. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL \u201914). ACM, 271\u2013284."},{"key":"e_1_3_1_16_1","unstructured":"Sebastian Burckhardt Daan Leijen Jonathan Protzenko and Manuel F\u00e4hndrich. 2015. Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. In ECOOP 2015 (LIPIcs Vol. 37). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik 568\u2013590."},{"key":"e_1_3_1_17_1","unstructured":"Andrea Cerone Giovanni Bernardi and Alexey Gotsman. 2015. A Framework for Transactional Consistency Models with Atomic Visibility. In CONCUR\u201915 (LIPIcs Vol. 42). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik 58\u201371."},{"issue":"2","key":"e_1_3_1_18_1","article-title":"Analysing Snapshot Isolation","volume":"65","author":"Cerone Andrea","year":"2018","unstructured":"Andrea Cerone and Alexey Gotsman. 2018. Analysing Snapshot Isolation. J. ACM 65, 2, Article 11 (Jan. 2018).","journal-title":"J. ACM"},{"issue":"12","key":"e_1_3_1_19_1","doi-asserted-by":"crossref","first-page":"3014","DOI":"10.14778\/3476311.3476379","article-title":"RAMP-TAO: Layering Atomic Transactions on Facebook\u2019s Online TAO Data Store","volume":"14","author":"Cheng Audrey","year":"2021","unstructured":"Audrey Cheng, Xiao Shi, Lu Pan, Anthony Simpson, Neil Wheaton, Shilpa Lawande, Nathan Bronson, Peter Bailis, Natacha Crooks, and Ion Stoica. 2021. RAMP-TAO: Layering Atomic Transactions on Facebook\u2019s Online TAO Data Store. Proc. VLDB Endow. 14, 12 (2021), 3014\u20133027.","journal-title":"Proc. VLDB Endow"},{"key":"e_1_3_1_20_1","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1145\/3627703.3650080","volume-title":"Proceedings of the Nineteenth European Conference on Computer Systems (EuroSys \u201924)","author":"Clark Jack","year":"2024","unstructured":"Jack Clark, Alastair F. Donaldson, John Wickerson, and Manuel Rigger. 2024. Validating Database System Isolation Level Implementations with Version Certificate Recovery. In Proceedings of the Nineteenth European Conference on Computer Systems (EuroSys \u201924). ACM, 754\u2013768."},{"key":"e_1_3_1_21_1","unstructured":"MariaDB Galera Cluster. Accessed in October 2023. https:\/\/mariadb.com\/kb\/en\/what-is-mariadb-galera-cluster\/."},{"key":"e_1_3_1_22_1","first-page":"73","volume-title":"PODC\u201917","author":"Crooks Natacha","year":"2017","unstructured":"Natacha Crooks, Youer Pu, Lorenzo Alvisi, and Allen Clement. 2017. Seeing is Believing: A Client-Centric Specification of Database Isolation. In PODC\u201917. ACM, 73\u201382."},{"key":"e_1_3_1_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/3236187.3236210"},{"key":"e_1_3_1_24_1","volume-title":"SoCC 2014","author":"Du Jiaqing","year":"2014","unstructured":"Jiaqing Du, Calin Iorgulescu, Amitabha Roy, and Willy Zwaenepoel. 2014. GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks. In SoCC 2014. ACM, 4:1\u20134:13."},{"key":"e_1_3_1_25_1","unstructured":"ElectricSQL. Accessed in December 2023. https:\/\/electric-sql.com\/."},{"key":"e_1_3_1_26_1","unstructured":"Elle. Accessed in November 2023. Consistency Models in Elle. https:\/\/github.com\/jepsen-io\/elle\/blob\/main\/src\/elle\/consistency_model.clj."},{"key":"e_1_3_1_27_1","first-page":"298","volume-title":"SOSP \u201923","author":"Ferreira Loff Jo\u00e3o","year":"2023","unstructured":"Jo\u00e3o Ferreira Loff, Daniel Porto, Jo\u00e3o Garcia, Jonathan Mace, and Rodrigo Rodrigues. 2023. Antipode: Enforcing Cross-Service Causal Consistency in Distributed Applications. In SOSP \u201923. ACM, 298\u2013313."},{"issue":"1","key":"e_1_3_1_28_1","first-page":"56","article-title":"Timestamps in message-passing systems that preserve the partial ordering","volume":"10","author":"Fidge C. J.","year":"1988","unstructured":"C. J. Fidge. 1988. Timestamps in message-passing systems that preserve the partial ordering. Proceedings of the 11th Australian Computer Science Conference 10, 1 (1988), 56\u201366.","journal-title":"Proceedings of the 11th Australian Computer Science Conference"},{"issue":"12","key":"e_1_3_1_29_1","doi-asserted-by":"crossref","first-page":"2773","DOI":"10.14778\/3407790.3407860","article-title":"IsoDiff: Debugging Anomalies Caused by Weak Isolation","volume":"13","author":"Gan Yifan","year":"2020","unstructured":"Yifan Gan, Xueyuan Ren, Drew Ripberger, Spyros Blanas, and Yang Wang. 2020. IsoDiff: Debugging Anomalies Caused by Weak Isolation. Proc. VLDB Endow. 13, 12 (2020), 2773\u20132786.","journal-title":"Proc. VLDB Endow"},{"key":"e_1_3_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2430675"},{"key":"e_1_3_1_31_1","unstructured":"Graphviz. Accessed in December 2023. Open source graph visualization software. https:\/\/graphviz.org\/."},{"issue":"12","key":"e_1_3_1_32_1","article-title":"IsoVista: Black-box Checking Database Isolation Guarantees","volume":"17","author":"Gu Long","year":"2024","unstructured":"Long Gu, Si Liu, Tiancheng Xing, Hengfeng Wei, Yuxing Chen, and David Basin. 2024. IsoVista: Black-box Checking Database Isolation Guarantees. Proc. VLDB Endow. 17, 12 (2024).","journal-title":"Proc. VLDB Endow"},{"key":"e_1_3_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/3583140.3583145"},{"key":"e_1_3_1_34_1","unstructured":"Jepsen. Accessed in March 2024a. https:\/\/jepsen.io."},{"key":"e_1_3_1_35_1","unstructured":"Jepsen. Accessed in March 2024b. Jepsen Analyses. https:\/\/jepsen.io\/analyses."},{"key":"e_1_3_1_36_1","first-page":"397","volume-title":"OSDI \u201923","author":"Jiang Zu-Ming","year":"2023","unstructured":"Zu-Ming Jiang, Si Liu, Manuel Rigger, and Zhendong Su. 2023. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. In OSDI \u201923. USENIX Association, 397\u2013417."},{"key":"e_1_3_1_37_1","unstructured":"Nick Kallen. Accessed in December 2023. Big Data in Real Time at Twitter. https:\/\/www.infoq.com\/presentations\/Big-Data-in-Real-Time-at-Twitter\/."},{"key":"e_1_3_1_38_1","unstructured":"Kyle Kingsbury. 2023. MySQL 8.0.34. https:\/\/jepsen.io\/analyses\/mysql-8.0.34."},{"issue":"3","key":"e_1_3_1_39_1","doi-asserted-by":"crossref","first-page":"268","DOI":"10.14778\/3430915.3430918","article-title":"Elle: Inferring Isolation Anomalies from Experimental Observations","volume":"14","author":"Kingsbury Kyle","year":"2020","unstructured":"Kyle Kingsbury and Peter Alvaro. 2020. Elle: Inferring Isolation Anomalies from Experimental Observations. Proc. VLDB Endow. 14, 3 (2020), 268\u2013280.","journal-title":"Proc. VLDB Endow"},{"key":"e_1_3_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"issue":"3","key":"e_1_3_1_41_1","article-title":"All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions","volume":"31","author":"Liu Si","year":"2022","unstructured":"Si Liu. 2022. All in One: Design, Verification, and Implementation of SNOW-Optimal Read Atomic Transactions. ACM Trans. Softw. Eng. Methodol. 31, 3 (2022).","journal-title":"ACM Trans. Softw. Eng. Methodol"},{"key":"e_1_3_1_42_1","doi-asserted-by":"crossref","unstructured":"Si Liu Long Gu Hengfeng Wei and David Basin. 2024a. Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels. Technical Report. https:\/\/github.com\/dracoooooo\/Plume.","DOI":"10.1145\/3689742"},{"issue":"1","key":"e_1_3_1_43_1","article-title":"NOC-NOC: Towards Performance-optimal Distributed Transactions","volume":"2","author":"Liu Si","year":"2024","unstructured":"Si Liu, Luca Multazzu, Hengfeng Wei, and David Basin. 2024b. NOC-NOC: Towards Performance-optimal Distributed Transactions. Proc. ACM Manag. Data 2, 1 (2024).","journal-title":"Proc. ACM Manag. Data"},{"key":"e_1_3_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-019-00489-w"},{"key":"e_1_3_1_45_1","doi-asserted-by":"crossref","unstructured":"Si Liu Peter Csaba \u00d6lveczky Min Zhang Qi Wang and Jos\u00e9 Meseguer. 2019b. Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. In TACAS 2019 (LNCS Vol. 11428). Springer 40\u201357.","DOI":"10.1007\/978-3-030-17465-1_3"},{"key":"e_1_3_1_46_1","first-page":"401","volume-title":"SOSP 2011","author":"Lloyd Wyatt","year":"2011","unstructured":"Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2011. Don\u2019t settle for eventual: scalable causal consistency for wide-area storage with COPS. In SOSP 2011. ACM, 401\u2013416."},{"key":"e_1_3_1_47_1","first-page":"313","volume-title":"NSDI 2013","author":"Lloyd Wyatt","year":"2013","unstructured":"Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, and David G. Andersen. 2013. Stronger Semantics for Low-Latency Geo-Replicated Storage. In NSDI 2013. USENIX Association, 313\u2013328."},{"key":"e_1_3_1_48_1","first-page":"333","volume-title":"OSDI 2020","author":"Lu Haonan","year":"2020","unstructured":"Haonan Lu, Siddhartha Sen, and Wyatt Lloyd. 2020. Performance-Optimal Read-Only Transactions. In OSDI 2020. USENIX Association, 333\u2013349."},{"key":"e_1_3_1_49_1","first-page":"159","volume-title":"Middleware \u201921","author":"Lykhenko Taras","year":"2021","unstructured":"Taras Lykhenko, Rafael Soares, and Luis Rodrigues. 2021. FaaSTCC: Efficient Transactional Causal Consistency for Serverless Computing. In Middleware \u201921. ACM, 159\u2013171."},{"key":"e_1_3_1_50_1","first-page":"710","volume-title":"ASPLOS\u201922","author":"Mathur Umang","year":"2022","unstructured":"Umang Mathur, Andreas Pavlogiannis, H\u00fcnkar Can Tun\u00e7, and Mahesh Viswanathan. 2022. A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. In ASPLOS\u201922. ACM, 710\u2013725."},{"key":"e_1_3_1_51_1","first-page":"453","volume-title":"NSDI 2017","author":"Mehdi Syed Akbar","year":"2017","unstructured":"Syed Akbar Mehdi, Cody Littley, Natacha Crooks, Lorenzo Alvisi, Nathan Bronson, and Wyatt Lloyd. 2017. I Can\u2019t Believe It\u2019s Not Causal! Scalable Causal Consistency with No Slowdown Cascades. In NSDI 2017. USENIX Association, 453\u2013468."},{"key":"e_1_3_1_52_1","unstructured":"Microsoft. Accessed in December 2023. Azure CosmosDB DB. https:\/\/learn.microsoft.com\/en-us\/azure\/cosmos-db\/consistency-levels."},{"key":"e_1_3_1_53_1","unstructured":"Neo4j. Accessed in December 2023. https:\/\/neo4j.com\/."},{"key":"e_1_3_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_1_55_1","doi-asserted-by":"crossref","unstructured":"Pedro Pereira and Ant\u00f3nio Rito Silva. 2023. Transactional Causal Consistent Microservices Simulator. In Distributed Applications and Interoperable Systems -23rd IFIP WG 6.1 International Conference DAIS 2023 (LNCS Vol. 13909). Springer 57\u201373.","DOI":"10.1007\/978-3-031-35260-7_4"},{"key":"e_1_3_1_56_1","first-page":"12","volume-title":"Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP \u201916)","author":"Perrin Matthieu","year":"2016","unstructured":"Matthieu Perrin, Achour Mostefaoui, and Claude Jard. 2016. Causal consistency: beyond memory. In Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP \u201916). ACM, Article 26, 12 pages."},{"key":"e_1_3_1_57_1","unstructured":"PostgreSQL. Accessed in December 2023. Transaction Isolation. https:\/\/www.postgresql.org\/docs\/current\/transaction-iso.html."},{"key":"e_1_3_1_58_1","unstructured":"Potassco. Accessed in December 2023. Clingo: A grounder and solver for logic programs. https:\/\/github.com\/potassco\/clingo."},{"key":"e_1_3_1_59_1","unstructured":"RUBiS. Accessed in December 2023. Auction Site for e-Commerce Technologies Benchmarking. https:\/\/projects.ow2.org\/view\/rubis\/."},{"key":"e_1_3_1_60_1","first-page":"Article 4","volume-title":"COBRA: Making Transactional Key-Value Stores Verifiably Serializable (OSDI\u201920)","author":"Tan Cheng","year":"2020","unstructured":"Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. 2020. COBRA: Making Transactional Key-Value Stores Verifiably Serializable (OSDI\u201920). USENIX Association, Article 4."},{"key":"e_1_3_1_61_1","unstructured":"TPC. Accessed in December 2023. TPC-C: On-Line Transaction Processing Benchmark. https:\/\/www.tpc.org\/tpcc\/."},{"key":"e_1_3_1_62_1","unstructured":"Viper. Accessed in December 2023. Configurations in Viper. https:\/\/github.com\/Khoury-srg\/Viper\/blob\/main\/src\/config.yaml."},{"key":"e_1_3_1_63_1","first-page":"5","volume-title":"SIGMOD\u201917","author":"Warszawski Todd","year":"2017","unstructured":"Todd Warszawski and Peter Bailis. 2017. ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications. In SIGMOD\u201917. ACM, 5\u201320."},{"key":"e_1_3_1_64_1","first-page":"83","volume-title":"SIGMOD \u201920","author":"Wu Chenggang","year":"2020","unstructured":"Chenggang Wu, Vikram Sreekanti, and Joseph M. Hellerstein. 2020. Transactional Causal Consistency for Serverless Computing. In SIGMOD \u201920. ACM, 83\u201397."},{"key":"e_1_3_1_65_1","unstructured":"Shale Xiong Andrea Cerone Azalea Raad and Philippa Gardner. 2020. Data Consistency in Transactional Storage Systems: A Centralised Semantics. In ECOOP 2020 (LIPIcs Vol. 166). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik 21:1\u201321:31."},{"key":"e_1_3_1_66_1","unstructured":"YugabyteDB. Accessed in December 2023. https:\/\/www.yugabyte.com\/."},{"key":"e_1_3_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-021-00911-3"},{"key":"e_1_3_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3567492"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689742","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T09:10:16Z","timestamp":1770196216000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,8]]},"references-count":67,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2024,10,8]]}},"alternative-id":["10.1145\/3689742"],"URL":"https:\/\/doi.org\/10.1145\/3689742","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,8]]},"assertion":[{"value":"2024-03-31","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-10-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}