{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:31:15Z","timestamp":1773588675159,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790184","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"1136-1150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["LPO: Discovering Missed Peephole Optimizations with Large Language Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9451-4031","authenticated-orcid":false,"given":"Zhenyang","family":"Xu","sequence":"first","affiliation":[{"name":"Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0926-220X","authenticated-orcid":false,"given":"Hongxu","family":"Xu","sequence":"additional","affiliation":[{"name":"Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1644-2965","authenticated-orcid":false,"given":"Yongqiang","family":"Tian","sequence":"additional","affiliation":[{"name":"Department of Software Systems & Cybersecurity, Monash University, Melbourne, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-6444-5431","authenticated-orcid":false,"given":"Xintong","family":"Zhou","sequence":"additional","affiliation":[{"name":"Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0862-2491","authenticated-orcid":false,"given":"Chengnian","family":"Sun","sequence":"additional","affiliation":[{"name":"Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. InstCombine contributor guide \u2014 LLVM 22.0.0git documentation \u2014 llvm.org. https:\/\/llvm.org\/docs\/InstCombineContributorGuide.html. Accessed 01-08-2025."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. LLVM InstCombine Pull Requests on GitHub. https:\/\/github.com\/llvm\/llvm-project\/pulls?q=is%3Aopen+is%3Apr+label%3Allvm%3Ainstcombine. Accessed 01-08-2025."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. LLVM Language Reference Manual \u2014 LLVM 22.0.0git documentation \u2014 llvm.org. https:\/\/llvm.org\/docs\/LangRef.html. Accessed 01-08-2025."},{"key":"e_1_3_2_1_4_1","volume-title":"CPU 2017 \u2014 spec.org. https:\/\/www.spec.org\/cpu2017\/Docs\/overview.html. Accessed 12-01-2026","author":"Overview","unstructured":"[n. d.]. Overview - CPU 2017 \u2014 spec.org. https:\/\/www.spec.org\/cpu2017\/Docs\/overview.html. Accessed 12-01-2026."},{"key":"e_1_3_2_1_5_1","unstructured":"[n. d.]. The LLVM Compiler Infrastructure Project \u2014 llvm.org. https:\/\/llvm.org. Accessed 01-08-2025"},{"key":"e_1_3_2_1_6_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168906"},{"key":"e_1_3_2_1_8_1","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation, OSDI","author":"Bansal Sorav","year":"2008","unstructured":"Sorav Bansal and Alex Aiken. 2008. Binary Translation Using Peephole Superoptimizers. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 177-192. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/bansal\/bansal.pdf"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179521"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46663-6_9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2309.07062"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502885"},{"key":"e_1_3_2_1_13_1","volume-title":"Crafting a Compiler with C","author":"Fischer Charles N","unstructured":"Charles N Fischer and Richard J LeBlanc Jr. 1991. Crafting a Compiler with C. Benjamin-Cummings Publishing Co., Inc."},{"key":"e_1_3_2_1_14_1","volume-title":"Search-based llms for code optimization. arXiv preprint arXiv:2408.12159","author":"Gao Shuzheng","year":"2024","unstructured":"Shuzheng Gao, Cuiyun Gao, Wenchao Gu, and Michael Lyu. 2024. Search-based llms for code optimization. arXiv preprint arXiv:2408.12159 (2024)."},{"key":"e_1_3_2_1_15_1","volume-title":"Roshanak Zilouchian Moghaddam, and Neel Sundaresan","author":"Garg Spandan","year":"2023","unstructured":"Spandan Garg, Roshanak Zilouchian Moghaddam, and Neel Sundaresan. 2023. Rapgen: An approach for fixing code inefficiencies in zero-shot. arXiv preprint arXiv:2306.17077 (2023)."},{"key":"e_1_3_2_1_16_1","volume-title":"Compiler generated feedback for large language models. arXiv preprint arXiv:2403.14714","author":"Grubisic Dejan","year":"2024","unstructured":"Dejan Grubisic, Chris Cummins, Volker Seeker, and Hugh Leather. 2024. Compiler generated feedback for large language models. arXiv preprint arXiv:2403.14714 (2024)."},{"key":"e_1_3_2_1_17_1","volume-title":"Finding Missed Code Size Optimizations in Compilers using LLMs. arXiv preprint arXiv:2501.00655","author":"Italiano Davide","year":"2024","unstructured":"Davide Italiano and Chris Cummins. 2024. Finding Missed Code Size Optimizations in Compilers using LLMs. arXiv preprint arXiv:2501.00655 (2024)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512566"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_20_1","unstructured":"Chris Arthur Lattner. 2002. LLVM: An infrastructure for multi-stage optimization. Ph.D. Dissertation. University of Illinois at Urbana-Champaign."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689766"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598068"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3504286"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/36177.36194"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/364995.365000"},{"key":"e_1_3_2_1_28_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman. 1998. Differential testing for software. Digital Technical Journal, Vol. 10, 1 (1998), 100-107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884809"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649837"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054170"},{"key":"e_1_3_2_1_33_1","unstructured":"Nikita Popov. 2025. llvm-compile-time-tracker: LLVM compile-time performance tracking infrastructure. https:\/\/github.com\/nikic\/llvm-compile-time-tracker"},{"key":"e_1_3_2_1_34_1","volume-title":"Souper: A synthesizing superoptimizer. arXiv preprint arXiv:1711.04422","author":"Sasnauskas Raimondas","year":"2017","unstructured":"Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Gratian Lup, Jubi Taneja, and John Regehr. 2017. Souper: A synthesizing superoptimizer. arXiv preprint arXiv:1711.04422 (2017)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451150"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507764"},{"key":"e_1_3_2_1_37_1","unstructured":"Yingwei Zheng. 2023. LLVM Opt Benchmark. https:\/\/github.com\/dtcxzyw\/llvm-opt-benchmark. Accessed: 30-12-2025."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2502.06215"}],"event":{"name":"ASPLOS '26: 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T14:05:22Z","timestamp":1773583522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":38,"alternative-id":["10.1145\/3779212.3790184","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790184","relation":{},"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"2026-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}