2 papers
cs.PL2020
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
Kotlin is a relatively new programming language from JetBrains: its development started in 2010 with release 1.0 done in early 2016. The Kotlin compiler, while slowly and steadily…
cs.PL2019
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…