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
Formalizing compiler-aware numerical correctness requires distinguishing what an observed floating-point difference means, what compiler behavior the evidence supports, and what nu…