Software Engineering

[ISSTA '26] Understanding Correctness Failures in Compiler Optimization

Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?

BMOA: Baseline-Mechanism-Outcome Attribution for Compiler-Induced Numerical Deviations

[FSE '25] Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis