Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a 14-minute conference presentation from OOPSLA 2025 that introduces CrossLangFuzzer, a groundbreaking framework for detecting compiler bugs in cross-language compilation scenarios. Learn how researchers from Nanjing University of Science and Technology, JetBrains, and Wuhan University developed the first systematic approach to identify and diagnose compiler correctness issues when multiple JVM-based languages interact. Discover the innovative universal intermediate representation (IR) designed for JVM languages and understand how three mutation techniques—LangShuffler, FunctionRemoval, and TypeChanger—enhance test program diversity to uncover hidden compiler bugs. Examine the impressive results showing 24 confirmed compiler bugs across Kotlin, Groovy, Scala 2, Scala 3, and Java compilers, with TypeChanger proving most effective by detecting 11 bugs. Gain insights into the symptoms and root causes of cross-compilation bugs, understand the responsibilities of different language compilers when incorrect behavior occurs, and explore how differential testing can improve compiler correctness in multi-language environments where code safety and reliability are paramount.
