Research group

Verification or Program Analysis Lab

Backend Bug Finder (BBF)

Daniil StepanovActive

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 approaches) 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

Read more