{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T08:47:40Z","timestamp":1771922860958,"version":"3.50.1"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T00:00:00Z","timestamp":1769817600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T00:00:00Z","timestamp":1769817600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,1,31]]},"DOI":"10.1109\/cgo68049.2026.11395240","type":"proceedings-article","created":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T20:46:32Z","timestamp":1771879592000},"page":"617-629","source":"Crossref","is-referenced-by-count":0,"title":["Compiler-Runtime Co-operative Chain of Verification for LLM-Based Code Optimization"],"prefix":"10.1109","author":[{"given":"Hyunho","family":"Kwon","sequence":"first","affiliation":[{"name":"Yonsei University,Seoul,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanggyu","family":"Shin","sequence":"additional","affiliation":[{"name":"Samsung Advanced Institute of Technology,Suwon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ju Min","family":"Lee","sequence":"additional","affiliation":[{"name":"Yonsei University,Seoul,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoyun","family":"Youm","sequence":"additional","affiliation":[{"name":"Yonsei University,Seoul,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seungbin","family":"Song","sequence":"additional","affiliation":[{"name":"Samsung Advanced Institute of Technology,Suwon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seongho","family":"Kim","sequence":"additional","affiliation":[{"name":"Yonsei University,Seoul,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanwoong","family":"Jung","sequence":"additional","affiliation":[{"name":"Samsung Advanced Institute of Technology,Suwon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seungwon","family":"Lee","sequence":"additional","affiliation":[{"name":"Samsung Advanced Institute of Technology,Suwon,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanjun","family":"Kim","sequence":"additional","affiliation":[{"name":"Yonsei University,Seoul,Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning","year":"2025"},{"key":"ref2","article-title":"Gemini: A Family of Highly Capable Multimodal Models","author":"Anil","year":"2023"},{"key":"ref3","article-title":"Improving Language Understanding by Generative Pre-Training","author":"Radford","year":"2018"},{"key":"ref4","article-title":"LLaMA: Open and Efficient Foundation Language Models","author":"Touvron","year":"2023"},{"key":"ref5","article-title":"Llama 2: Open foundation and fine-tuned chat models","author":"Touvron","year":"2023"},{"key":"ref6","article-title":"Code Llama: Open Foundation Models for Code","author":"Rozi\u00e9re","year":"2023"},{"key":"ref7","article-title":"The Claude 3 Model Family: Opus, Sonnet, Haiku","year":"2024"},{"key":"ref8","article-title":"DeepSeek-Coder: When the Large Language Model Meets Programming \u2013 The Rise of Code Intelligence","author":"Guo","year":"2024"},{"key":"ref9","article-title":"CodeGemma: Open Code Models Based on Gemma","author":"Zhao","year":"2024"},{"key":"ref10","article-title":"StarCoder 2 and The Stack v2: The Next Generation","author":"Lozhkov","year":"2024"},{"key":"ref11","article-title":"Magicoder: empowering code generation with OSS-INSTRUCT","volume-title":"Proceedings of the 41st International Conference on Machine Learning (ICML)","author":"Wei"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3696443.3708929"},{"key":"ref13","article-title":"VecTrans: LLM Transformation Framework for Better Auto-vectorization on High-performance CPU","author":"Zheng","year":"2025"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3708493.3712691"},{"key":"ref15","article-title":"Large Language Models for Compiler Optimization","author":"Cummins","year":"2023"},{"key":"ref16","article-title":"Compiler generated feedback for Large Language Models","author":"Grubisic","year":"2024"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.68"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1086\/260062","article-title":"The Pricing of Options and Corporate Liabilities","volume-title":"Journal of Political Economy","author":"Black","year":"1973"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.2307\/2346830","article-title":"Algorithm AS 136: A K-Means Clustering Algorithm","volume-title":"Journal of the Royal Statistical Society","author":"Hartigan","year":"1979"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1103\/physreve.56.6811"},{"key":"ref23","article-title":"MLGO: a Machine Learning Guided Compiler Optimizations Framework","author":"Trofin","year":"2021"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/jproc.2018.2817118"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232934"},{"key":"ref26","article-title":"ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations","volume-title":"Proceedings of the 38th International Conference on Machine Learning","author":"Cummins"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CGO53902.2022.9741258"},{"key":"ref28","article-title":"Learning compiler pass orders using coreset and normalized value prediction","volume-title":"Proceedings of the 40th International Conference on Machine Learning (ICML)","author":"Liang"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444847"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/PACT52795.2021.00008"},{"key":"ref31","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"OSDI","author":"Cadar"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref33","article-title":"GNU Compiler Collection (GCC)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"ref36","article-title":"SPEC CPU 2017 Benchmark Suite","year":"2017"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3368826.3377928"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996852"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1735971.1736030"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6495001"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908111"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2013.6618831"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3559009.3569663"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2807694"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00026"}],"event":{"name":"2026 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","location":"Sydney, Australia","start":{"date-parts":[[2026,1,31]]},"end":{"date-parts":[[2026,2,4]]}},"container-title":["2026 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11395173\/11394837\/11395240.pdf?arnumber=11395240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T07:42:26Z","timestamp":1771918946000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11395240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,31]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/cgo68049.2026.11395240","relation":{},"subject":[],"published":{"date-parts":[[2026,1,31]]}}}