Mikhail U. Mandrykin

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 11

Top Topics

Clone Detection

Database Software

Operating System

Top Venues

Program. Comput. Softw.

Publications

R. F. Sadykov, Mikhail U. Mandrykin
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic. Program. Comput. Softw. 48 (8) (2022)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
Deductive Verification of Unmodified Linux Kernel Library Functions. CoRR (2018)
Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov
Lemma Functions for Frama-C: C Programs as Proofs. CoRR (2018)
Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). TACAS (2) (2018)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
Deductive Verification of Unmodified Linux Kernel Library Functions. ISoLA (2) (2018)
Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). TACAS (2) (2017)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
A Memory Model for Deductively Verifying Linux Kernel Modules. Ershov Informatics Conference (2017)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
Towards deductive verification of C programs with shared data. Program. Comput. Softw. 42 (5) (2016)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
Region analysis for deductive verification of C programs. Program. Comput. Softw. 42 (5) (2016)
Mikhail U. Mandrykin, Alexey V. Khoroshilov
High-level memory model with low-level pointer cast support for Jessie intermediate language. Program. Comput. Softw. 41 (4) (2015)
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
Configurable toolset for static verification of operating systems kernel modules. Program. Comput. Softw. 41 (1) (2015)
Stefan Löwe, Mikhail U. Mandrykin, Philipp Wendler
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution). TACAS (2014)
Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin
Predicate Analysis with BLAST 2.7 - (Competition Contribution). TACAS (2012)
Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved
Using linux device drivers for static verification tools benchmarking. Program. Comput. Softw. 38 (5) (2012)
Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin
Experience of improving the blast static verification tool. Program. Comput. Softw. 38 (3) (2012)