Mikhail A. Belyaev

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 9

Top Topics

Programs Written

Transactional Memory

Highly Optimized

Top Venues

Autom. Control. Comput. Sci.

Publications

Mikhail A. Belyaev
Causal explicit algorithm for heat conduction in a plasma. Comput. Phys. Commun. 294 (2024)
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
Kex at the 2022 SBST Tool Competition. SBST@ICSE (2022)
Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov
Kotlin coroutines: design and implementation. Onward! (2021)
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
Kex at the 2021 SBST Tool Competition. SBST@ICSE (2021)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. ICST (2021)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. CoRR (2020)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. ASE (2019)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. CoRR (2019)
Maxim Petrov, Kirill Gagarski, Mikhail A. Belyaev, Vladimir M. Itsykson
Using a bounded model checker for test generation: How to kill two birds with one SMT solver. Autom. Control. Comput. Sci. 49 (7) (2015)
Marat Kh. Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson
Software defect detection by combining bounded model checking and approximations of functions. Autom. Control. Comput. Sci. 48 (7) (2014)
Mikhail A. Belyaev, V. A. Tsesko
LLVM-based static analysis tool using type and effect systems. Autom. Control. Comput. Sci. 46 (7) (2012)