Daniil Stepanov

Daniil Stepanov


Research Groups

Biography

PhD student of the department of computer systems and software technologies, Saint Petersburg State Polytechnic University. Currently enrolled in the third course. Currently I am working on my PhD thesis in area of Kotlin compiler fuzzing.

Professional Activity

I teach programming to first year students.

Publications

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

ASE 2019

Read more

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

TMPA 2017: Tools and Methods of Program Analysis (pp. 1--10)

Read more