Backend Bug Finder (BBF)
Fuzzing is a well-known testing technique, which has a proven history of being efficient in compiler testing. Backend Bug Finder (BBF) uses fuzzing (and a plethora of other interesting techniques) to find non-trivial bugs in Kotlin compiler.
The final goal of this project is to be able to efficiently find interesting cases of miscompilation between different Kotlin backends, i.e., when the same code behaves differently on different runtime platforms (JVM, JS, Native).
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
Daniil Stepanov, Marat Akhin, Mikhail Belyaev