Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch this 14-minute conference presentation from OOPSLA 2025 that introduces Synchronized Behavior Checking (SBC), a novel automated technique for detecting missed compiler optimizations. Learn how SBC cross-validates multiple optimizations by leveraging their coordinated behaviors, using the key insight that the outcome of one optimization can validate whether conditions for another optimization were met. Discover the two types of relationships SBC exploits: co-occurring relationships where optimizations depend on the same semantic constraints, and complementary relationships where exactly one of two optimizations should be applied based on opposing constraints. Explore the extensive evaluation results on LLVM and GCC compilers, where SBC successfully detected numerous missed optimizations across a wide range of compiler analyses, leading to 101 reported issues with 84 confirmations and 39 fixes or planned fixes. Understand how this research opens new directions for improving compiler optimization phases and enhances the efficiency of generated code in modern compilers. The presentation covers the methodology, implementation details, evaluation framework, and practical impact of this foundational software improvement technique developed by researchers from Nanjing University.
