Follow
Marat Akhin
Marat Akhin
JetBrains Research
Verified email at jetbrains.com - Homepage
Title
Cited by
Cited by
Year
Clone detection: Why, what and how?
M Akhin, V Itsykson
2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010
212010
Kotlin coroutines: design and implementation
R Elizarov, M Belyaev, M Akhin, I Usmanov
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas …, 2021
152021
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
D Stepanov, M Akhin, M Belyaev
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
132019
Software defect detection by combining bounded model checking and approximations of functions
MK Akhin, MA Belyaev, VM Itsykson
Automatic Control and Computer Sciences 48, 389-397, 2014
112014
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
D Stepanov, M Akhin, M Belyaev
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
82021
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
82017
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
82013
Search by example in TouchDevelop: Code search made easy
M Akhin, N Tillmann, M Fähndrich, J de Halleux, M Moskal
2012 4th International Workshop on Search-Driven Development: Users …, 2012
82012
Kex at the 2021 SBST Tool Competition
A Abdullin, M Akhin, M Belyaev
2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing …, 2021
72021
Random model sampling: Making craig interpolation work when it should not
M Akhin, S Kolton, V Itsykson
Automatic Control and Computer Sciences 49, 413-419, 2015
62015
Ranking Programs in a Marketplace System
MK Akhin, N Tillmann, MJ Moskal, JP De Halleux, MA Fahndrich
US Patent App. 13/313,032, 2013
52013
Code similarity in TouchDevelop: Harnessing clones
M Akhin, N Tillmann, M Fahndrich, J de Halleux, M Moskal
Microsoft Technical Report MSR-TR-2011-103, 2011
52011
Interval analysis algorithm for detecting defects in the software source code
VM Itsykson, MM Ju, VA Tsesko, AV Zakharov, MH Akhin
Informationcontrol systems 2, 34-41, 2009
52009
Kotlin language specification
M Akhin, M Belyaev
Kotlin Language Specification, 2021
42021
A regression test selection technique based on incremental dynamic analysis
M Akhin, V Itsykson
2009 5th Central and Eastern European Software Engineering Conference in …, 2009
42009
Distributed analysis of the BMC kind: Making it fit the tornado supercomputer
A Abdullin, D Stepanov, M Akhin
Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018
32018
Tree slicing: Finding intertwined and gapped clones in one simple step
M Akhin, V Itsykson
Automatic Control and Computer Sciences 47, 427-432, 2013
32013
Tree slicing in clone detection: Syntactic analysis made (semi)-semantic
M Akhin, V Itsykson
Modeling and Analysis of Information Systems 19 (6), 69-78, 2015
22015
IMPROVING STATIC ANALYSIS BY LOOP UNROLLING ON AN ARBITRARY ITERATION
MA BELYAEV, M AKHIN, VM ITSYKSON
УНИВЕРСИТЕТСКИЙ НАУЧНЫЙ ЖУРНАЛ, 154-168, 2014
12014
Kex at the SBFT 2023 Java Tool Competition
A Abdullin, M Akhin
2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20