{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T17:24:12Z","timestamp":1787592252643,"version":"build-2736575974"},"reference-count":87,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:00:00Z","timestamp":1744156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["2217064"],"award-info":[{"award-number":["2217064"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,4,9]]},"abstract":"<jats:p>\n                    We present batch-based consistency, a new approach for consistency optimization that allows programmers to specialize consistency with application-level integrity properties. We implement the approach with a two-step process: we statically infer optimal consistency requirements for executions of bounded sets of operations, and then, use the inferred requirements to parameterize a new distributed protocol to relax operation reordering at run time when it is safe to do so. Our approach supports standard notions of consistency. We implement batch-based consistency in\n                    <jats:sc>Peepco<\/jats:sc>\n                    , demonstrate its expressiveness for partial data replication, and examine\n                    <jats:sc>Peepco\u2019s<\/jats:sc>\n                    run-time performance impact in different settings.\n                  <\/jats:p>","DOI":"10.1145\/3720513","type":"journal-article","created":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:48:26Z","timestamp":1744206506000},"page":"1101-1129","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Peepco: Batch-Based Consistency Optimization"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5891-0208","authenticated-orcid":false,"given":"Ivan","family":"Kuraj","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8577-1784","authenticated-orcid":false,"given":"John","family":"Feser","sequence":"additional","affiliation":[{"name":"Basis, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5571-173X","authenticated-orcid":false,"given":"Nadia","family":"Polikarpova","sequence":"additional","affiliation":[{"name":"University of California, San Diego, San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7604-8252","authenticated-orcid":false,"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,4,9]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"2023. Akka \u2013 actor toolkit and runtime http:\/\/akka.io\/. http:\/\/akka.io\/"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2012.33"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/3110214"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Peter Bailis Alan Fekete Michael J. Franklin Ali Ghodsi Joseph M. Hellerstein and Ion Stoica. 2014. Coordination avoidance in database systems (Extended version). arXiv preprint arXiv:1402.2237 (2014). doi:10.48550\/arxiv.1402.2237","DOI":"10.48550\/arxiv.1402.2237"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465279"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.14778\/2212351.2212359"},{"key":"e_1_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Mahesh Balakrishnan Dahlia Malkhi Ted Wobber Ming Wu Vijayan Prabhakaran Michael Wei John D. Davis Sriram Rao Tao Zou and Aviad Zuck. 2013. Tango: Distributed data structures over a shared log. In Proceedings of the twenty-fourth ACM symposium on operating systems principles. 325\u2013340.","DOI":"10.1145\/2517349.2522732"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2723872.2723889"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.14778\/3297753.3297760"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741972"},{"key":"e_1_3_2_12_2","unstructured":"Nalini Moti Belaramani Michael Dahlin Lei Gao Amol Nayate Arun Venkataramani Praveen Yalagandula and Jiandan Zheng. 2006. PRACTI Replication.. In NSDI Vol. 6. 5\u20135."},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/568271.223785"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/s0306-4379(00)00004-1"},{"key":"e_1_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Yuri Breitbart Hector Garcia-Molina and Avi Silberschatz. 2010. Overview of multidatabase transaction management. In CASCON First Decade High Impact Papers. 93\u2013126.","DOI":"10.1145\/1925805.1925811"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2012.37"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535848"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Christian Cachin Rachid Guerraoui and Lu\u00eds Rodrigues. 2011. Introduction to reliable and secure distributed programming. Springer Science & Business Media. doi:10.1007\/978-3-642-15260-3","DOI":"10.1007\/978-3-642-15260-3"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Andrea Cerone Alexey Gotsman and Hongseok Yang. 2015. Transaction chopping for parallel snapshot isolation. In International Symposium on Distributed Computing. Springer 388\u2013404. doi:10.1007\/978-3-662-48653-5_26","DOI":"10.1007\/978-3-662-48653-5_26"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.14778\/2350229.2350262"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","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: 14th International Conference TACAS 2008 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2008 Budapest Hungary March 29-April 6 2008. Proceedings 14. Springer 337\u2013340. doi:10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/3485484"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2020.05.010"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/bf00625970"},{"key":"e_1_3_2_26_2","unstructured":"Jose M. Faleiro and Daniel J. Abadi. 2014. Rethinking serializable multiversion concurrency control. arXiv preprint arXiv:1412.2324 (2014)."},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055553"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/1071610.1071615"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/564585.564601"},{"key":"e_1_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Alexey Gotsman Hongseok Yang Carla Ferreira Mahsa Najafzadeh Marc Shapiro Alexey Gotsman Hongseok Yang Carla Ferreira Mahsa Najafzadeh and Marc Shapiro. 2016. \u2019Cause i\u2019m strong enough: reasoning about consistency choices in distributed systems. In POPL.","DOI":"10.1145\/2837614.2837625"},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132867"},{"key":"e_1_3_2_33_2","first-page":"169","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016","author":"Guerraoui Rachid","year":"2016","unstructured":"Rachid Guerraoui, Matej Pavlovic, and Dragos-Adrian Seredinschi. 2016. Incremental Consistency Guarantees for Replicated Objects. In 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA, November 2-4, 2016, Kimberly Keeton and Timothy Roscoe (Eds.). USENIX Association, 169\u2013184. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/guerraoui"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055548"},{"key":"e_1_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Maurice P. Herlihy and Jeannette M. Wing. 1990. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems (1990).","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_36_2","doi-asserted-by":"crossref","unstructured":"Brandon Holt James Bornholt Irene Zhang Dan Ports Mark Oskin and Luis Ceze. 2016. Disciplined inconsistency with consistency types. In Proceedings of the Seventh ACM Symposium on Cloud Computing. 279\u2013293.","DOI":"10.1145\/2987550.2987559"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3290387"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/3276534"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3158115"},{"key":"e_1_3_2_40_2","doi-asserted-by":"crossref","unstructured":"Gowtham Kaki Prasanth Prahladan and Nicholas V. Lewchenko. 2022. RunTime-assisted convergence in replicated data types. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 364\u2013378.","DOI":"10.1145\/3519939.3523724"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3360580"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359737"},{"key":"e_1_3_2_43_2","doi-asserted-by":"crossref","unstructured":"Etienne Kneuss Ivan Kuraj Viktor Kuncak and Philippe Suter. 2013. Synthesis modulo recursive functions. In OOPSLA.","DOI":"10.1145\/2509136.2509555"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428256"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.14778\/1687627.1687657"},{"key":"e_1_3_2_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/3563336"},{"key":"e_1_3_2_47_2","volume-title":"Commun","author":"Lamport Leslie","year":"1978","unstructured":"Leslie Lamport. 1978. Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM (1978)."},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837622"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341710"},{"key":"e_1_3_2_50_2","first-page":"281","volume-title":"Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC\u201914)","author":"Li Cheng","year":"2014","unstructured":"Cheng Li, Jo\u00e3o Leit\u00e3o, Allen Clement, Nuno Pregui\u00e7a, Rodrigo Rodrigues, and Viktor Vafeiadis. 2014. Automating the Choice of Consistency Levels in Replicated Systems. In Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference (Philadelphia, PA) (USENIX ATC\u201914). USENIX Association, USA, 281\u2013292."},{"key":"e_1_3_2_51_2","unstructured":"Cheng Li Daniel Charles Ferreira Porto Allen Clement Johannes Gehrke Nuno M. Pregui\u00e7a and Rodrigo Seromenho Miragaia Rodrigues. 2012. Making Geo-Replicated Systems Fast as Possible Consistent when Necessary. In USENIX Symposium on Operating Systems Design and Implementation."},{"key":"e_1_3_2_52_2","unstructured":"Cheng Li Nuno Pregui\u00e7a and Rodrigo Rodrigues. 2018. Fine-grained consistency for geo-replicated systems. In 2018 USENIX Annual Technical Conference (USENIX ATC 18). 359\u2013372."},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_16"},{"key":"e_1_3_2_54_2","unstructured":"Jed Liu Tom Magrino Owen Arden Michael D. George and Andrew C. Myers. 2014. Warranties for faster strong consistency. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). 503\u2013517."},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428284"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/tkde.2004.34"},{"key":"e_1_3_2_57_2","doi-asserted-by":"crossref","unstructured":"Yi Lu Xiangyao Yu Lei Cao and Samuel Madden. 2021. Epoch-based commit and replication in distributed OLTP databases. (2021).","DOI":"10.14778\/3446095.3446098"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192375"},{"key":"e_1_3_2_59_2","unstructured":"Shuai Mu Yang Cui Yang Zhang Wyatt Lloyd and Jinyang Li. 2014. Extracting more concurrency from distributed transactions. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 479\u2013494."},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_26"},{"key":"e_1_3_2_61_2","doi-asserted-by":"crossref","unstructured":"Mahsa Najafzadeh Alexey Gotsman Hongseok Yang Carla Ferreira and Marc Shapiro. 2016. The CISE tool: proving weakly-consistent applications correct. In Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data. 1\u20133.","DOI":"10.1145\/2911151.2911160"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/3158114"},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"e_1_3_2_64_2","doi-asserted-by":"crossref","unstructured":"Kia Rahmani Kartik Nagar Benjamin Delaware and Suresh Jagannathan. 2021. Repairing serializability bugs in distributed database programs via automated schema refactoring. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 32\u201347.","DOI":"10.1145\/3453483.3454028"},{"key":"e_1_3_2_65_2","doi-asserted-by":"crossref","unstructured":"Sudip Roy Lucja Kot Gabriel Bender Bailu Ding Hossein Hojjat Christoph Koch Nate Foster and Johannes Gehrke. 2015. The homeostasis protocol: Avoiding transaction coordination through program analysis. In Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 1311\u20131326.","DOI":"10.1145\/2723372.2723720"},{"key":"e_1_3_2_66_2","doi-asserted-by":"crossref","unstructured":"Marc Shapiro Nuno Pregui\u00e7a Carlos Baquero and Marek Zawirski. 2011. A comprehensive study of convergent and commutative replicated data types. (2011).","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_29"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/211414.211427"},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737981"},{"key":"e_1_3_2_70_2","volume-title":"A quorum-based commit protocol","author":"Skeen Dale","year":"1982","unstructured":"Dale Skeen. 1982. A quorum-based commit protocol. Technical Report. Cornell University."},{"key":"e_1_3_2_71_2","doi-asserted-by":"crossref","unstructured":"Vimala Soundarapandian Adharsh Kamath Kartik Nagar and KC Sivaramakrishnan. 2022. Certified mergeable replicated data types. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 332\u2013347.","DOI":"10.1145\/3519939.3523735"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043592"},{"key":"e_1_3_2_73_2","first-page":"1150","volume-title":"VLDB \u201907: Proceedings of the 33rd international conference on Very large data bases (Vienna, Austria)","author":"Stonebraker Michael","year":"2007","unstructured":"Michael Stonebraker, Samuel Madden, Daniel J. Abadi, Stavros Harizopoulos, Nabil Hachem, and Pat Helland. 2007. The end of an Architectural Era: (It\u2019s Time for a Complete Rewrite). In VLDB \u201907: Proceedings of the 33rd international conference on Very large data bases (Vienna, Austria). VLDB Endowment, 1150\u20131160. http:\/\/hstore.cs.brown.edu\/papers\/hstore-endofera.pdf"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/pdis.1994.331722"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522731"},{"key":"e_1_3_2_76_2","doi-asserted-by":"crossref","unstructured":"Alexander Thomson Thaddeus Diamond Shu-Chun Weng Kun Ren Philip Shao and Daniel J. Abadi. 2012. Calvin: fast distributed transactions for partitioned database systems. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data. 1\u201312.","DOI":"10.1145\/2213836.2213838"},{"key":"e_1_3_2_77_2","unstructured":"Transaction Processing Performance Council TPC. 2010. Tpc benchmark\u2122 E."},{"key":"e_1_3_2_78_2","doi-asserted-by":"crossref","unstructured":"Nicolas Viennot Mathias L\u00e9cuyer Jonathan Bell Roxana Geambasu Jason Nieh L Mathias Jonathan Bell Roxana Geambasu and Jason Nieh. 2015. Synapse: A Microservices Architecture for Heterogeneous-Database Web Applications. EuroSys (2015).","DOI":"10.1145\/2741948.2741975"},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","unstructured":"Paolo Viotti and Marko Vukoli\u0107. 2016. Consistency in Non-Transactional Distributed Storage Systems. ACM Comput. Surv. 49 1 Article 19 (jun 2016) 34 pages. doi:10.1145\/2926965 10.1145\/2926965","DOI":"10.1145\/2926965"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_81_2","unstructured":"Chao Xie Chunzhi Su Manos Kapritsos Yang Wang Navid Yaghmazadeh Lorenzo Alvisi and Prince Mahajan. 2014. Salt: Combining {ACID} and {BASE} in a distributed database. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). 495\u2013509."},{"key":"e_1_3_2_82_2","doi-asserted-by":"crossref","unstructured":"Chao Xie Chunzhi Su Cody Littley Lorenzo Alvisi Manos Kapritsos and Yang Wang. 2015. High-performance ACID via modular concurrency control. In Proceedings of the 25th Symposium on Operating Systems Principles. 279\u2013294.","DOI":"10.1145\/2815400.2815430"},{"key":"e_1_3_2_83_2","first-page":"305","volume-title":"4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000","author":"Yu Haifeng","year":"2000","unstructured":"Haifeng Yu and Amin Vahdat. 2000. Design and Evaluation of a Continuous Consistency Model for Replicated Services. In 4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000, Michael B. Jones and M. Frans Kaashoek (Eds.). USENIX Association, 305\u2013318. http:\/\/dl.acm.org\/citation.cfm?id=1251250"},{"key":"e_1_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.1145\/3591276"},{"key":"e_1_3_2_85_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656408"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1109\/csfw.2003.1212703"},{"key":"e_1_3_2_87_2","first-page":"723","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Zhang Irene","year":"2016","unstructured":"Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, and Henry M. Levy. 2016. Diamond: Automating Data Management and Storage for Wide-Area, Reactive Applications. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 723\u2013738. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/zhang-irene"},{"key":"e_1_3_2_88_2","doi-asserted-by":"crossref","unstructured":"Yang Zhang Russell Power Siyuan Zhou Yair Sovran Marcos K. Aguilera and Jinyang Li. 2013. Transaction chains: achieving serializability with low latency in geo-distributed storage systems. In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles. 276\u2013291.","DOI":"10.1145\/2517349.2522729"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720513","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3720513","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3720513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T16:31:11Z","timestamp":1787589071000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3720513"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,9]]},"references-count":87,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2025,4,9]]}},"alternative-id":["10.1145\/3720513"],"URL":"https:\/\/doi.org\/10.1145\/3720513","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4,9]]},"assertion":[{"value":"2024-10-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-02-18","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}