Alexander Kamkin

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 9

Top Topics

Static Analysis

Symbolic Execution

Top Venues

Ershov Informatics Conference

Publications

Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev
High-Level Synthesis versus Hardware Construction. DATE (2023)
Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
Deductive Binary Code Verification Against Source-Code-Level Specifications. TAP@STAF (2020)
Mikhail M. Chupilko, Alexander Kamkin, Alexander Protsenko
Open-Source Validation Suite for RISC-V. MTV (2019)
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)
Vladimir Burenkov, Alexander Kamkin
Applying parameterized model checking to real-life cache coherence protocols. EWDTS (2016)
Maksim Jenihhin, Alexander Kamkin, Zainalabedin Navabi, Somayeh Sadeghi Kohan
Universal mitigation of NBTI-induced aging by design randomization. EWDTS (2016)
Alexander Kamkin, Sergey A. Smolov, Igor Melnichenko
Static analysis of HDL descriptions: Extracting models for verification. EWDTS (2013)
Mikhail M. Chupilko, Alexander Kamkin
A TLM-based approach to functional verification of hardware components at different abstraction levels. LATW (2011)
Alexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev
Reconfigurable Model-Based Test Program Generator for Microprocessors. ICST Workshops (2011)
Alexander Kamkin
Simulation-based hardware verification with time-abstract models. EWDTS (2011)
Alexander Kamkin
Coverage-directed verification of microprocessor units based on cycle-accurate contract specifications. EWDTS (2008)
Alexander Kamkin
The UniTESK Approach to Specification-Based Validation of Hardware Designs. ISoLA (2006)