ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

Bug localization is well-known to be a difficult problem in software engineering, and specifically in compiler development, where it is beneficial to reduce the input program to a…