compiler correctness 1empirical evaluation 1floating-point diagnostics 1numerical accuracy 1software testing 1
From the 1 of 4 linked papers with an AI index.
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?
Hailong Jiang, Feng Yu, Emran Hossain +4
Optimizing compilers miss profitable transformations when their enabling semantics are absent from the analyzed program representation. We ask whether large language models (LLMs)…
cs.PL2026
BMOA: Baseline-Mechanism-Outcome Attribution for Compiler-Induced Numerical Deviations
Hailong Jiang, Emran Hossain, Feng Yu +4
The paper presents BMOA, a diagnostic framework that separates baseline, compiler mechanism, and outcome to attribute observed floating-point differences to compiler behavior and n…