Marat Akhin

Marat Akhin

Peter the Great St.Petersburg Polytechnic University - Saint Petersburg / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4623612
Санкт-Петербургский государственный политехнический университет
person_outline Marat Akhin's MOST POPULAR ARTICLES
1-) Kotlin coroutines: design and implementationR Elizarov, M Belyaev, M Akhin, I UsmanovProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas …, 2021212021
2-) Clone detection: Why, what and how?M Akhin, V Itsykson2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010212010
3-) ReduKtor: How We Stopped Worrying About Bugs in Kotlin CompilerD Stepanov, M Akhin, M Belyaev2019 34th IEEE/ACM International Conference on Automated Software …, 2019132019
4-) Software defect detection by combining bounded model checking and approximations of functionsMK Akhin, MA Belyaev, VM ItsyksonAutomatic Control and Computer Sciences 48, 389-397, 2014112014
5-) Borealis bounded model checker: the coming of age storyM Akhin, M Belyaev, V ItsyksonPresent and Ulterior Software Engineering, 119-137, 201792017