Research group

Verification or Program Analysis Lab

Backend Bug Finder (BBF)

Stepanov DaniilActive

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


Akhin Marat
Akhin Marat
Stepanov Daniil
Stepanov Daniil


ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler


Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Read more