{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:59:10Z","timestamp":1780502350905,"version":"3.54.1"},"reference-count":10,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2025,1]]},"abstract":"<jats:p> This paper presents a framework that integrates Large Language Models (LLMs) into translation validation, targeting LLVM compiler transformations where formal verification tools fall short. Our framework utilizes the existing tools, like Alive2, to perform initial validation. For transformations deemed unsolvable by traditional methods, our approach leverages fine-tuned LLMs to predict soundness or unsoundness, with subsequent fuzzing applied to identify counterexamples for unsound transformations. Our approach has proven effective in complex scenarios, such as deep-learning accelerator designs, enhancing the reliability of compiler transformations. <\/jats:p>","DOI":"10.1142\/s0218194024500475","type":"journal-article","created":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:05:02Z","timestamp":1725516302000},"page":"45-57","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Translation Validation of Compiler Transformations with Large Language Models"],"prefix":"10.1142","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1314-2262","authenticated-orcid":false,"given":"Yanzhao","family":"Wang","sequence":"first","affiliation":[{"name":"Department of Computer Science, Portland State University, Portland, OR 97201, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7324-3287","authenticated-orcid":false,"given":"Fei","family":"Xie","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Portland State University, Portland, OR 97201, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2024,10,28]]},"reference":[{"key":"S0218194024500475BIB001","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"S0218194024500475BIB002","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054170"},{"key":"S0218194024500475BIB003","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"S0218194024500475BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"S0218194024500475BIB006","first-page":"188","volume-title":"ERTS 2016: Embedded Real Time Software and Systems, 8th Eur. Congress","author":"Leroy X."},{"key":"S0218194024500475BIB008","doi-asserted-by":"publisher","DOI":"10.1109\/ICAA58325.2023.00029"},{"key":"S0218194024500475BIB011","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-020-09548-1"},{"key":"S0218194024500475BIB012","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"S0218194024500475BIB013","doi-asserted-by":"publisher","DOI":"10.1145\/3289602.3293910"},{"key":"S0218194024500475BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/CGO51591.2021.9370308"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194024500475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,14]],"date-time":"2025-01-14T08:08:35Z","timestamp":1736842115000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194024500475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,28]]},"references-count":10,"journal-issue":{"issue":"01","published-print":{"date-parts":[[2025,1]]}},"alternative-id":["10.1142\/S0218194024500475"],"URL":"https:\/\/doi.org\/10.1142\/s0218194024500475","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,28]]}}}