{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:47:03Z","timestamp":1753357623581,"version":"3.41.0"},"reference-count":101,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T00:00:00Z","timestamp":1732838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ONR","award":["N000142012094, N000142112876, NSF DMR-2239518, NSF CCF-2211750, NSF OAC-2115075, ARPA-H(SP4701-23-C-0074)"],"award-info":[{"award-number":["N000142012094, N000142112876, NSF DMR-2239518, NSF CCF-2211750, NSF OAC-2115075, ARPA-H(SP4701-23-C-0074)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Evol. Learn. Optim."],"published-print":{"date-parts":[[2024,12,31]]},"abstract":"<jats:p>GPUs are used in many settings to accelerate large-scale scientific computation, including simulation, computational biology, and molecular dynamics. However, optimizing codes to run efficiently on GPUs requires developers to have both detailed understanding of the application logic and significant knowledge of parallel programming and GPU architectures. This paper shows that an automated GPU program optimization tool, GEVO, can leverage evolutionary computation to find code edits that reduce the runtime of three important applications, multiple sequence alignment, agent-based simulation and molecular dynamics codes, by 28.9%, 29%, and 17.8% respectively. The paper presents an in-depth analysis of the discovered optimizations, revealing that (1) several of the most important optimizations involve significant epistasis, (2) the primary sources of improvement are application-specific, and (3) many of the optimizations generalize across GPU architectures. In general, the discovered optimizations are not straightforward even for a GPU human expert, showcasing the potential of automated program optimization tools to both reduce the optimization burden for human domain experts and provide new insights for GPU experts.<\/jats:p>","DOI":"10.1145\/3703920","type":"journal-article","created":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T15:54:28Z","timestamp":1731686068000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Evolving to Find Optimizations Humans Miss: Using Evolutionary Computation to Improve GPU Code for Bioinformatics Applications"],"prefix":"10.1145","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2497-7997","authenticated-orcid":false,"given":"Jhe-Yu","family":"Liou","sequence":"first","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1233-1862","authenticated-orcid":false,"given":"Muaaz","family":"Awan","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2360-8700","authenticated-orcid":false,"given":"Kirtus","family":"Leyba","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1565-6769","authenticated-orcid":false,"given":"Petr","family":"\u0160ulc","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3299-472X","authenticated-orcid":false,"given":"Steven","family":"Hofmeyr","sequence":"additional","affiliation":[{"name":"Lawrence Berkeley National Laboratory, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9032-7239","authenticated-orcid":false,"given":"Carole-Jean","family":"Wu","sequence":"additional","affiliation":[{"name":"META, Menlo Park, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5904-1646","authenticated-orcid":false,"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,29]]},"reference":[{"key":"e_1_3_2_2_1","volume-title":"Proceedings of the 12th USENIX Conf. on Operating Systems Design and Implementation","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, et\u00a0al. 2016. TensorFlow: A system for large-scale machine learning. In Proceedings of the 12th USENIX Conf. on Operating Systems Design and Implementation."},{"key":"e_1_3_2_3_1","first-page":"2655","volume-title":"Proceedings of the Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","author":"Ahmad Wasi","year":"2021","unstructured":"Wasi Ahmad, Saikat Chakraborty, Baishakhi Ray, and Kai-Wei Chang. 2021. Unified pre-training for program understanding and generation. In Proceedings of the Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. ACL, 2655\u20132668. Retrieved from https:\/\/www.aclweb.org\/anthology\/2021.naacl-main.211"},{"key":"e_1_3_2_4_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-guided synthesis.","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_5_1","unstructured":"Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski David Dohan Ellen Jiang Carrie Cai Michael Terry Quoc Le et al. 2021. Program synthesis with large language models. arXiv:2108.07732. Retrieved from https:\/\/arxiv.org\/abs\/2108.07732"},{"issue":"1","key":"e_1_3_2_6_1","first-page":"1","article-title":"ADEPT: A domain independent sequence alignment strategy for gpu architectures","volume":"21","author":"Awan Muaaz G","year":"2020","unstructured":"Muaaz G Awan, Jack Deslippe, Aydin Buluc, Oguz Selvitopi, Steven Hofmeyr, Leonid Oliker, and Katherine Yelick. 2020. ADEPT: A domain independent sequence alignment strategy for gpu architectures. BMC Bioinformatics 21, 1 (2020), 1\u201329.","journal-title":"BMC Bioinformatics"},{"issue":"5","key":"e_1_3_2_7_1","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/1168919.1168906","article-title":"Automatic generation of peephole superoptimizers","volume":"34","author":"Bansal Sorav","year":"2006","unstructured":"Sorav Bansal and Alex Aiken. 2006. Automatic generation of peephole superoptimizers. SIGARCH Computer Architecture News 34, 5 (2006), 394\u2013403.","journal-title":"SIGARCH Computer Architecture News"},{"key":"e_1_3_2_8_1","first-page":"123","volume-title":"Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP \u201913)","author":"Barthe Gilles","year":"2013","unstructured":"Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Cesar Kunz, and Mark Marron. 2013. From relational verification to SIMD loop synthesis. In Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP \u201913). ACM, New York, NY, 123\u2013134. DOI: 10.1145\/2442516.2442529"},{"key":"e_1_3_2_9_1","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.44575","volume-title":"Mendel\u2019s Principles of Heredity","author":"Bateson William","year":"1909","unstructured":"William Bateson. 1909. Mendel\u2019s Principles of Heredity. Cambridge University Press, Cambridge."},{"issue":"8","key":"e_1_3_2_10_1","doi-asserted-by":"crossref","first-page":"1139","DOI":"10.1109\/TC.2008.216","article-title":"Formally verified argument reduction with a fused multiply-add","volume":"58","author":"Boldo Sylvie","year":"2008","unstructured":"Sylvie Boldo, Marc Daumas, and Ren-Cang Li. 2008. Formally verified argument reduction with a fused multiply-add. IEEE Transactions on Computers 58, 8 (2008), 1139\u20131145.","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"e_1_3_2_11_1","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1109\/TC.2005.36","article-title":"A new range-reduction algorithm","volume":"54","author":"Brisebarre Nicolas","year":"2005","unstructured":"Nicolas Brisebarre, David Defour, Peter Kornerup, J-M Muller, and Nathalie Revol. 2005. A new range-reduction algorithm. IEEE Transactions on Computers 54, 3 (2005), 331\u2013339.","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_12_1","first-page":"1877","volume-title":"Proceedings of the 34th International Conference on Neural Information Processing Systems","author":"Brown Tom","year":"2020","unstructured":"Tom Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared D. Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, et al. 2020. Language models are few-shot learners. In Proceedings of the 34th International Conference on Neural Information Processing Systems, 1877\u20131901."},{"key":"e_1_3_2_13_1","volume-title":"Proceedings of the Genetic Improvement Workshop at 43rd International Conference on Software Engineering","author":"Brownlee Alexander","year":"2021","unstructured":"Alexander Brownlee, Jason Adair, Saemundur Haraldsson, and John Jabbo. 2021. Exploring the accuracy-energy trade-off in machine learning. In Proceedings of the Genetic Improvement Workshop at 43rd International Conference on Software Engineering. ACM, New York, NY."},{"key":"e_1_3_2_14_1","volume-title":"Proceedings of the 17th Annual Conference on Genetic and Evolutionary Computation","author":"Bruce Bobby R.","year":"2015","unstructured":"Bobby R. Bruce, Justyna Petke, and Mark Harman. 2015. Reducing energy consumption using genetic improvement. In Proceedings of the 17th Annual Conference on Genetic and Evolutionary Computation."},{"issue":"11","key":"e_1_3_2_15_1","doi-asserted-by":"crossref","first-page":"1150","DOI":"10.1109\/TSE.2018.2827066","article-title":"Approximate oracles and synergy in software energy search spaces","volume":"45","author":"Bruce Bobby Ralph","year":"2019","unstructured":"Bobby Ralph Bruce, Justyna Petke, Mark Harman, and Earl T. Barr. 2019. Approximate oracles and synergy in software energy search spaces. IEEE Transactions on Software Engineering 45, 11 (2019), 1150\u20131169.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_16_1","first-page":"300","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization(CGO \u201918)","author":"Buchwald Sebastian","year":"2018","unstructured":"Sebastian Buchwald, Andreas Fried, and Sebastian Hack. 2018. Synthesizing an instruction selection rule library from semantic specifications. In Proceedings of the International Symposium on Code Generation and Optimization (CGO \u201918). ACM, New York, NY, 300\u2013313. DOI: 10.1145\/3168821"},{"key":"e_1_3_2_17_1","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Bunel Rudy","year":"2017","unstructured":"Rudy Bunel, Alban Desmaison, M. Pawan Kumar, Philip H. S. Torr, and Pushmeet Kohli. 2017. Learning to superoptimize programs. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_18_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harri Edwards Yuri Burda Nicholas Joseph Greg Brockman et al. 2021. Evaluating large language models trained on code. arXiv:2107.03374. Retrieved from https:\/\/arxiv.org\/abs\/2107.03374"},{"key":"e_1_3_2_19_1","unstructured":"Tianqi Chen Mu Li Yutian Li Min Lin Naiyan Wang Minjie Wang Tianjun Xiao Bing Xu Chiyuan Zhang and Zheng Zhang. 2015. Mxnet: A flexible and efficient machine learning library for heterogeneous distributed systems. arXiv:1512.01274. Retrieved from https:\/\/arxiv.org\/abs\/1512.01274"},{"key":"e_1_3_2_20_1","first-page":"578","volume-title":"Proceedings of the 13th  \\(\\{\\) USENIX \\(\\}\\)  Symposium on Operating Systems Design and Implementation ( \\(\\{\\) OSDI \\(\\}\\)  18)","author":"Chen Tianqi","year":"2018","unstructured":"Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, et al. 2018. \\(\\{\\) TVM \\(\\}\\) : An automated end-to-end optimizing compiler for deep learning. In Proceedings of the 13th \\(\\{\\) USENIX \\(\\}\\) Symposium on Operating Systems Design and Implementation ( \\(\\{\\) OSDI \\(\\}\\) 18), 578\u2013594."},{"issue":"1","key":"e_1_3_2_21_1","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/3093337.3037754","article-title":"Sound loop superoptimization for google native client","volume":"45","author":"Churchill Berkeley","year":"2017","unstructured":"Berkeley Churchill, Rahul Sharma, J. F. Bastien, and Alex Aiken. 2017. Sound loop superoptimization for google native client. SIGARCH Computer Architecture News 45, 1 (2017), 313\u2013326.","journal-title":"SIGARCH Computer Architecture News"},{"key":"e_1_3_2_22_1","doi-asserted-by":"crossref","unstructured":"Colin B Clement Dawn Drain Jonathan Timcheck Alexey Svyatkovskiy and Neel Sundaresan. 2020. PyMT5: Multi-mode translation of natural language and Python code with transformers. arXiv:2010.03150. Retrieved from https:\/\/arxiv.org\/abs\/2010.03150","DOI":"10.18653\/v1\/2020.emnlp-main.728"},{"key":"e_1_3_2_23_1","unstructured":"Chris Cummins Volker Seeker Dejan Grubisic Mostafa Elhoushi Youwei Liang Baptiste Roziere Jonas Gehring Fabian Gloeckle Kim Hazelwood Gabriel Synnaeve et al. 2023. Large language models for compiler optimization. arXiv:2309.07062. Retrieved from https:\/\/arxiv.org\/abs\/2309.07062"},{"key":"e_1_3_2_24_1","first-page":"1","volume-title":"Proceedings of the Conference for Next Generation Arithmetic,","author":"Dinechin Florent De","year":"2019","unstructured":"Florent De Dinechin, Luc Forget, Jean-Michel Muller, and Yohann Uguen. 2019. Posits: The good, the bad and the ugly. In Proceedings of the Conference for Next Generation Arithmetic, 1\u201310."},{"key":"e_1_3_2_25_1","volume-title":"Proceedings of 3rd International Conference on Software Testing, Verification and Validation","author":"Debroy Vidroha","year":"2010","unstructured":"Vidroha Debroy and W. Eric Wong. 2010. Using mutation to automatically suggest fixes for faulty programs. In Proceedings of 3rd International Conference on Software Testing, Verification and Validation."},{"issue":"47","key":"e_1_3_2_26_1","doi-asserted-by":"crossref","first-page":"20395","DOI":"10.1039\/c3cp53545b","article-title":"Coarse-graining DNA for simulations of DNA nanotechnology","volume":"15","author":"Doye Jonathan P. K.","year":"2013","unstructured":"Jonathan P. K. Doye, Thomas E. Ouldridge, Ard A. Louis, Flavio Romano, Petr \u0160ulc, Christian Matek, Benedict E. K. Snodin, Lorenzo Rovigatti, John S. Schreck, Ryan M. Harrison, et al. 2013. Coarse-graining DNA for simulations of DNA nanotechnology. Physical Chemistry Chemical Physics 15, 47 (2013), 20395\u201320414.","journal-title":"Physical Chemistry Chemical Physics"},{"issue":"1","key":"e_1_3_2_27_1","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1021\/ct300857j","article-title":"OpenMM 4: A reusable, extensible, hardware independent library for high performance molecular simulation","volume":"9","author":"Eastman Peter","year":"2013","unstructured":"Peter Eastman, Mark S. Friedrichs, John D. Chodera, Randall J. Radmer, Christopher M. Bruns, Joy P. Ku, Kyle A. Beauchamp, Thomas J. Lane, Lee-Ping Wang, Diwakar Shukla, et al. 2013. OpenMM 4: A reusable, extensible, hardware independent library for high performance molecular simulation. Journal of Chemical Theory and Computation 9, 1 (2013), 461\u2013469.","journal-title":"Journal of Chemical Theory and Computation"},{"key":"e_1_3_2_28_1","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Evans Richard","year":"2018","unstructured":"Richard Evans, David Saxton, David Amos, Pushmeet Kohli, and Edward Grefenstette. 2018. Can neural networks understand logical entailment?. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_29_1","doi-asserted-by":"crossref","unstructured":"Zhangyin Feng Daya Guo Duyu Tang Nan Duan Xiaocheng Feng Ming Gong Linjun Shou Bing Qin Ting Liu Daxin Jiang et al. 2020. Codebert: A pre-trained model for programming and natural languages. arXiv:2002.08155. Retrieved from https:\/\/arxiv.org\/abs\/2002.08155","DOI":"10.18653\/v1\/2020.findings-emnlp.139"},{"key":"e_1_3_2_30_1","volume-title":"Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation","author":"Forrest Stephanie","year":"2009","unstructured":"Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, and Claire Le Goues. 2009. A genetic programming approach to automated software repair. In Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation."},{"key":"e_1_3_2_31_1","first-page":"1","volume-title":"Proceedings of the Innovative Parallel Computing (InPar)","author":"Grauer-Gray Scott","year":"2012","unstructured":"Scott Grauer-Gray, Lifan Xu, Robert Searles, Sudhee Ayalasomayajula, and John Cavazos. 2012. Auto-tuning a high-level language targeted to GPU codes. In Proceedings of the Innovative Parallel Computing (InPar), 1\u201310. DOI: 10.1109\/InPar.2012.6339595"},{"issue":"6","key":"e_1_3_2_32_1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/1993316.1993506","article-title":"Synthesis of loop-free programs","volume":"46","author":"Gulwani Sumit","year":"2011","unstructured":"Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan. 2011. Synthesis of loop-free programs. ACM SIGPLAN Notices 46, 6 (2011), 62\u201373.","journal-title":"ACM SIGPLAN Notices"},{"issue":"1","key":"e_1_3_2_33_1","first-page":"94","article-title":"Elementary functions: Algorithms and implementation","volume":"34","author":"Henderson Darrall","year":"2000","unstructured":"Darrall Henderson. 2000. Elementary functions: Algorithms and implementation. Mathematics and Computer Education 34, 1 (2000), 94.","journal-title":"Mathematics and Computer Education"},{"key":"e_1_3_2_34_1","volume-title":"Proceedings of the 27th ACM Symp. on Operating Systems Principles (SOSP \u201919)","author":"Jia Zhihao","year":"2019","unstructured":"Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia, and Alex Aiken. 2019. TASO: Optimizing deep learning computation with automatic generation of graph substitutions. In Proceedings of the 27th ACM Symp. on Operating Systems Principles (SOSP \u201919)."},{"issue":"1","key":"e_1_3_2_35_1","first-page":"1","article-title":"BarraCUDA \u2013 A fast short read sequence aligner using graphics processing units","volume":"5","author":"Klus Petr","year":"2012","unstructured":"Petr Klus, Simon Lam, Dag Lyberg, Ming Sin Cheung, Graham Pullan, Ian McFarlane, Giles S. H. Yeo, and Brian Y. H. Lam. 2012. BarraCUDA \u2013 A fast short read sequence aligner using graphics processing units. BMC Research Notes 5, 1 (2012), 1\u20137.","journal-title":"BMC Research Notes"},{"issue":"19","key":"e_1_3_2_36_1","doi-asserted-by":"crossref","first-page":"2494","DOI":"10.1093\/bioinformatics\/btt410","article-title":"SW#\u2013GPU-enabled exact alignments on genome scale","volume":"29","author":"Korpar Matija","year":"2013","unstructured":"Matija Korpar and Mile \u0160iki\u0107. 2013. SW#\u2013GPU-enabled exact alignments on genome scale. Bioinformatics 29, 19 (2013), 2494\u20132495.","journal-title":"Bioinformatics"},{"issue":"2","key":"e_1_3_2_37_1","first-page":"87","article-title":"Genetic programming as a means for programming computers by natural selection","volume":"4","author":"Koza John R.","year":"1994","unstructured":"John R. Koza. 1994. Genetic programming as a means for programming computers by natural selection. Statistics and Computing 4, 2 (1994), 87\u2013112.","journal-title":"Statistics and Computing"},{"key":"e_1_3_2_38_1","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.jcp.2014.04.035","article-title":"PuReMD-GPU: A reactive molecular dynamics simulation package for GPUs","volume":"272","author":"Kylasa Sudhir B.","year":"2014","unstructured":"Sudhir B. Kylasa, Hasan Metin Aktulga, and Ananth Y. Grama. 2014. PuReMD-GPU: A reactive molecular dynamics simulation package for GPUs. The Journal of Computational Physics 272 (2014), 343\u2013359.","journal-title":"The Journal of Computational Physics"},{"key":"e_1_3_2_39_1","volume-title":"Proceedings of IEEE Congress on Evolutionary Computation","author":"Langdon William B.","year":"2010","unstructured":"William B. Langdon and Mark Harman. 2010. Evolving a CUDA kernel from an nVidia template. In Proceedings of IEEE Congress on Evolutionary Computation."},{"key":"e_1_3_2_40_1","volume-title":"Proceedings of the Companion Publication of the 17th Annual Conference on Genetic and Evolutionary Computation","author":"Langdon William B.","year":"2015","unstructured":"William B. Langdon and Mark Harman. 2015. Grow and graft a better CUDA pknotsRG for RNA pseudoknot free energy calculation. In Proceedings of the Companion Publication of the 17th Annual Conference on Genetic and Evolutionary Computation."},{"key":"e_1_3_2_41_1","volume-title":"Proceedings of the 17th Annual Conference on Genetic and Evolutionary Computation","author":"Langdon William B.","year":"2015","unstructured":"William B. Langdon, Brian Yee Hong Lam, Justyna Petke, and Mark Harman. 2015. Improving CUDA DNA analysis software with genetic programming. In Proceedings of the 17th Annual Conference on Genetic and Evolutionary Computation."},{"key":"e_1_3_2_42_1","first-page":"75","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization (CGO \u201904).","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve. 2004. LLVM: A compilation framework for lifelong program analysis & transformation. In Proceedings of the International Symposium on Code Generation and Optimization (CGO \u201904). IEEE, 75\u201386."},{"key":"e_1_3_2_43_1","volume-title":"Proceedings of the 34th International Conference on Software Engineering","author":"Goues Claire Le","year":"2012","unstructured":"Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, and Westley Weimer. 2012. A systematic study of automated program repair: Fixing 55 out of 105 bugs for \\(\\$\\) 8 each. In Proceedings of the 34th International Conference on Software Engineering."},{"issue":"1","key":"e_1_3_2_44_1","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/TSE.2011.104","article-title":"Genprog: A generic method for automatic software repair","volume":"38","author":"Goues Claire Le","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_45_1","first-page":"81","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization","author":"Leather Hugh","year":"2009","unstructured":"Hugh Leather, Edwin Bonilla, and Michael O\u2019Boyle. 2009. Automatic feature generation for machine learning based optimizing compilation. In Proceedings of the International Symposium on Code Generation and Optimization, 81\u201391."},{"key":"e_1_3_2_46_1","volume-title":"Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)","author":"Lee Shin-Ying","year":"2014","unstructured":"Shin-Ying Lee and Carole-Jean Wu. 2014. Characterizing the latency hiding ability of GPUs. In Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)."},{"key":"e_1_3_2_47_1","first-page":"185","volume-title":"Proceedings of the IEEE International Symposium on Workload Characterization (IISWC)","author":"Liou Jhe-Yu","year":"2022","unstructured":"Jhe-Yu Liou, Muaaz Awan, Steven Hofmeyr, Stephanie Forrest, and Carole-Jean Wu. 2022. Understanding the power of evolutionary computation for GPU code optimization. In Proceedings of the IEEE International Symposium on Workload Characterization (IISWC), 185\u2013198. DOI: 10.1109\/IISWC55918.2022.00025"},{"key":"e_1_3_2_48_1","first-page":"20","volume-title":"Proceedings of the IEEE\/ACM International Workshop on Genetic Improvement (GI)","author":"Liou Jhe-Yu","year":"2019","unstructured":"Jhe-Yu Liou, Stephanie Forrest, and Carole-Jean Wu. 2019a. Genetic Improvement of GPU Code. In Proceedings of the IEEE\/ACM International Workshop on Genetic Improvement (GI), 20\u201327. DOI: 10.1109\/GI.2019.00014"},{"key":"e_1_3_2_49_1","volume-title":"Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems: Workshop on Wild and Crazy Ideas (WACI)","author":"Liou Jhe-Yu","year":"2019","unstructured":"Jhe-Yu Liou, Stephanie Forrest, and Carole-Jean Wu. 2019b. Uncovering performance opportunities by relaxing program semantics of GPGPU kernels. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems: Workshop on Wild and Crazy Ideas (WACI)."},{"key":"e_1_3_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3418055"},{"key":"e_1_3_2_51_1","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference Companion","author":"Liou Jhe-Yu","year":"2020","unstructured":"Jhe-Yu Liou, Xiaodong Wang, Stephanie Forrest, and Carole-Jean Wu. 2020b. GEVO-ML: A proposal for optimizing ML code with evolutionary computation. In Proceedings of the Genetic and Evolutionary Computation Conference Companion."},{"issue":"14","key":"e_1_3_2_52_1","doi-asserted-by":"crossref","first-page":"1830","DOI":"10.1093\/bioinformatics\/bts276","article-title":"CUSHAW: A CUDA compatible short read aligner to large genomes based on the Burrows\u2013Wheeler transform","volume":"28","author":"Liu Yongchao","year":"2012","unstructured":"Yongchao Liu, Bertil Schmidt, and Douglas L. Maskell. 2012. CUSHAW: A CUDA compatible short read aligner to large genomes based on the Burrows\u2013Wheeler transform. Bioinformatics 28, 14 (2012), 1830\u20131837.","journal-title":"Bioinformatics"},{"issue":"1","key":"e_1_3_2_53_1","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A deductive approach to program synthesis","volume":"2","author":"Manna Zohar","year":"1980","unstructured":"Zohar Manna and Richard Waldinger. 1980. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems 2, 1 (1980), 90\u2013121.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"e_1_3_2_54_1","first-page":"269","volume-title":"Proceedings of the IEEE\/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)","author":"Marginean Alexandru","year":"2019","unstructured":"Alexandru Marginean, Johannes Bader, Satish Chandra, Mark Harman, Yue Jia, Ke Mao, Alexander Mols, and Andrew Scott. 2019. SapFix: Automated end-to-end repair at scale. In Proceedings of the IEEE\/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, 269\u2013278."},{"key":"e_1_3_2_55_1","first-page":"14598","volume-title":"Proceedings of the 33rd International Conference on Neural Information Processing Systems","author":"Mendis Charith","year":"2019","unstructured":"Charith Mendis, Cambridge Yang, Yewen Pu, Saman Amarasinghe, and Michael Carbin. 2019. Compiler auto-vectorization with imitation learning. In Proceedings of the 33rd International Conference on Neural Information Processing Systems, 14598\u201314609."},{"key":"e_1_3_2_56_1","unstructured":"Microsoft. 2023. Github Copilot. Retrieved from https:\/\/github.com\/features\/copilot"},{"issue":"12","key":"e_1_3_2_57_1","doi-asserted-by":"crossref","first-page":"e1009735","DOI":"10.1371\/journal.pcbi.1009735","article-title":"Spatially distributed infection increases viral load in a computational model of SARS-CoV-2 lung infection","volume":"17","author":"Moses Melanie E.","year":"2021","unstructured":"Melanie E. Moses, Steven Hofmeyr, Judy L. Cannon, Akil Andrews, Rebekah Gridley, Monica Hinga, Kirtus Leyba, Abigail Pribisova, Vanessa Surjadidjaja, Humayra Tasnim, et al. 2021. Spatially distributed infection increases viral load in a computational model of SARS-CoV-2 lung infection. PLoS Computational Biology 17, 12 (2021), e1009735.","journal-title":"PLoS Computational Biology"},{"key":"e_1_3_2_58_1","volume-title":"Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Moura Leonardo De","year":"2008","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems."},{"key":"e_1_3_2_59_1","first-page":"1","article-title":"Parallel implementation of 3D protein structure similarity searches using a GPU and the CUDA","volume":"20","author":"Mrozek Dariusz","year":"2014","unstructured":"Dariusz Mrozek, Mi\u0142osz Bro\u017cek, and Bo\u017cena Ma\u0142ysiak-Mrozek. 2014. Parallel implementation of 3D protein structure similarity searches using a GPU and the CUDA. Journal of molecular modeling 20 (2014), 1\u201317.","journal-title":"Journal of molecular modeling"},{"key":"e_1_3_2_60_1","unstructured":"NERSC. 2024. Cori GPU Nodes. Retrieved from https:\/\/docs-dev.nersc.gov\/cgpu\/hardware\/"},{"key":"e_1_3_2_61_1","unstructured":"Kwok C. Ng. 1992. Argument Reduction for Huge Arguments: Good to the Last Bit. Unpublished draft available from the author (kwok.ng@eng.sun.com)."},{"key":"e_1_3_2_62_1","unstructured":"NVIDIA. 2024. CUDA LLVM Compiler. Retrieved from https:\/\/developer.nvidia.com\/cuda-llvm-compiler\/"},{"key":"e_1_3_2_63_1","unstructured":"NVIDIA. 2024. GPU Boost. Retrieved from https:\/\/www.nvidia.com\/en-us\/geforce\/technologies\/gpu-boost\/technology\/"},{"key":"e_1_3_2_64_1","unstructured":"NVIDIA. 2024. NVIDIA 1080ti GPU. Retrieved from https:\/\/www.nvidia.com\/en-in\/geforce\/products\/10series\/geforce-gtx-1080-ti\/"},{"key":"e_1_3_2_65_1","unstructured":"NVIDIA. 2024. NVIDIA A100 Tensor Core GPU. Retrieved from https:\/\/www.nvidia.com\/en-us\/data-center\/a100\/"},{"key":"e_1_3_2_66_1","unstructured":"NVIDIA. 2024. NVIDIA Tesla P100 GPU. Retrieved from https:\/\/www.nvidia.com\/en-us\/data-center\/tesla-p100\/"},{"key":"e_1_3_2_67_1","unstructured":"NVIDIA. 2024. NVIDIA V100 Tensor Core GPU. Retrieved from https:\/\/www.nvidia.com\/en-us\/data-center\/v100\/"},{"key":"e_1_3_2_68_1","unstructured":"NVIDIA. 2017. Register Cache: Caching for Warp-Centric CUDA Programs. Retrieved from https:\/\/developer.nvidia.com\/blog\/register-cache-warp-cuda\/"},{"key":"e_1_3_2_69_1","unstructured":"NVIDIA. 2018. Using CUDA Warp-Level Primitives. Retrieved from https:\/\/developer.nvidia.com\/blog\/using-cuda-warp-level-primitives\/"},{"key":"e_1_3_2_70_1","first-page":"2967","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","volume":"34","author":"Paliwal Aditya","year":"2020","unstructured":"Aditya Paliwal, Sarah Loos, Markus Rabe, Kshitij Bansal, and Christian Szegedy. 2020. Graph representations for higher-order logic and theorem proving. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 34, 2967\u20132974."},{"issue":"1","key":"e_1_3_2_71_1","first-page":"1","article-title":"Accelerating large-scale protein structure alignments with graphics processing units","volume":"5","author":"Pang Bin","year":"2012","unstructured":"Bin Pang, Nan Zhao, Michela Becchi, Dmitry Korkin, and Chi-Ren Shyu. 2012. Accelerating large-scale protein structure alignments with graphics processing units. BMC Research Notes 5, 1 (2012), 1\u201311.","journal-title":"BMC Research Notes"},{"issue":"4","key":"e_1_3_2_72_1","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s13353-011-0057-x","article-title":"Sequencing technologies and genome sequencing","volume":"52","author":"Pareek Chandra Shekhar","year":"2011","unstructured":"Chandra Shekhar Pareek, Rafal Smoczynski, and Andrzej Tretyn. 2011. Sequencing technologies and genome sequencing. Journal of Applied Genetics 52, 4 (2011), 413\u2013435.","journal-title":"Journal of Applied Genetics"},{"key":"e_1_3_2_73_1","volume-title":"Proceedings of the NeurIPS Autodiff Workshop","author":"Paszke Adam","year":"2017","unstructured":"Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. 2017. Automatic differentiation in PyTorch. In Proceedings of the NeurIPS Autodiff Workshop."},{"key":"e_1_3_2_74_1","volume-title":"Proceedings of the ACM SIGPLAN Conference on Programming language design and implementation","author":"Pettis Karl","year":"1990","unstructured":"Karl Pettis and Robert C. Hansen. 1990. Profile guided code positioning. In Proceedings of the ACM SIGPLAN Conference on Programming language design and implementation."},{"issue":"81","key":"e_1_3_2_75_1","doi-asserted-by":"crossref","first-page":"4693","DOI":"10.21105\/joss.04693","article-title":"oxDNA: Coarse-grained simulations of nucleic acids made simple","volume":"8","author":"Poppleton Erik","year":"2023","unstructured":"Erik Poppleton, Michael Matthies, Debesh Mandal, Flavio Romano, Petr \u0160ulc, and Lorenzo Rovigatti. 2023. oxDNA: Coarse-grained simulations of nucleic acids made simple. Journal of Open Source Software 8, 81 (2023), 4693.","journal-title":"Journal of Open Source Software"},{"issue":"1","key":"e_1_3_2_76_1","doi-asserted-by":"crossref","first-page":"W491","DOI":"10.1093\/nar\/gkab324","article-title":"OxDNA.org: A public webserver for coarse-grained simulations of DNA and RNA nanostructures","volume":"49","author":"Poppleton Erik","year":"2021","unstructured":"Erik Poppleton, Roger Romero, Aatmik Mallya, Lorenzo Rovigatti, and Petr \u0160ulc. 2021. OxDNA.org: A public webserver for coarse-grained simulations of DNA and RNA nanostructures. Nucleic Acids Research 49, W1 (2021), W491\u2013W498.","journal-title":"Nucleic Acids Research"},{"key":"e_1_3_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"issue":"3","key":"e_1_3_2_78_1","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1093\/bib\/bbp073","article-title":"High performance cellular level agent-based simulation with FLAME for the GPU","volume":"11","author":"Richmond Paul","year":"2010","unstructured":"Paul Richmond, Dawn Walker, Simon Coakley, and Daniela Romano. 2010. High performance cellular level agent-based simulation with FLAME for the GPU. Briefings in Bioinformatics 11, 3 (2010), 334\u2013347.","journal-title":"Briefings in Bioinformatics"},{"key":"e_1_3_2_79_1","unstructured":"Nadav Rotem Jordan Fix Saleem Abdulrasool Summer Deng Roman Dzhabarov James Hegeman Roman Levenstein Bert Maher Satish Nadathur Jakob Olesen et al. 2018. Glow: Graph lowering compiler techniques for neural networks. arXiv:1805.00907. Retrieved from https:\/\/arxiv.org\/abs\/1805.00907"},{"issue":"1","key":"e_1_3_2_80_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/jcc.23763","article-title":"A comparison between parallelization approaches in molecular dynamics simulations on GPUs","volume":"36","author":"Rovigatti Lorenzo","year":"2015","unstructured":"Lorenzo Rovigatti, Petr \u0160ulc, Istv\u00e1n Z. Reguly, and Flavio Romano. 2015. A comparison between parallelization approaches in molecular dynamics simulations on GPUs. Journal of Computational Chemistry 36, 1 (2015), 1\u20138.","journal-title":"Journal of Computational Chemistry"},{"issue":"9","key":"e_1_3_2_81_1","doi-asserted-by":"crossref","first-page":"3878","DOI":"10.1021\/ct400314y","article-title":"Routine microsecond molecular dynamics simulations with AMBER on GPUs. 2. Explicit solvent particle mesh Ewald","volume":"9","author":"Salomon-Ferrer Romelia","year":"2013","unstructured":"Romelia Salomon-Ferrer, Andreas W Gotz, Duncan Poole, Scott Le Grand, and Ross C. Walker. 2013. Routine microsecond molecular dynamics simulations with AMBER on GPUs. 2. Explicit solvent particle mesh Ewald. Journal of Chemical Theory and Computation 9, 9 (2013), 3878\u20133888.","journal-title":"Journal of Chemical Theory and Computation"},{"key":"e_1_3_2_82_1","volume-title":"Proceedings of ACM SIGARCH Computer Architecture News","author":"Schkufza Eric","year":"2013","unstructured":"Eric Schkufza, Rahul Sharma, and Alex Aiken. 2013. Stochastic superoptimization. In Proceedings of ACM SIGARCH Computer Architecture News."},{"issue":"6","key":"e_1_3_2_83_1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/2666356.2594302","article-title":"Stochastic optimization of floating-point programs with tunable precision","volume":"49","author":"Schkufza Eric","year":"2014","unstructured":"Eric Schkufza, Rahul Sharma, and Alex Aiken. 2014. Stochastic optimization of floating-point programs with tunable precision. ACM SIGPLAN Notices 49, 6 (2014), 53\u201364.","journal-title":"ACM SIGPLAN Notices"},{"key":"e_1_3_2_84_1","volume-title":"Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Schulte Eric","year":"2014","unstructured":"Eric Schulte, Jonathan Dorn, Stephen Harding, Stephanie Forrest, and Westley Weimer. 2014a. Post-compiler software optimization for reducing energy. In Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems."},{"issue":"3","key":"e_1_3_2_85_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s10710-013-9195-8","article-title":"Software mutational robustness","volume":"15","author":"Schulte Eric","year":"2014","unstructured":"Eric Schulte, Zachary P. Fry, Ethan Fast, Westley Weimer, and Stephanie Forrest. 2014b. Software mutational robustness. Genetic Programming and Evolvable Machines 15, 3 (2014), 281\u2013312.","journal-title":"Genetic Programming and Evolvable Machines"},{"key":"e_1_3_2_86_1","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Selsam Daniel","year":"2019","unstructured":"Daniel Selsam, Matthew Lamm, Benedikt B\u00fcnz, Percy Liang, Leonardo de Moura, and David L. Dill. 2019. Learning a SAT solver from single-bit supervision. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_87_1","volume-title":"Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","author":"Sharma Rahul","year":"2015","unstructured":"Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken. 2015. Conditionally Correct Superoptimization. In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications."},{"key":"e_1_3_2_88_1","volume-title":"Proceedings of the International Conference on Learning Representations","author":"Si Xujie","year":"2019","unstructured":"Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, and Le Song. 2019. Learning a meta-solver for syntax-guided program synthesis. In Proceedings of the International Conference on Learning Representations."},{"key":"e_1_3_2_89_1","volume-title":"Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conf. on Foundations of Software Engineering","author":"Sidiroglou-Douskos Stelios","year":"2011","unstructured":"Stelios Sidiroglou-Douskos, Sasa Misailovic, Henry Hoffmann, and Martin Rinard. 2011. Managing performance vs. accuracy trade-offs with loop perforation. In Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conf. on Foundations of Software Engineering."},{"key":"e_1_3_2_90_1","volume-title":"Proceedings of the SIGGRAPH Asia Conference","author":"Sitthi-Amorn Pitchaya","year":"2011","unstructured":"Pitchaya Sitthi-Amorn, Nicholas Modly, Westley Weimer, and Jason Lawrence. 2011. Genetic programming for shader simplification. In Proceedings of the SIGGRAPH Asia Conference."},{"issue":"1","key":"e_1_3_2_91_1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-2836(81)90087-5","article-title":"Identification of common molecular subsequences","volume":"147","author":"Smith Temple F.","year":"1981","unstructured":"Temple F. Smith, and Michael S. Waterman. 1981. Identification of common molecular subsequences. Journal of Molecular Biology 147, 1 (1981), 195\u2013197.","journal-title":"Journal of Molecular Biology"},{"issue":"23","key":"e_1_3_2_92_1","first-page":"06B613_1","article-title":"Introducing improved structural properties and salt dependence into a coarse-grained model of DNA","volume":"142","author":"Snodin Benedict E. K.","year":"2015","unstructured":"Benedict E. K. Snodin, Ferdinando Randisi, Majid Mosayebi, Petr \u0160ulc, John S. Schreck, Flavio Romano, Thomas E. Ouldridge, Roman Tsukanov, Eyal Nir, Ard A. Louis, et al. 2015. Introducing improved structural properties and salt dependence into a coarse-grained model of DNA. The Journal of Chemical Physics 142, 23 (2015), 06B613_1.","journal-title":"The Journal of Chemical Physics"},{"key":"e_1_3_2_93_1","first-page":"1","article-title":"Fast and accurate protein substructure searching with simulated annealing and GPUs","volume":"11","author":"Stivala Alex D.","year":"2010","unstructured":"Alex D. Stivala, Peter J. Stuckey, and Anthony I. Wirth. 2010. Fast and accurate protein substructure searching with simulated annealing and GPUs. BMC Bioinformatics 11 (2010), 1\u201317.","journal-title":"BMC Bioinformatics"},{"issue":"23","key":"e_1_3_2_94_1","first-page":"06B614_1","article-title":"A nucleotide-level coarse-grained model of RNA","volume":"140","author":"\u0160ulc Petr","year":"2014","unstructured":"Petr \u0160ulc, Flavio Romano, Thomas E. Ouldridge, Jonathan P. K. Doye, and Ard A. Louis. 2014. A nucleotide-level coarse-grained model of RNA. The Journal of Chemical Physics 140, 23 (2014), 06B614_1.","journal-title":"The Journal of Chemical Physics"},{"key":"e_1_3_2_95_1","unstructured":"TensorFlow. 2018. XLA Is a Compiler That Optimizes TensorFlow Computations. Retrieved from https:\/\/www.tensorflow.org\/xla\/"},{"key":"e_1_3_2_96_1","unstructured":"Hugo Touvron Louis Martin Kevin Stone Peter Albert Amjad Almahairi Yasmine Babaei Nikolay Bashlykov Soumya Batra Prajjwal Bhargava Shruti Bhosale et al. 2023. Llama 2: Open foundation and fine-tuned chat models. arXiv:2307.09288. Retrieved from https:\/\/arxiv.org\/abs\/2307.09288"},{"key":"e_1_3_2_97_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.08.004"},{"key":"e_1_3_2_98_1","first-page":"406","volume-title":"Proceedings of the 1st Annual Conference on Genetic Programming","author":"Walsh Paul","year":"1996","unstructured":"Paul Walsh and Conor Ryan. 1996. Paragen: a novel technique for the autoparallelisation of sequential programs using gp. In Proceedings of the 1st Annual Conference on Genetic Programming, 406\u2013409."},{"key":"e_1_3_2_99_1","doi-asserted-by":"crossref","unstructured":"Yue Wang Weishi Wang Shafiq Joty and Steven C. H. Hoi. 2021. Codet5: Identifier-aware unified pre-trained encoder-decoder models for code understanding and generation. arXiv:2109.00859. Retrieved from https:\/\/arxiv.org\/abs\/2109.00859","DOI":"10.18653\/v1\/2021.emnlp-main.685"},{"key":"e_1_3_2_100_1","volume-title":"Proceedings of the 31st International Conference on Software Engineering","author":"Weimer Westley","year":"2009","unstructured":"Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009. Automatically finding patches using genetic programming. In Proceedings of the 31st International Conference on Software Engineering."},{"issue":"4","key":"e_1_3_2_101_1","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1109\/TEVC.2010.2083669","article-title":"Evolutionary improvement of programs","volume":"15","author":"White David R.","year":"2011","unstructured":"David R. White, Andrea Arcuri, and John A. Clark. 2011. Evolutionary improvement of programs. IEEE Transactions on Evolutionary Computation 15, 4 (2011), 515\u2013538.","journal-title":"IEEE Transactions on Evolutionary Computation"},{"issue":"10","key":"e_1_3_2_102_1","doi-asserted-by":"crossref","first-page":"1040","DOI":"10.1109\/TSE.2018.2874648","article-title":"ARJA: Automated repair of java programs via multi-objective genetic programming","volume":"46","author":"Yuan Yuan","year":"2020","unstructured":"Yuan Yuan and Wolfgang Banzhaf. 2020. ARJA: Automated repair of java programs via multi-objective genetic programming. Transactions on Software Engineering 46, 10 (2020), 1040\u20131067.","journal-title":"Transactions on Software Engineering"}],"container-title":["ACM Transactions on Evolutionary Learning and Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3703920","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3703920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:06Z","timestamp":1750295886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3703920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,29]]},"references-count":101,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12,31]]}},"alternative-id":["10.1145\/3703920"],"URL":"https:\/\/doi.org\/10.1145\/3703920","relation":{},"ISSN":["2688-3007"],"issn-type":[{"type":"electronic","value":"2688-3007"}],"subject":[],"published":{"date-parts":[[2024,11,29]]},"assertion":[{"value":"2023-06-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-10-30","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-11-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}