Marat Akhin

17 papers A* 1A 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis.
CoRR
Rustam Sadykov, Azat Abdullin, Marat Akhin
2025 J jnl
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing.
CoRR
Qiong Feng, Xiaotian Ma, Ziyuan Feng, Marat Akhin, Wei Song, Peng Liang
2025 J jnl
Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing.
Proc. ACM Program. Lang.
Qiong Feng, Xiaotian Ma, Ziyuan Feng, Marat Akhin, Wei Song, Peng Liang
2024 — conf
Evokex at the SBFT 2024 Tool Competition.
SBFT@ICSE
Rustam Sadykov, Azat Abdullin, Marat Akhin
2024 — conf
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler.
SIGSOFT FSE Companion
Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella
2024 J jnl
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler.
CoRR
Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella
2024 — conf
Kex at the SBFT 2024 Tool Competition.
SBFT@ICSE
Azat Abdullin, Marat Akhin
2023 — conf
Kex at the SBFT 2023 Java Tool Competition.
SBFT
Azat Abdullin, Marat Akhin
2022 — conf
Kex at the 2022 SBST Tool Competition.
SBST@ICSE
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
2021 — conf
Kex at the 2021 SBST Tool Competition.
SBST@ICSE
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
2021 — conf
Kotlin coroutines: design and implementation.
Onward!
Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov
2021 A conf
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.
ICST
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2020 J jnl
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.
CoRR
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2019 A* conf
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler.
ASE
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2019 J jnl
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler.
CoRR
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2017 — ch.
Borealis Bounded Model Checker: The Coming of Age Story.
Present and Ulterior Software Engineering
Marat Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson
2016 — conf
By the power of SMT! mining function contracts to better bounded model checking.
SoftwareMining@ASE
Azat Abdullin, Marat Akhin