ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler.

Daniil Stepanov Marat Akhin Mikhail A. Belyaev

Published in: ASE (2019)

Keyphrases

software systems
source code
programming language
transactional memory
programs written
general purpose
highly optimized
distributed memory machines
open source
code generation
real time
root cause
artificial intelligence
information systems
constraint language
security vulnerabilities