3 papers
cs.SE2024
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar +2
Compiler correctness is a cornerstone of reliable software development. However, systematic testing of compilers is infeasible, given the vast space of possible programs and the co…
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…