Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations
summary
Synchronized Behavior Checking cross-validates pairs of optimizations by mutating programs and checking co-occurring and complementary coordinated behaviors so missed optimizations become observable rather than guessed. SBC runs on LLVM and GCC using the YGIN test generator, finds concrete misses across analyses, and reports reproducible cases: 101 reported, 84 confirmed, 39 fixed/assigned. Results include real-world code clones and measurable runtime and compile-time improvements after fixes.
AI-written summary · about
chapters (7)
- 0:00Synchronized behavior checking
- 2:32Key insight
- 6:21Coordinated optimizations
- 9:57Evaluation on LLVM and GCC
- 11:48Conclusion and future work
- 12:10Q&A: Real-world relevance
- 13:34Q&A: JIT integration
related talks
53mLocknote: How Badly Do We Want Correct Compilers?
16mReconciling Optimization With Secure Compilation
19mFormally Verifying Optimizations with Block Simulations
22mBoosting Compiler Testing by Injecting Real-World Code
15mNot So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse G
53mFrom Within: Compiler Testing and Validation via Compilers
19mExploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the(…)
20mRefined Input, Degraded Output: The Counterintuitive World of Compiler Behavior