Research group

Verification or Program Analysis Lab

Backend Bug Finder (BBF)

Project supervisor: Daniil Stepanov
Status: Active

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

Participants

Publications