{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T19:01:25Z","timestamp":1754161285518,"version":"3.41.2"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["URF\\\\R\\\\221031"],"award-info":[{"award-number":["URF\\\\R\\\\221031"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728567","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:09:27Z","timestamp":1753729767000},"page":"444-455","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Quantifying the benefits of code hints for refactoring deprecated Java APIs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9106-934X","authenticated-orcid":false,"given":"Cristina","family":"David","sequence":"first","affiliation":[{"name":"School of Computer Science, University of Bristol, Bristol, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0300-5598","authenticated-orcid":false,"given":"Pascal","family":"Kesseli","sequence":"additional","affiliation":[{"name":"Meta, Zurich, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6681-5283","authenticated-orcid":false,"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[{"name":"Amazon, Inc., Seattle, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3309-0439","authenticated-orcid":false,"given":"Hanliang","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Bristol, Bristol, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Claude. https:\/\/www.anthropic.com\/index\/introducing-claude."},{"key":"e_1_3_2_1_2_1","volume-title":"CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14\u201317, 2018, Proceedings, Part I (Lecture Notes in Computer Science","volume":"288","author":"Abate Alessandro","year":"2018","unstructured":"Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. 2018. Counterexample Guided Inductive Synthesis Modulo Theories. In Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14\u201317, 2018, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 10981), Hana Chockler and Georg Weissenbacher (Eds.). Springer, 270\u2013288. 10.1007\/978-3-319-96145-3_15"},{"key":"e_1_3_2_1_3_1","volume-title":"Conference on Programming Language Design and Implementation, PLDI. 3\u201314","author":"Cheung Alvin","year":"2013","unstructured":"Alvin Cheung, Armando Solar-Lezama, and Samuel Madden. 2013. Optimizing database-backed applications with query synthesis. In Conference on Programming Language Design and Implementation, PLDI. 3\u201314."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"1202","DOI":"10.1016\/j.infsof.2012.05.004","article-title":"Automated refactoring to the Strategy design pattern","volume":"54","author":"Christopoulou Aikaterini","year":"2012","unstructured":"Aikaterini Christopoulou, E.A. Giakoumakis, Vassilis E. Zafeiris, and Soukara Vasiliki. 2012. Automated refactoring to the Strategy design pattern. Information and Software Technology 54, 11 (2012), 1202 \u2013 1214.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1016\/S0950-5849(02)00104-0","article-title":"Source transformation in software engineering using the TXL transformation system","volume":"44","author":"Cordy James R","year":"2002","unstructured":"James R Cordy, Thomas R Dean, Andrew J Malton, and Kevin A Schneider. 2002. Source transformation in software engineering using the TXL transformation system. Information and Software Technology 44, 13 (2002), 827 \u2013 837.","journal-title":"Information and Software Technology"},{"key":"e_1_3_2_1_6_1","volume-title":"Kayak: Safe Semantic Refactoring to Java Streams. CoRR abs\/1712.07388","author":"David Cristina","year":"2017","unstructured":"Cristina David, Pascal Kesseli, and Daniel Kroening. 2017. Kayak: Safe Semantic Refactoring to Java Streams. CoRR abs\/1712.07388 (2017). arXiv:1712.07388 http:\/\/arxiv.org\/abs\/1712.07388"},{"key":"e_1_3_2_1_7_1","volume-title":"Ramesh Nallapati, Parminder Bhatia, Dan Roth, and Bing Xiang.","author":"Ding Yangruibo","year":"2024","unstructured":"Yangruibo Ding, Zijian Wang, Wasi Ahmad, Murali Krishna Ramanathan, Ramesh Nallapati, Parminder Bhatia, Dan Roth, and Bing Xiang. 2024. CoCoMIC: Code completion by jointly modeling in-file and cross-file context. In LREC-COLING 2024. https:\/\/www.amazon.science\/publications\/cocomic-code-completion-by-jointly-modeling-in-file-and-cross-file-context"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (","author":"Du Xueying","year":"2024","unstructured":"Xueying Du, Mingwei Liu, Kaixin Wang, Hanlin Wang, Junwei Liu, Yixuan Chen, Jiayi Feng, Chaofeng Sha, Xin Peng, and Yiling Lou. 2024. Evaluating Large Language Models in Class-Level Code Generation. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (, Lisbon, Portugal,) (ICSE '24). Association for Computing Machinery, New York, NY, USA, Article 81, 13 pages. 10.1145\/3597503.3639219"},{"key":"e_1_3_2_1_9_1","first-page":"10","volume-title":"Proc. ACM Program. Lang. 5, OOPSLA, Article 121 (Oct.","author":"Emre Mehmet","year":"2021","unstructured":"Mehmet Emre, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf. 2021. Translating C to safer Rust. Proc. ACM Program. Lang. 5, OOPSLA, Article 121 (Oct. 2021), 29 pages. 10.1145\/3485498"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2405.11514"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019","author":"Fazzini Mattia","year":"2019","unstructured":"Mattia Fazzini, Qi Xin, and Alessandro Orso. 2019. Automated API-usage update for Android apps. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15\u201319, 2019, Dongmei Zhang and Anders M\u00f8ller (Eds.). ACM, 204\u2013215. 10.1145\/3293882.3330571"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Feng Yu","year":"2017","unstructured":"Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, and Thomas W. Reps. 2017. Component-based synthesis for complex APIs. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18\u201320, 2017, Giuseppe Castagna and Andrew D. Gordon (Eds.). ACM, 599\u2013612. 10.1145\/3009837.3009851"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Feser John K.","year":"2015","unstructured":"John K. Feser, Swarat Chaudhuri, and Isil Dillig. 2015. Synthesizing data structure transformations from input-output examples. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15\u201317, 2015, David Grove and Stephen M. Blackburn (Eds.). ACM, 229\u2013239. 10.1145\/2737924.2737977"},{"key":"e_1_3_2_1_14_1","volume-title":"35th International Conference on Software Engineering, ICSE '13","author":"Franklin Lyle","year":"2013","unstructured":"Lyle Franklin, Alex Gyori, Jan Lahoda, and Danny Dig. 2013. LAMBDAFICATOR: from imperative to functional programming through automated refactoring. In 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18\u201326, 2013. 1287\u20131290. 10.1109\/ICSE.2013.6606699"},{"key":"e_1_3_2_1_15_1","volume-title":"ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25\u201329, 2005, Proceedings. 71\u201396","author":"Fuhrer Robert M.","year":"2005","unstructured":"Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, and Markus Keller. 2005. Efficiently Refactoring Java Applications to Use Generic Libraries. In ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25\u201329, 2005, Proceedings. 71\u201396. 10.1007\/11531142_4"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011","author":"Gulwani Sumit","year":"2011","unstructured":"Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan. 2011. Synthesis of loop-free programs. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4\u20138, 2011, Mary W. Hall and David A. Padua (Eds.). ACM, 62\u201373. 10.1145\/1993498.1993506"},{"key":"e_1_3_2_1_17_1","unstructured":"Daya Guo Qihao Zhu Dejian Yang Zhenda Xie Kai Dong Wentao Zhang Guanting Chen Xiao Bi Y. Wu Y. K. Li Fuli Luo Yingfei Xiong and Wenfeng Liang. 2024. DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. arXiv:2401.14196 [cs.SE]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Alex Gyori Lyle Franklin Danny Dig and Jan Lahoda. 2013. Crossing the gap from imperative to functional programming through refactoring.. In ESEC\/SIGSOFT FSE. ACM 543\u2013553.","DOI":"10.1145\/2491411.2491461"},{"key":"e_1_3_2_1_19_1","volume-title":"ICPC'20: 28th International Conference on Program Comprehension","author":"Haryono Stefanus A.","year":"2020","unstructured":"Stefanus A. Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, and Lingxiao Jiang. 2020. Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. In ICPC'20: 28th International Conference on Program Comprehension, Seoul, Republic of Korea, July 13\u201315, 2020. ACM, 401\u2013405. 10.1145\/3387904.3389285"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/S10664-021-10096-0"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Wenpin Hou and Zhicheng Ji. 2024. Comparing large language models and human programmers for generating programming code. arXiv:2403.00894 [cs.SE] https:\/\/arxiv.org\/abs\/2403.00894","DOI":"10.1002\/advs.202412279"},{"key":"e_1_3_2_1_22_1","volume-title":"REPFINDER: Finding Replacements for Missing APIs in Library Update. In 36th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2021","author":"Huang Kaifeng","year":"2021","unstructured":"Kaifeng Huang, Bihuan Chen, Linghao Pan, Shuai Wu, and Xin Peng. 2021. REPFINDER: Finding Replacements for Missing APIs in Library Update. In 36th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15\u201319, 2021. IEEE, 266\u2013278. 10.1109\/ASE51524.2021.9678905"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Ming-Yee Iu Emmanuel Cecchet and Willy Zwaenepoel. 2010. JReq: Database Queries in Imperative Languages. In Compiler Construction (CC). 84\u2013103.","DOI":"10.1007\/978-3-642-11970-5_6"},{"key":"e_1_3_2_1_24_1","volume-title":"Language Models for Code Completion: A Practical Evaluation. In 2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE). IEEE Computer Society","author":"Izadi M.","year":"2024","unstructured":"M. Izadi, J. Katzy, T. van Dam, M. Otten, R. Popescu, and A. van Deursen. 2024. Language Models for Code Completion: A Practical Evaluation. In 2024 IEEE\/ACM 46th International Conference on Software Engineering (ICSE). IEEE Computer Society, Los Alamitos, CA, USA, 956\u2013968. https:\/\/doi.ieeecomputersociety.org\/"},{"key":"e_1_3_2_1_25_1","volume-title":"Asia-Pacific Software Engineering Conference (APSEC). 337\u2013345","author":"Jeon Sang-Uk","year":"2002","unstructured":"Sang-Uk Jeon, Joon-Sang Lee, and Doo-Hwan Bae. 2002. An automated refactoring approach to design pattern-based program transformations in Java programs. In Asia-Pacific Software Engineering Conference (APSEC). 337\u2013345."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering -","volume":"1","author":"Jha Susmit","year":"2010","unstructured":"Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, and Ashish Tiwari. 2010. Oracle-guided component-based program synthesis. In Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1\u20138 May 2010, Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, and Sebasti\u00e1n Uchitel (Eds.). ACM, 215\u2013224. 10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_27_1","unstructured":"Juyong Jiang Fan Wang Jiasi Shen Sungju Kim and Sunghun Kim. 2024. A Survey on Large Language Models for Code Generation. arXiv:2406.00515 [cs.CL] https:\/\/arxiv.org\/abs\/2406.00515"},{"key":"e_1_3_2_1_28_1","unstructured":"Juyong Jiang Fan Wang Jiasi Shen Sungju Kim and Sunghun Kim. 2024. A Survey on Large Language Models for Code Generation. arXiv:2406.00515 [cs.CL]"},{"volume-title":"Proceedings of the IEEE International Conference on Software Maintenance (ICSM '01)","author":"Kataoka Yoshio","key":"e_1_3_2_1_29_1","unstructured":"Yoshio Kataoka, David Notkin, Michael D. Ernst, and William G. Griswold. 2001. Automated Support for Program Refactoring Using Invariants. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM '01). IEEE Computer Society."},{"key":"e_1_3_2_1_30_1","volume-title":"Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP","author":"Katayama Susumu","year":"2005","unstructured":"Susumu Katayama. 2005. Systematic search for lambda expressions. In Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23\u201324 September 2005 (Trends in Functional Programming, Vol. 6), Marko C. J. D. van Eekelen (Ed.). Intellect, 111\u2013126."},{"key":"e_1_3_2_1_31_1","volume-title":"Software Maintenance, 2007. ICSM 2007. IEEE International Conference on. 224\u2013233","author":"Khatchadourian Raffi","year":"2007","unstructured":"Raffi Khatchadourian, Jason Sawin, and Atanas Rountev. 2007. Automated Refactoring of Legacy Java Software to Enumerated Types. In Software Maintenance, 2007. ICSM 2007. IEEE International Conference on. 224\u2013233."},{"key":"e_1_3_2_1_32_1","volume-title":"Refactoring for Parameterizing Java Classes. In 29th International Conference on Software Engineering (ICSE 2007","author":"Kiezun Adam","year":"2007","unstructured":"Adam Kiezun, Michael D. Ernst, Frank Tip, and Robert M. Fuhrer. 2007. Refactoring for Parameterizing Java Classes. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20\u201326, 2007. 437\u2013446. 10.1109\/ICSE.2007.70"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2901459"},{"key":"e_1_3_2_1_34_1","unstructured":"Anton Lozhkov Raymond Li Loubna Ben Allal Federico Cassano Joel Lamy-Poirier Nouamane Tazi Ao Tang Dmytro Pykhtar Jiawei Liu Yuxiang Wei Tianyang Liu Max Tian Denis Kocetkov Arthur Zucker Younes Belkada Zijian Wang Qian Liu Dmitry Abulkhanov Indraneil Paul Zhuang Li Wen-Ding Li Megan Risdal Jia Li Jian Zhu Terry Yue Zhuo Evgenii Zheltonozhskii Nii Osae Osae Dade Wenhao Yu Lucas Krau\u00df Naman Jain Yixuan Su Xuanli He Manan Dey Edoardo Abati Yekun Chai Niklas Muennighoff Xiangru Tang Muhtasham Oblokulov Christopher Akiki Marc Marone Chenghao Mou Mayank Mishra Alex Gu Binyuan Hui Tri Dao Armel Zebaze Olivier Dehaene Nicolas Patry Canwen Xu Julian McAuley Han Hu Torsten Scholak Sebastien Paquet Jennifer Robinson Carolyn Jane Anderson Nicolas Chapados Mostofa Patwary Nima Tajbakhsh Yacine Jernite Carlos Mu\u00f1oz Ferrandis Lingming Zhang Sean Hughes Thomas Wolf Arjun Guha Leandro von Werra and Harm de Vries. 2024. StarCoder 2 and The Stack v2: The Next Generation. arXiv:2402.19173 [cs.SE]"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. ACM Program. Lang. 4, ICFP","author":"Lubin Justin","year":"2020","unstructured":"Justin Lubin, Nick Collins, Cyrus Omar, and Ravi Chugh. 2020. Program sketching with live bidirectional evaluation. Proc. ACM Program. Lang. 4, ICFP (2020), 109:1\u2013109:29. 10.1145\/3408991"},{"key":"e_1_3_2_1_36_1","unstructured":"Lincoln Murr Morgan Grainger and David Gao. 2023. Testing LLMs on Code Generation with Varying Levels of Prompt Specificity. arXiv:2311.07599 [cs.SE] https:\/\/arxiv.org\/abs\/2311.07599"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 40th International Conference on Machine Learning (","author":"Ni Ansong","year":"2023","unstructured":"Ansong Ni, Srini Iyer, Dragomir Radev, Ves Stoyanov, Wen-tau Yih, Sida I. Wang, and Xi Victoria Lin. 2023. LEVER: Learning to verify language-to-code generation with execution. In Proceedings of the 40th International Conference on Machine Learning (, Honolulu, Hawaii, USA,) (ICML'23). JMLR.org, Article 1086, 23 pages."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1002\/smr.378","article-title":"Search-based refactoring: an empirical study","volume":"20","author":"O'Keeffe M.","year":"2008","unstructured":"M. O'Keeffe and M.O. Cinn\u00e9ide. 2008. Search-based refactoring: an empirical study. Journal of Software Maintenance and Evolution: Research and Practice 20, 5 (2008), 345\u2013364.","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1016\/j.jss.2007.06.003","article-title":"Search-based refactoring for software maintenance","volume":"81","author":"O'Keeffe M.","year":"2008","unstructured":"M. O'Keeffe and M.O. Cinn\u00e9ide. 2008. Search-based refactoring for software maintenance. Journal of Systems and Software 81, 4 (2008), 502 \u2013 516.","journal-title":"Journal of Systems and Software"},{"key":"e_1_3_2_1_40_1","unstructured":"OpenAI Josh Achiam Steven Adler et al. 2024. GPT-4 Technical Report. arXiv:2303.08774 [cs.CL]"},{"key":"e_1_3_2_1_41_1","unstructured":"Oracle. 2020. Deprecated List (Java SE 15 & JDK 15). https:\/\/docs.oracle.com\/en\/java\/javase\/15\/docs\/api\/deprecated-list.html"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Osera Peter-Michael","year":"2015","unstructured":"Peter-Michael Osera and Steve Zdancewic. 2015. Type-and-example-directed program synthesis. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15\u201317, 2015, David Grove and Stephen M. Blackburn (Eds.). ACM, 619\u2013630. 10.1145\/2737924.2738007"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019","author":"Padhye Rohan","year":"2019","unstructured":"Rohan Padhye, Caroline Lemieux, and Koushik Sen. 2019. JQF: coverage-guided property-based testing in Java. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15\u201319, 2019, Dongmei Zhang and Anders M\u00f8ller (Eds.). ACM, 398\u2013401. 10.1145\/3293882.3339002"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (","author":"Pan Rangeet","year":"2024","unstructured":"Rangeet Pan, Ali Reza Ibrahimzada, Rahul Krishna, Divya Sankar, Lambert Pouguem Wassi, Michele Merler, Boris Sobolev, Raju Pavuluri, Saurabh Sinha, and Reyhaneh Jabbarvand. 2024. Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (, Lisbon, Portugal,) (ICSE '24). Association for Computing Machinery, New York, NY, USA, Article 82, 13 pages. 10.1145\/3597503.3639226"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05","author":"Perkins Jeff H.","year":"2005","unstructured":"Jeff H. Perkins. 2005. Automatically generating refactorings to support API evolution. In Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5\u20136, 2005, Michael D. Ernst and Thomas P. Jensen (Eds.). ACM, 111\u2013114. 10.1145\/1108792.1108818"},{"key":"e_1_3_2_1_46_1","unstructured":"Baptiste Rozi\u00e8re Jonas Gehring Fabian Gloeckle Sten Sootla Itai Gat Xiaoqing Ellen Tan Yossi Adi Jingyu Liu Romain Sauvestre Tal Remez J\u00e9r\u00e9my Rapin Artyom Kozhevnikov Ivan Evtimov Joanna Bitton Manish Bhatt Cristian Canton Ferrer Aaron Grattafiori Wenhan Xiong Alexandre D\u00e9fossez Jade Copet Faisal Azhar Hugo Touvron Louis Martin Nicolas Usunier Thomas Scialom and Gabriel Synnaeve. 2024. Code Llama: Open Foundation Models for Code. arXiv:2308.12950 [cs.CL]"},{"key":"e_1_3_2_1_47_1","volume-title":"Correct Refactoring of Concurrent Java Code. In ECOOP 2010 - Object-Oriented Programming, Theo D'Hondt (Ed.). Springer Berlin Heidelberg","author":"Sch\u00e4fer Max","year":"2010","unstructured":"Max Sch\u00e4fer, Julian Dolby, Manu Sridharan, Emina Torlak, and Frank Tip. 2010. Correct Refactoring of Concurrent Java Code. In ECOOP 2010 - Object-Oriented Programming, Theo D'Hondt (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 225\u2013249."},{"key":"e_1_3_2_1_48_1","volume-title":"Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation","author":"Solar-Lezama Armando","year":"2008","unstructured":"Armando Solar-Lezama, Christopher Grant Jones, and Rastislav Bod\u00edk. 2008. Sketching concurrent data structures. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7\u201313, 2008, Rajiv Gupta and Saman P. Amarasinghe (Eds.). ACM, 136\u2013148. 10.1145\/1375581.1375599"},{"key":"e_1_3_2_1_49_1","volume-title":"Constraint-Based Model Refactoring. In Model Driven Engineering Languages and Systems: 14th International Conference (MODELS), Jon Whittle, Tony Clark, and Thomas K\u00fchne (Eds.). Springer, 440\u2013454","author":"Steimann Friedrich","year":"2011","unstructured":"Friedrich Steimann. 2011. Constraint-Based Model Refactoring. In Model Driven Engineering Languages and Systems: 14th International Conference (MODELS), Jon Whittle, Tony Clark, and Thomas K\u00fchne (Eds.). Springer, 440\u2013454. 10.1007\/978-3-642-24485-8_32"},{"key":"e_1_3_2_1_50_1","volume-title":"ECOOP 2011 - Object-Oriented Programming: 25th European Conference, Mira Mezini (Ed.). Springer, 255\u2013280","author":"Steimann Friedrich","year":"2011","unstructured":"Friedrich Steimann, Christian Kollee, and Jens von Pilgrim. 2011. A Refactoring Constraint Language and Its Application to Eiffel. In ECOOP 2011 - Object-Oriented Programming: 25th European Conference, Mira Mezini (Ed.). Springer, 255\u2013280. 10.1007\/978-3-642-22655-7_13"},{"key":"e_1_3_2_1_51_1","volume-title":"Constraint-Based Refactoring with Foresight. In ECOOP 2012 - Object-Oriented Programming: 26th European Conference, James Noble (Ed.). Springer, 535\u2013559","author":"Steimann Friedrich","year":"2012","unstructured":"Friedrich Steimann and Jens von Pilgrim. 2012. Constraint-Based Refactoring with Foresight. In ECOOP 2012 - Object-Oriented Programming: 26th European Conference, James Noble (Ed.). Springer, 535\u2013559. 10.1007\/978-3-642-31057-7_24"},{"key":"e_1_3_2_1_52_1","first-page":"119","volume-title":"Findings of the Association for Computational Linguistics: EMNLP 2023","author":"Tang Zilu","year":"2023","unstructured":"Zilu Tang, Mayank Agarwal, Alexander Shypula, Bailin Wang, Derry Wijaya, Jie Chen, and Yoon Kim. 2023. Explain-then-translate: an analysis on improving program translation with self-generated explanations. In Findings of the Association for Computational Linguistics: EMNLP 2023, Houda Bouamor, Juan Pino, and Kalika Bali (Eds.). Association for Computational Linguistics, Singapore, 1741\u20131788. 10.18653\/v1\/2023.findings-emnlp.119"},{"key":"e_1_3_2_1_53_1","unstructured":"Hugo Touvron Louis Martin Kevin Stone Peter Albert Amjad Almahairi Yasmine Babaei Nikolay Bashlykov Soumya Batra Prajjwal Bhargava Shruti Bhosale Dan Bikel Lukas Blecher Cristian Canton Ferrer Moya Chen Guillem Cucurull David Esiobu Jude Fernandes Jeremy Fu Wenyin Fu Brian Fuller Cynthia Gao Vedanuj Goswami Naman Goyal Anthony Hartshorn Saghar Hosseini Rui Hou Hakan Inan Marcin Kardas Viktor Kerkez Madian Khabsa Isabel Kloumann Artem Korenev Punit Singh Koura Marie-Anne Lachaux Thibaut Lavril Jenya Lee Diana Liskovich Yinghai Lu Yuning Mao Xavier Martinet Todor Mihaylov Pushkar Mishra Igor Molybog Yixin Nie Andrew Poulton Jeremy Reizenstein Rashi Rungta Kalyan Saladi Alan Schelten Ruan Silva Eric Michael Smith Ranjan Subramanian Xiaoqing Ellen Tan Binh Tang Ross Taylor Adina Williams Jian Xiang Kuan Puxin Xu Zheng Yan Iliyan Zarov Yuchen Zhang Angela Fan Melanie Kambadur Sharan Narang Aurelien Rodriguez Robert Stojnic Sergey Edunov and Thomas Scialom. 2023. Llama 2: Open Foundation and Fine-Tuned Chat Models. arXiv:2307.09288 [cs.CL]"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Eelco Visser. 2004. Program Transformation with Stratego\/XT. Rules Strategies Tools and Systems in Stratego\/XT 0.9. Technical Report UU-CS-2004-011. Department of Information and Computing Sciences Utrecht University.","DOI":"10.1007\/978-3-540-25935-0_13"},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering -","volume":"1","author":"Wu Wei","year":"2010","unstructured":"Wei Wu, Yann-Ga\u00ebl Gu\u00e9h\u00e9neuc, Giuliano Antoniol, and Miryung Kim. 2010. AURA: a hybrid approach to identify framework evolution. In Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1\u20138 May 2010, Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, and Sebasti\u00e1n Uchitel (Eds.). ACM, 325\u2013334. 10.1145\/1806799.1806848"},{"key":"e_1_3_2_1_56_1","volume-title":"Hellendoorn","author":"Xu Frank F.","year":"2022","unstructured":"Frank F. Xu, Uri Alon, Graham Neubig, and Vincent J. Hellendoorn. 2022. A Systematic Evaluation of Large Language Models of Code. CoRR abs\/2202.13169 (2022). arXiv:2202.13169 https:\/\/arxiv.org\/abs\/2202.13169"},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. ACM Program. Lang. 5, OOPSLA","author":"Yamaguchi Masaomi","year":"2021","unstructured":"Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang. 2021. Synbit: synthesizing bidirectional programs using unidirectional sketches. Proc. ACM Program. Lang. 5, OOPSLA (2021), 1\u201331. 10.1145\/3485482"},{"key":"e_1_3_2_1_58_1","unstructured":"John Yang Carlos E. Jimenez Alexander Wettig Kilian Lieret Shunyu Yao Karthik Narasimhan and Ofir Press. 2024. SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering. arXiv:2405.15793 [cs.SE]"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Fengji Zhang Bei Chen Yue Zhang Jacky Keung Jin Liu Daoguang Zan Yi Mao Jian-Guang Lou and Weizhu Chen. 2023. RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation. In The 2023 Conference on Empirical Methods in Natural Language Processing. https:\/\/openreview.net\/forum?id=q09vTY1Cqh","DOI":"10.18653\/v1\/2023.emnlp-main.151"},{"key":"e_1_3_2_1_60_1","volume-title":"Validated Code Translation of Entire Projects using Large Language Models. Programming Language Design and Implementation (PLDI)","author":"Zhang Hanliang","year":"2025","unstructured":"Hanliang Zhang, Cristina David, Wang Meng, Brandon Paulsen, and Daniel Kroening. 2025. Scalable, Validated Code Translation of Entire Projects using Large Language Models. Programming Language Design and Implementation (PLDI) (2025)."},{"key":"e_1_3_2_1_61_1","volume-title":"CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part III (Lecture Notes in Computer Science","volume":"482","author":"Zhang Hanliang","year":"2023","unstructured":"Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang. 2023. Ownership Guided C to Rust Translation. In Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part III (Lecture Notes in Computer Science, Vol. 13966), Constantin Enea and Akash Lal (Eds.). Springer, 459\u2013482. 10.1007\/978-3-031-37709-9_22"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2302.05527"},{"key":"e_1_3_2_1_63_1","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (","author":"Zhu Qihao","year":"2024","unstructured":"Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong, Lu Zhang, and Shengyu Cheng. 2024. GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering (, Lisbon, Portugal,) (ICSE '24). Association for Computing Machinery, New York, NY, USA, Article 76, 13 pages. 10.1145\/3597503.3639125"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25"},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:11:56Z","timestamp":1753729916000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728567"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":63,"alternative-id":["10.1145\/3696630.3728567","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728567","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}