Andrei Tatarnikov

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Subgroup Discovery

Memory Management

Constraint Based Mining

Top Venues

ISSRE Workshops

Ershov Informatics Conference

Publications

Ekaterina Blech, Andrey Grishchenko, Ivan Kniazkov, Guangtai Liang, Oleg Serebrennikov, Andrei Tatarnikov, Polina Volkhontseva, Kuzma Yakimets
Patternika: A Pattern-Mining-Based Tool For Automatic Library Migration. ISSRE Workshops (2021)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Test Program Generator MicroTESK for RISC-V. MTV (2018)
Alexander Kamkin, Andrei Tatarnikov
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors. Ershov Informatics Conference (2017)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Maintaining ISA Specifications in MicroTESK Test Program Generator. MTV (2017)
Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov
MicroTESK: Specification-Based Tool for Constructing Test Program Generators. Haifa Verification Conference (2017)
Andrei Tatarnikov
An approach to instruction stream generation for functional verification of microprocessor designs. EWDTS (2016)
Mikhail M. Chupilko, Alexander S. Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov
Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. MTV (2015)