Dmitry Mordvinov

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Invariant Representations

Execution Engine

Functional Programs

Top Venues

Publications

Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov
KLEEF: Symbolic Execution Engine (Competition Contribution). FASE (2024)
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
Collaborative Inference of Combined Invariants. LPAR (2023)
Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments. ICSE Companion (2023)
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
Beyond the elementary representations of program invariants over algebraic data types. PLDI (2021)
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types. CoRR (2021)
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
Solving Constrained Horn Clauses over ADTs by Finite Model Finding. CoRR (2021)
Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik
Automatic verification of heap-manipulating programs. CoRR (2019)
Dmitry Mordvinov, Grigory Fedyukovich
Property Directed Inference of Relational Invariants. FMCAD (2019)
Aleksandr Misonizhnik, Dmitry Mordvinov
On Satisfiability of Nominal Subtyping with Variance. ECOOP (2019)
Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin
TRIK studio: Technical introduction. FRUCT (2017)
Dmitry Mordvinov, Grigory Fedyukovich
Synchronizing Constrained Horn Clauses. LPAR (2017)
Dmitry Mordvinov, Grigory Fedyukovich
Verifying Safety of Functional Programs with Rosette/Unbound. CoRR (2017)