Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?
Optimizing compilers miss profitable transformations when their enabling semantics are absent from the analyzed program representation. We ask whether large language models (LLMs) can recover such semantics from heterogeneous C/C++ context and realize them as validated, contract-preserving artifacts. We introduce SeGaBench, an executable benchmark containing 100 synthetic and 20 source-backed…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
