{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:09:32Z","timestamp":1784196572228,"version":"3.55.0"},"reference-count":114,"publisher":"Association for Computing Machinery (ACM)","issue":"PLDI","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,6,10]]},"abstract":"<jats:p>Data races are a prevalent class of concurrency bugs in shared-memory parallel programs, posing significant challenges to software reliability and reproducibility. While there is an extensive body of research on detecting data races and a wealth of practical detection tools across various programming languages, considerably less effort has been directed toward automatically fixing data races at an industrial scale. In large codebases, data races are continuously introduced and exhibit myriad patterns, making automated fixing particularly challenging.<\/jats:p>\n                  <jats:p>\n                    In this paper, we tackle the problem of automatically fixing data races at an industrial scale. We present\n                    <jats:sc>Dr.Fix<\/jats:sc>\n                    , a tool that combines large language models (LLMs) with program analysis to generate fixes for data races in real-world settings, effectively addressing a broad spectrum of racy patterns in complex code contexts. Implemented for Go\u2014the programming language widely used in modern microservice architectures where concurrency is pervasive and data races are common\u2014\n                    <jats:sc>Dr.Fix<\/jats:sc>\n                    seamlessly integrates into existing development workflows. We detail the design of\n                    <jats:sc>Dr.Fix<\/jats:sc>\n                    and examine how individual design choices influence the quality of the fixes produced. Over the past 18 months,\n                    <jats:sc>Dr.Fix<\/jats:sc>\n                    has been integrated into developer workflows at Uber demonstrating its practical utility. During this period,\n                    <jats:sc>Dr.Fix<\/jats:sc>\n                    produced patches for 224 (55%) from a corpus of 404 data races spanning various categories; 193 of these patches (86%) were accepted by more than a hundred developers via code reviews and integrated into the codebase.\n                  <\/jats:p>","DOI":"10.1145\/3729265","type":"journal-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T16:02:27Z","timestamp":1749830547000},"page":"475-502","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["DR.FIX: Automatically Fixing Data Races at Industry Scale"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6099-7432","authenticated-orcid":false,"given":"Farnaz","family":"Behrang","sequence":"first","affiliation":[{"name":"Uber Technologies, Sunnyvale, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5517-6308","authenticated-orcid":false,"given":"Zhizhou","family":"Zhang","sequence":"additional","affiliation":[{"name":"Uber Technologies, Sunnyvale, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-1714-3866","authenticated-orcid":false,"given":"Georgian-Vlad","family":"Saioc","sequence":"additional","affiliation":[{"name":"Aarhus University, Aarhus, Denmark"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7814-9372","authenticated-orcid":false,"given":"Peng","family":"Liu","sequence":"additional","affiliation":[{"name":"Uber Technologies, New York City, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1021-7644","authenticated-orcid":false,"given":"Milind","family":"Chabbi","sequence":"additional","affiliation":[{"name":"Uber Technologies, Sunnyvale, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_2_2","unstructured":"[n. d.]. ChromaDB. https:\/\/www.trychroma.com\/. (Accessed on 11\/10\/2024)."},{"key":"e_1_3_2_3_2","unstructured":"[n.d.]. Hello GPT-4o | OpenAI. https:\/\/openai.com\/index\/hello-gpt-4o\/. (Accessed on 11\/10\/2024)."},{"key":"e_1_3_2_4_2","unstructured":"[n.d.]. Introducing OpenAI o1 | OpenAI. https:\/\/openai.com\/index\/introducing-openai-o1-preview\/. (Accessed on 11\/10\/2024)."},{"key":"e_1_3_2_5_2","unstructured":"[n. d.]. New models and developer products announced at DevDay | OpenAI. https:\/\/openai.com\/index\/new-models-and-developer-products-announced-at-devday\/. (Accessed on 11\/10\/2024)."},{"key":"e_1_3_2_6_2","article-title":"GPT-4 technical report.","author":"Achiam Josh","year":"2023","unstructured":"Josh Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman, Diogo Almeida, Janko Altenschmidt, Sam Altman, Shyamal Anadkat, et al.. 2023. GPT-4 technical report. arXivpreprint arXiv:2303.08774 (2023).","journal-title":"arXivpreprint arXiv:2303.08774"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.68"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"e_1_3_2_9_2","first-page":"10","article-title":"Valor: Efficient, software-only region conflict exceptions","volume":"50","author":"Biswas Swarnendu","year":"2015","unstructured":"Swarnendu Biswas, Minjia Zhang, Michael D Bond, and Brandon Lucia. 2015. Valor: Efficient, software-only region conflict exceptions. ACM SIGPLANNotices 50, 10 (2015), 241\u2013259.","journal-title":"ACM SIGPLANNotices"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3276514"},{"key":"e_1_3_2_11_2","first-page":"6","article-title":"Adve. 2008. Foundations of the C++ concurrency memory model.","volume":"43","author":"Boehm Hans-J","year":"2008","unstructured":"Hans-J Boehm and Sarita V Adve. 2008. Foundations of the C++ concurrency memory model. ACM SIGPLAN Notices 43, 6 (2008), 68\u201378.","journal-title":"ACM SIGPLAN Notices"},{"key":"e_1_3_2_12_2","article-title":"Repairagent: An autonomous, LLM-based agent for program repair","author":"Bouzenia Islem","year":"2024","unstructured":"Islem Bouzenia, Premkumar Devanbu, and Michael Pradel. 2024. Repairagent: An autonomous, LLM-based agent for program repair. arXivpreprint arXiv:2403.17134 (2024).","journal-title":"arXivpreprint arXiv:2403.17134"},{"key":"e_1_3_2_13_2","first-page":"119","volume-title":"Proceedings of the Linux Symposium","author":"Boyd-Wickizer Silas","year":"2012","unstructured":"Silas Boyd-Wickizer, M Frans Kaashoek, Robert Morris, andNickolai Zeldovich. 2012. Non-scalable locks are dangerous. In Proceedings of the Linux Symposium. Citeseer, 119\u2013130."},{"key":"e_1_3_2_14_2","article-title":"Language models are few-shot learners.","author":"Brown Tom B","year":"2020","unstructured":"Tom B Brown. 2020. Language models are few-shot learners. arXiv preprint arXiv:2005.14165 (2020).","journal-title":"arXiv preprint arXiv:2005.14165"},{"key":"e_1_3_2_15_2","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, Dawson R Engler, et al.. 2008. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, Vol. 8. 209\u2013224.","journal-title":"OSDI,"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093165"},{"key":"e_1_3_2_17_2","first-page":"474","article-title":"Ramanathan.","author":"Chabbi Milind","year":"2022","unstructured":"Milind Chabbi and Murali Krishna Ramanathan. 2022. A study of real-world data races in Golang. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 474\u2013489.","journal-title":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094852"},{"key":"e_1_3_2_19_2","first-page":"106","article-title":"An extended polyhedral model for SPMD programs and its use in static data race detection.","author":"Chatarasi Prasanth","year":"2017","unstructured":"Prasanth Chatarasi, Jun Shirako, Martin Kong, and Vivek Sarkar. 2017. An extended polyhedral model for SPMD programs and its use in static data race detection. In Languages and Compilers for Parallel Computing: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, RevisedPapers 29. Springer, 106\u2013120.","journal-title":"Languages and Compilers for Parallel Computing: 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, RevisedPapers 29"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2012.40"},{"key":"e_1_3_2_21_2","first-page":"298","article-title":"Detecting data races in Cilk programs that use locks","author":"Cheng Guang-Ien","year":"1998","unstructured":"Guang-Ien Cheng, Mingdong Feng, Charles E Leiserson, Keith H Randall, and Andrew F Stark. 1998. Detecting data races in Cilk programs that use locks. In Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures. 298\u2013309.","journal-title":"Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3546942"},{"key":"e_1_3_2_23_2","unstructured":"David Chase and Russ Cox. 2023. Fixing For Loops in Go 1.22. https:\/\/go.dev\/blog\/loopvar-preview. (Accessed on 11\/07\/2024)."},{"key":"e_1_3_2_24_2","unstructured":"Go developers. 2022. The Go Memory Model. https:\/\/go.dev\/ref\/mem. (Accessed on 11\/06\/2024)."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508263"},{"key":"e_1_3_2_26_2","article-title":"The llama 3 herd of models.","author":"Dubey Abhimanyu","year":"2024","unstructured":"Abhimanyu Dubey, Abhinav Jauhri, Abhinav Pandey, Abhishek Kadian, Ahmad Al-Dahle, Aiesha Letman, Akhil Mathur, Alan Schelten, Amy Yang, Angela Fan, et al.. 2024. The llama 3 herd of models. arXiv preprint arXiv:2407.21783 (2024).","journal-title":"arXiv preprint arXiv:2407.21783"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/1165389.945468"},{"key":"e_1_3_2_28_2","first-page":"1","article-title":"Leiserson.","author":"Feng Mingdong","year":"1997","unstructured":"Mingdong Feng and Charles E Leiserson. 1997. Efficient detection of determinacy races in Cilk programs. In Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures. 1\u201311.","journal-title":"Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542490"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277725"},{"key":"e_1_3_2_31_2","first-page":"424","volume-title":"Software Engineering, Business Continuity, and Education: International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings","author":"Ok-Kyoon Ha","year":"2011","unstructured":"Ok-Kyoon Ha and Yong-Kee Jun. 2011. Efficient thread labeling for on-the-fly race detection of programs with nested parallelism. In Software Engineering, Business Continuity, and Education: International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings. Springer, 424\u2013436."},{"key":"e_1_3_2_32_2","first-page":"1","article-title":"On-the-fly detection of data races in OpenMP programs.","author":"Ok-Kyoon Ha","year":"2012","unstructured":"Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, and Yong-Kee Jun. 2012. On-the-fly detection of data races in OpenMP programs. In Proceedings of the 2012 workshop on parallel and distributed systems: Testing, analysis, and debugging. 1\u201310.","journal-title":"Proceedings of the 2012 workshop on parallel and distributed systems: Testing, analysis, and debugging"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594315"},{"key":"e_1_3_2_35_2","unstructured":"Imperva. 2024. Race Condition. https:\/\/www.imperva.com\/learn\/application-security\/race-condition. (Accessed on 11\/06\/2024)."},{"key":"e_1_3_2_36_2","unstructured":"Intel Corporation. 2023. Intel Transactional Synchronization Extension (Intel TSX) Disable Update for Selected Processors. Technical White Paper Document 643557 Revision 2.3. Intel Corporation. https:\/\/cdrdv2.intel.com\/v1\/dl\/getContent\/643557"},{"key":"e_1_3_2_37_2","article-title":"Early notice: GenAI-based Datarace Fix for Real-World Golang Programs","author":"Jin Feiyang","year":"2023","unstructured":"Feiyang Jin, Zhizhou Zhang, Rajkishore Barik, Gautam Korlam, and Milind Chabbi. 2023. Early notice: GenAI-based Datarace Fix for Real-World Golang Programs. Workshop on ML for Systems at NeurIPS (2023).","journal-title":"Workshop on ML for Systems at NeurIPS"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"e_1_3_2_39_2","first-page":"221","article-title":"Automated Concurrency-Bug Fixing.","author":"Jin Guoliang","year":"2012","unstructured":"Guoliang Jin, Wei Zhang, andDongdong Deng. 2012. Automated Concurrency-Bug Fixing. In 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI12). 221\u2013236.","journal-title":"10th USENIX Symposium on Operating Systems Design and Implementation (OSDI12)"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613892"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_26"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522736"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.lindif.2023.102274"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39955-8_7"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771798"},{"key":"e_1_3_2_46_2","first-page":"26","article-title":"Data race detection on compressed traces.","author":"Kini Dileep","year":"2018","unstructured":"Dileep Kini, Umang Mathur, and Mahesh Viswanathan. 2018. Data race detection on compressed traces. In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 26\u201337.","journal-title":"Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering."},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/3399742"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273658"},{"key":"e_1_3_2_49_2","article-title":"Dynamic data-race detection through the finegrained lens","author":"Kulkarni Rucha","year":"2021","unstructured":"Rucha Kulkarni, Umang Mathur, and Andreas Pavlogiannis. 2021. Dynamic data-race detection through the finegrained lens. arXiv preprint arXiv:2107.03569 (2021).","journal-title":"arXiv preprint arXiv:2107.03569"},{"key":"e_1_3_2_50_2","first-page":"1","article-title":"Genprog: A generic method for automatic software repair","volume":"38","author":"Claire Le Goues","year":"2011","unstructured":"Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer. 2011. Genprog: A generic method for automatic software repair. Ieee transactions on software engineering 38, 1 (2011), 54\u201372.","journal-title":"Ieee transactions on software engineering"},{"key":"e_1_3_2_51_2","first-page":"12","article-title":"Automated program repair","volume":"62","author":"Claire Le Goues","year":"2019","unstructured":"Claire Le Goues, Michael Pradel, and Abhik Roychoudhury. 2019. Automated program repair. Commun. ACM 62, 12 (2019), 56\u201365.","journal-title":"Commun. ACM"},{"key":"e_1_3_2_52_2","article-title":"Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks.","author":"Lewis Patrick","year":"2021","unstructured":"Patrick Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich KAdttler, Mike Lewis, Wen tau Yih, Tim RocktA\u20acschel, Sebastian Riedel, and Douwe Kiela. 2021. Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks. arXiv:2005.11401 [cs.CL] https:\/\/arxiv.org\/abs\/2005.11401","journal-title":"arXiv:2005.11401 [cs.CL]"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359638"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238198"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/3357033"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950309"},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00638"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446756"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446756"},{"key":"e_1_3_2_62_2","first-page":"10","article-title":"Modular and verified automatic program repair","volume":"47","author":"Logozzo Francesco","year":"2012","unstructured":"Francesco Logozzo and Thomas Ball. 2012. Modular and verified automatic program repair. ACM SIGPLANNotices 47, 10 (2012), 133\u2013146.","journal-title":"ACM SIGPLANNotices"},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_64_2","first-page":"18","article-title":"Wilson.","author":"Lotfi Sanae","year":"2024","unstructured":"Sanae Lotfi, Marc Finzi, Yilun Kuang, Tim G. J. Rudner, Micah Goldblum, and Andrew Gordon Wilson. 2024. Non- vacuous generalization bounds for large language models. In Proceedings of the 41st International Conference on Machine Learning (Vienna, Austria) (ICML\u201924). JMLR.org, Article 1332, 18 pages.","journal-title":"Proceedings of the 41st International Conference on Machine Learning (Vienna, Austria) (ICML\u201924). JMLR.org, Article 1332"},{"key":"e_1_3_2_65_2","first-page":"329","article-title":"Learning from mistakes: a comprehensive study on real world concurrency bug characteristics","author":"Shan Lu","year":"2008","unstructured":"Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. 2008. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In Proceedings of the 13th international conference on Architectural support for programming languages and operating systems. 329\u2013339.","journal-title":"Proceedings of the 13th international conference on Architectural support for programming languages and operating systems"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040336"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"e_1_3_2_69_2","first-page":"1","article-title":"What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection","author":"Mathur Umang","year":"2018","unstructured":"Umang Mathur, Dileep Kini, and Mahesh Viswanathan. 2018. What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection. Proceedings of the ACM on Programming Languages 2, OOPSLA (2018), 1\u201329.","journal-title":"Proceedings of the ACM on Programming Languages 2, OOPSLA"},{"key":"e_1_3_2_70_2","article-title":"Memory barriers: a hardware view for software hackers","author":"McKenney Paul E","year":"2010","unstructured":"Paul E McKenney. 2010. Memory barriers: a hardware view for software hackers. Linux Technology Center, IBM Beaverton (2010).","journal-title":"Linux Technology Center, IBM Beaverton"},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606602"},{"key":"e_1_3_2_75_2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/781498.781528","article-title":"Hybrid dynamic data race detection.","author":"Robert O\u2019callahan","year":"2003","unstructured":"Robert O\u2019callahan and Jong-Deok Choi. 2003. Hybrid dynamic data race detection. In Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming. 167\u2013178.","journal-title":"Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming"},{"key":"e_1_3_2_76_2","unstructured":"OpenMp Org. 2021. https:\/\/www.openmp.org\/wp-content\/uploads\/OpenMP-API-Specification-5-2.pdf."},{"key":"e_1_3_2_77_2","article-title":"Fine-tuning or retrieval? comparing knowledge injection in llms","author":"Ovadia Oded","year":"2023","unstructured":"Oded Ovadia, Menachem Brief, Moshik Mishaeli, and Oren Elisha. 2023. Fine-tuning or retrieval? comparing knowledge injection in llms. arXivpreprint arXiv:2312.05934 (2023).","journal-title":"arXivpreprint arXiv:2312.05934"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/781498.781529"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","DOI":"10.1145\/1889997.1890000"},{"key":"e_1_3_2_81_2","unstructured":"Alec Radford. 2018. Improving language understanding by generative pre-training. (2018)."},{"issue":"8","key":"e_1_3_2_82_2","first-page":"9","article-title":"2019. Language models are unsupervised multitask learners.","volume":"1","author":"Radford Alec","year":"2019","unstructured":"Alec Radford, Jeffrey Wu, Rewon Child, David Luan, Dario Amodei, Ilya Sutskever, et al.. 2019. Language models are unsupervised multitask learners. OpenAI blog 1, 8 (2019), 9.","journal-title":"OpenAI blog"},{"key":"e_1_3_2_83_2","first-page":"140","article-title":"Liu. 2020. Exploring the limits of transfer learning with a unified text-to-text transformer.","volume":"21","author":"Raffel Colin","year":"2020","unstructured":"Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, and Peter J Liu. 2020. Exploring the limits of transfer learning with a unified text-to-text transformer. Journal of machine learning research 21, 140 (2020), 1\u201367.","journal-title":"Journal of machine learning research"},{"key":"e_1_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2001.991127"},{"key":"e_1_3_2_85_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0143-7"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254127"},{"key":"e_1_3_2_87_2","doi-asserted-by":"crossref","unstructured":"Nils Reimers and Iryna Gurevych. 2019. Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks. In Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics. https:\/\/arxiv.org\/abs\/1908.10084","DOI":"10.18653\/v1\/D19-1410"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192385"},{"key":"e_1_3_2_89_2","article-title":"Code llama: Open foundation models for code","author":"Roziere Baptiste","year":"2023","unstructured":"Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Romain Sauvestre, Tal Remez, et al.. 2023. Code llama: Open foundation models for code. arXiv preprint arXiv:2308.12950 (2023).","journal-title":"arXiv preprint arXiv:2308.12950"},{"key":"e_1_3_2_90_2","article-title":"Dynamic Partial Deadlock Detection and Recovery via Garbage Collection.","author":"Saioc Georgian-Vlad","year":"2025","unstructured":"Georgian-Vlad Saioc, I-Ting Angelina Lee, Anders Moller, and Milind Chabbi. 2025. Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. In Proceedings ofthe30thACMInternational Conference on Architectural Support for Programming Languages and Operating Systems.","journal-title":"Proceedings ofthe30thACMInternational Conference on Architectural Support for Programming Languages and Operating Systems"},{"key":"e_1_3_2_91_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444835"},{"key":"e_1_3_2_92_2","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737998"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_94_2","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"e_1_3_2_95_2","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_96_2","first-page":"1","article-title":"Optimistic Prediction of Synchronization-Reversal Data Races.","author":"Shi Zheng","year":"2024","unstructured":"Zheng Shi, Umang Mathur, and Andreas Pavlogiannis. 2024. Optimistic Prediction of Synchronization-Reversal Data Races. In Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering. 1\u201313.","journal-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"},{"key":"e_1_3_2_97_2","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103702"},{"key":"e_1_3_2_98_2","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594335"},{"key":"e_1_3_2_99_2","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693489"},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304069"},{"key":"e_1_3_2_101_2","unstructured":"Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan N. Gomez Lukasz Kaiser and Illia Polosukhin. 2023. Attention Is All You Need. arXiv:1706.03762 [cs.CL] https:\/\/arxiv.org\/abs\/1706.03762"},{"key":"e_1_3_2_102_2","first-page":"205","article-title":"RELAY: static race detection on millions of lines of code","author":"Wen Voung Jan","year":"2007","unstructured":"Jan Wen Voung, Ranjit Jhala, and Sorin Lerner. 2007. RELAY: static race detection on millions of lines of code. In Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. 205\u2013214.","journal-title":"Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering"},{"key":"e_1_3_2_103_2","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480913"},{"key":"e_1_3_2_104_2","article-title":"Emergent abilities of large language models.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Yi Tay, Rishi Bommasani, Colin Raffel, Barret Zoph, Sebastian Borgeaud, Dani Yogatama, Maarten Bosma Denny Zhou, Donald Metzler, et al.. 2022. Emergent abilities of large language models. arXiv preprint arXiv:2206.07682 (2022).","journal-title":"arXiv preprint arXiv:2206.07682"},{"key":"e_1_3_2_105_2","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"e_1_3_2_106_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616271"},{"key":"e_1_3_2_107_2","first-page":"364","article-title":"Automatically finding patches using genetic programming.","author":"Weimer Westley","year":"2009","unstructured":"Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009. Automatically finding patches using genetic programming. In 2009 IEEE 31st International Conference on Software Engineering. IEEE, 364\u2013374.","journal-title":"2009 IEEE 31st International Conference on Software Engineering. IEEE"},{"key":"e_1_3_2_108_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_109_2","first-page":"1482","article-title":"Automated program repair in the era of large pre-trained language models.","author":"Steven Xia Chunqiu","year":"2023","unstructured":"Chunqiu Steven Xia, Yuxiang Wei, and Lingming Zhang. 2023. Automated program repair in the era of large pre-trained language models. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 1482\u20131494.","journal-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE"},{"key":"e_1_3_2_110_2","first-page":"819","article-title":"Automated program repair via conversation: Fixing 162 out of 337 bugs for $0.42 each using chatgpt","author":"Steven Xia Chunqiu","year":"2024","unstructured":"Chunqiu Steven Xia and Lingming Zhang. 2024. Automated program repair via conversation: Fixing 162 out of 337 bugs for $0.42 each using chatgpt. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. 819\u2013831.","journal-title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"},{"key":"e_1_3_2_111_2","first-page":"2","article-title":"A brief survey of program slicing","volume":"30","author":"Baowen Xu","year":"2005","unstructured":"Baowen Xu, Ju Qian, Xiaofang Zhang, Zhongqiang Wu, and Lin Chen. 2005. A brief survey of program slicing. ACM SIGSOFT Software Engineering Notes 30, 2 (2005), 1\u201336.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"e_1_3_2_112_2","article-title":"Tree of thoughts: Deliberate problem solving with large language models","volume":"36","author":"Yao Shunyu","year":"2024","unstructured":"Shunyu Yao, Dian Yu, Jeffrey Zhao, Izhak Shafran, Tom Griffiths, Yuan Cao, and Karthik Narasimhan. 2024. Tree of thoughts: Deliberate problem solving with large language models. Advances in Neural Information Processing Systems 36 (2024).","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_113_2","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503232"},{"key":"e_1_3_2_114_2","first-page":"221","article-title":"Racetrack: efficient detection of data race conditions via adaptive tracking","author":"Yuan Yu","year":"2005","unstructured":"Yuan Yu, Tom Rodeheffer, and Wei Chen. 2005. Racetrack: efficient detection of data race conditions via adaptive tracking. In Proceedings of the twentieth ACM symposium on Operating systems principles. 221\u2013234.","journal-title":"Proceedings of the twentieth ACM symposium on Operating systems principles"},{"key":"e_1_3_2_115_2","unstructured":"Zhizhou Zhang Milind Chabbi Adam Welc and Timothy Sherwood. 2021. Optimistic Concurrency Control for Real-world Go Programs. In 2021 USENIXAnnual Technical Conference (USENIXATC21). USENIX Association 939-955. https:\/\/www.usenix.org\/conference\/atc21\/presentation\/zhang-zhizhou"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3729265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:00:57Z","timestamp":1784196057000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3729265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,10]]},"references-count":114,"journal-issue":{"issue":"PLDI","published-print":{"date-parts":[[2025,6,10]]}},"alternative-id":["10.1145\/3729265"],"URL":"https:\/\/doi.org\/10.1145\/3729265","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,10]]},"assertion":[{"value":"2024-11-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-03-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}