{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:23:11Z","timestamp":1760059391515,"version":"build-2065373602"},"reference-count":97,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,10,9]]},"abstract":"<jats:p>The advances in modern storage technologies necessitate the development of new input\/output (I\/O) APIs to maximize their performance benefits. However, migrating existing software to use different APIs poses significant challenges due to mismatches in computational models and complex code structures surrounding stateful, non-contiguous multi-API call sites. We present Sprout, a new system for automatically migrating programs across I\/O APIs that guarantees behavioral equivalence. Sprout uses flow-sensitive pointer analysis to identify semantic variables, which enables the typestate analysis for matching API semantics and the synthesis of migrated programs. Experimental results with real-world C programs highlight the efficiency and effectiveness of our approach. We also show that Sprout can be adapted to other domains, such as databases.<\/jats:p>","DOI":"10.1145\/3763071","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:49:50Z","timestamp":1759999790000},"page":"584-614","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Sound Static Analysis Approach to I\/O API Migration"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-5163-3310","authenticated-orcid":false,"given":"Shangyu","family":"Li","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9911-4602","authenticated-orcid":false,"given":"Zhaoyang","family":"Zhang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-1521-3569","authenticated-orcid":false,"given":"Sizhe","family":"Zhong","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-8620-1064","authenticated-orcid":false,"given":"Diyu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5904-3641","authenticated-orcid":false,"given":"Jiasi","family":"Shen","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"ANTLR - Another Tool for Language Recognition. https:\/\/www.antlr.org\/ [Online","author":"Project ANTLR","year":"2024","unstructured":"ANTLR Project. 2024. ANTLR - Another Tool for Language Recognition. https:\/\/www.antlr.org\/ [Online; accessed 8-November-2024]"},{"key":"e_1_2_1_2_1","unstructured":"Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry Quoc Le and Charles Sutton. 2021. Program Synthesis with Large Language Models. arxiv:2108.07732. arxiv:2108.07732"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mssp.2004.09.127"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.38"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 38th International Conference on Neural Information Processing Systems (NIPS \u201924)","author":"Bhatia Sahil","year":"2025","unstructured":"Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, and Alvin Cheung. 2025. Verified code transpilation with LLMs. In Proceedings of the 38th International Conference on Neural Information Processing Systems (NIPS \u201924). Curran Associates Inc., Red Hook, NY, USA. Article 1310, 31 pages. isbn:9798331314385"},{"key":"e_1_2_1_6_1","volume-title":"Execution-Guided Neural Program Synthesis. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=H1gfOiAqYm","author":"Chen Xinyun","year":"2019","unstructured":"Xinyun Chen, Chang Liu, and Dawn Song. 2019. Execution-Guided Neural Program Synthesis. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=H1gfOiAqYm"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643749"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462180"},{"key":"e_1_2_1_9_1","unstructured":"Jonathan Corbet. 2017. Zero-copy networking [LWN.net]. https:\/\/lwn.net\/Articles\/726917\/ Accessed: 2025-07-15"},{"key":"e_1_2_1_10_1","unstructured":"Jonathan Corbet. 2018. Zero-copy TCP receive [LWN.net]. https:\/\/lwn.net\/Articles\/752188\/ Accessed: 2025-07-15"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_10"},{"key":"e_1_2_1_12_1","volume-title":"UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"David Yaniv","year":"2022","unstructured":"Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, and Ronghui Gu. 2022. UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). USENIX Association, Carlsbad, CA. 751\u2013767. isbn:978-1-939133-28-1 https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/david"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134059"},{"key":"e_1_2_1_15_1","unstructured":"DiffChecker. 2025. DiffChecker. https:\/\/www.diffchecker.com"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176668"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368148"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14778\/3282495.3282502"},{"key":"e_1_2_1_19_1","first-page":"46701","article-title":"Crosscodeeval: A diverse and multilingual benchmark for cross-file code completion","volume":"36","author":"Ding Yangruibo","year":"2023","unstructured":"Yangruibo Ding, Zijian Wang, Wasi Ahmad, Hantian Ding, Ming Tan, Nihal Jain, Murali Krishna Ramanathan, Ramesh Nallapati, Parminder Bhatia, Dan Roth, et al. 2023. Crosscodeeval: A diverse and multilingual benchmark for cross-file code completion. Advances in Neural Information Processing Systems, 36 (2023), 46701\u201346723.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330571"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635869"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3275535"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485538"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629609"},{"key":"e_1_2_1_25_1","volume-title":"Organising for digital delivery - Report from the Digital Economy Council","author":"GOV.UK.","year":"2020","unstructured":"GOV.UK. 2021. Organising for digital delivery - Report from the Digital Economy Council, 9 September 2020. https:\/\/www.gov.uk\/government\/publications\/organising-for-digital-delivery\/organising-for-digital-delivery"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912)","author":"Han Sangjin","year":"2012","unstructured":"Sangjin Han, Scott Marshall, Byung-Gon Chun, and Sylvia Ratnasamy. 2012. MegaPipe: a new programming interface for scalable network I\/O. In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201912). USENIX Association, USA. 135\u2013148. isbn:9781931971966 https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/han"},{"volume-title":"The Exim SMTP mail server: official guide for release 4","author":"Hazel Philip","key":"e_1_2_1_27_1","unstructured":"Philip Hazel. 2003. The Exim SMTP mail server: official guide for release 4. UIT Cambridge, PO Box 145, Cambridge CB4 1GQ, England."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the 15th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201918)","author":"Honda Michio","year":"2018","unstructured":"Michio Honda, Giuseppe Lettieri, Lars Eggert, and Douglas Santry. 2018. PASTE: a network programming interface for non-volatile main memory. In Proceedings of the 15th USENIX Conference on Networked Systems Design and Implementation (NSDI\u201918). USENIX Association, USA. 17\u201333. isbn:9781931971430 https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/honda"},{"key":"e_1_2_1_29_1","unstructured":"IEEE and The Open Group. 2004. POSIX API open Description. https:\/\/pubs.opengroup.org\/onlinepubs\/007904875\/functions\/open.html Accessed: 2025-07-15"},{"key":"e_1_2_1_30_1","volume-title":"The Open Group Base Specifications Issue 7","author":"IEEE and The Open Group","year":"2018","unstructured":"IEEE and The Open Group. 2018. The Open Group Base Specifications Issue 7, 2018 edition IEEE Std 1003.1\u2122 -2017 (Revision of IEEE Std 1003.1-2008). https:\/\/pubs.opengroup.org\/onlinepubs\/9699919799\/"},{"volume-title":"Banks scramble to fix old systems as it \u2019Cowboys","author":"Irrera Anna","key":"e_1_2_1_31_1","unstructured":"Anna Irrera. 2017. Banks scramble to fix old systems as it \u2019Cowboys\u2019 ride into Sunset. https:\/\/www.reuters.com\/article\/us-usa-banks-cobol-idUSKBN17C0D8"},{"key":"e_1_2_1_32_1","volume-title":"Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson.","author":"Izraelevitz Joseph","year":"2019","unstructured":"Joseph Izraelevitz, Jian Yang, Lu Zhang, Juno Kim, Xiao Liu, Amirsaman Memaripour, Yun Joon Soh, Zixuan Wang, Yi Xu, Subramanya R. Dulloor, Jishen Zhao, and Steven Swanson. 2019. Basic Performance Measurements of the Intel Optane DC Persistent Memory Module. arxiv:1903.05714. arxiv:1903.05714"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571730"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00033"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3747588"},{"key":"e_1_2_1_37_1","unstructured":"Carlos E. Jimenez John Yang Alexander Wettig Shunyu Yao Kexin Pei Ofir Press and Karthik Narasimhan. 2024. SWE-bench: Can Language Models Resolve Real-World GitHub Issues? arxiv:2310.06770. arxiv:2310.06770"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869487"},{"key":"e_1_2_1_40_1","unstructured":"Michael Kerrisk. 2025. Mmap [man7.org]. https:\/\/man7.org\/linux\/man-pages\/man2\/mmap.2.html Accessed: 2025-07-15"},{"key":"e_1_2_1_41_1","unstructured":"Michael Kerrisk. 2025. Sendfile [man7.org]. https:\/\/man7.org\/linux\/man-pages\/man2\/sendfile.2.html Accessed: 2025-07-15"},{"key":"e_1_2_1_42_1","unstructured":"Michael Kerrisk. 2025. Splice [man7.org]. https:\/\/man7.org\/linux\/man-pages\/man2\/splice.2.html Accessed: 2025-07-15"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3409963.3410489"},{"key":"e_1_2_1_44_1","first-page":"106519","article-title":"Babilong: Testing the limits of llms with long context reasoning-in-a-haystack","volume":"37","author":"Kuratov Yury","year":"2024","unstructured":"Yury Kuratov, Aydar Bulatov, Petr Anokhin, Ivan Rodkin, Dmitry Sorokin, Artyom Sorokin, and Mikhail Burtsev. 2024. Babilong: Testing the limits of llms with long context reasoning-in-a-haystack. Advances in Neural Information Processing Systems, 37 (2024), 106519\u2013106554.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_2_1_46_1","volume-title":"Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201918)","author":"Lawall Julia","year":"2018","unstructured":"Julia Lawall and Gilles Muller. 2018. Coccinelle: 10 years of automated evolution in the Linux kernel. In Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC \u201918). USENIX Association, USA. 601\u2013613. isbn:9781931971447 https:\/\/www.usenix.org\/conference\/atc18\/presentation\/lawall"},{"key":"e_1_2_1_47_1","unstructured":"Shangyu Li Juyong Jiang Tiancheng Zhao and Jiasi Shen. 2025. OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification. arxiv:2504.20964. arxiv:2504.20964"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507770"},{"key":"e_1_2_1_49_1","unstructured":"Jean loup Gailly and Mark Adler. 1995\u20132023. zlib. https:\/\/github.com\/madler\/zlib Accessed: 2025-07-15"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2014.6757362"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626311"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359657"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993537"},{"key":"e_1_2_1_54_1","unstructured":"MySQL. 2023. MySQL C API Function Deprecation Descriptions. https:\/\/dev.mysql.com\/doc\/c-api\/8.0\/en\/c-api-basic-function-reference.html Accessed: 2025-07-15"},{"key":"e_1_2_1_55_1","unstructured":"MySQL. 2023. MySQL C API Function Descriptions. https:\/\/dev.mysql.com\/doc\/c-api\/8.0\/en\/c-api-function-descriptions.html Accessed: 2025-07-15"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME58846.2023.00068"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643010"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00023"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00020"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806832"},{"key":"e_1_2_1_61_1","unstructured":"CT Department of Labor Communications Office Commissioner Kurt Westby. 2020. DOL offers guidance to employees to help speed up their claim approval. https:\/\/www.ctdol.state.ct.us\/communic\/newsrels\/LABOR%20DEPARTMENT%20PROVIDES%20UPDATES%20TO%20EMPLOYEES %20EMPLOYERS%20FOLLOWING%20RECORD%20NUMBER%20OF%20UNEMPLOYMENT%20BENEFIT%20APPLICATIONS.pdf"},{"key":"e_1_2_1_62_1","volume-title":"TRANSCRIPT: April 4th","author":"State of New Jersey Governor Phil Murphy.","year":"2020","unstructured":"State of New Jersey Governor Phil Murphy. 2020. TRANSCRIPT: April 4th, 2020 Coronavirus Briefing Media. https:\/\/nj.gov\/governor\/news\/news\/562020\/approved\/20200404b.shtml"},{"key":"e_1_2_1_63_1","volume-title":"TRANSCRIPT: April 8th","author":"State of New Jersey Governor Phil Murphy.","year":"2020","unstructured":"State of New Jersey Governor Phil Murphy. 2020. TRANSCRIPT: April 8th, 2020 Coronavirus Briefing Media. https:\/\/nj.gov\/governor\/news\/news\/562020\/approved\/20200408c.shtml"},{"key":"e_1_2_1_64_1","unstructured":"U.S. Government Accountability Office. 2019. Information technology: Agencies need to develop modernization plans for Critical Legacy Systems. https:\/\/www.gao.gov\/products\/gao-19-471"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632870"},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.9"},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108818"},{"key":"e_1_2_1_68_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914)","author":"Peter Simon","year":"2014","unstructured":"Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, and Timothy Roscoe. 2014. Arrakis: the operating system is the control plane. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201914). USENIX Association, USA. 1\u201316. isbn:9781931971164 https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/peter"},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the 35th International Conference on Machine Learning, Jennifer Dy and Andreas Krause (Eds.) (Proceedings of Machine Learning Research","volume":"4170","author":"Pu Yewen","year":"2018","unstructured":"Yewen Pu, Zachery Miranda, Armando Solar-Lezama, and Leslie Kaelbling. 2018. Selecting Representative Examples for Program Synthesis. In Proceedings of the 35th International Conference on Machine Learning, Jennifer Dy and Andreas Krause (Eds.) (Proceedings of Machine Learning Research, Vol. 80). PMLR, 4161\u20134170. https:\/\/proceedings.mlr.press\/v80\/pu18b.html"},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2013.6658667"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3186728.3164140"},{"key":"e_1_2_1_72_1","unstructured":"Digital Reality. 2018. All-Change in Financial Services as Incumbents Meet Startups. https:\/\/www.digitalrealty.com\/resources\/white-papers\/all-change-in-financial-services-as-incumbents-meet-startups"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361061"},{"key":"e_1_2_1_74_1","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC\u201912)","author":"Rizzo Luigi","year":"2012","unstructured":"Luigi Rizzo. 2012. Netmap: a novel framework for fast packet I\/O. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (USENIX ATC\u201912). USENIX Association, USA. 9."},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.44"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371120"},{"key":"e_1_2_1_77_1","volume-title":"Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC\u201920)","author":"Serrano Lucas","year":"2020","unstructured":"Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, and Gilles Muller. 2020. SPINFER: inferring semantic patches for the Linux kernel. In Proceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference (USENIX ATC\u201920). USENIX Association, USA. Article 16, 14 pages. isbn:978-1-939133-14-4 https:\/\/www.usenix.org\/conference\/atc20\/presentation\/serrano"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314591"},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192418"},{"key":"e_1_2_1_80_1","volume-title":"Program Synthesis By Sketching. Ph. D. Dissertation. EECS Department","author":"Solar-Lezama Armando","year":"2008","unstructured":"Armando Solar-Lezama. 2008. Program Synthesis By Sketching. Ph. D. Dissertation. EECS Department, University of California, Berkeley. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2008\/EECS-2008-177.html"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336784"},{"key":"e_1_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.895180"},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484736"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576037"},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592810"},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586034"},{"key":"e_1_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2016.25"},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527312"},{"key":"e_1_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158144"},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314588"},{"key":"e_1_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_35"},{"key":"e_1_2_1_95_1","volume-title":"Large Language Models Meet NL2Code: A Survey. arxiv:2212","author":"Zan Daoguang","year":"2023","unstructured":"Daoguang Zan, Bei Chen, Fengji Zhang, Dianjie Lu, Bingchao Wu, Bei Guan, Yongji Wang, and Jian-Guang Lou. 2023. Large Language Models Meet NL2Code: A Survey. arxiv:2212.09420. arxiv:2212.09420"},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613171"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950298"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T17:48:47Z","timestamp":1760032127000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":97,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763071"],"URL":"https:\/\/doi.org\/10.1145\/3763071","relation":{},"ISSN":["2475-1421"],"issn-type":[{"type":"electronic","value":"2475-1421"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}