Dmitry Mordvinov

According to our database, Dmitry Mordvinov authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

KLEEF: Symbolic Execution Engine (Competition Contribution).

Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Collaborative Inference of Combined Invariants.

Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments.

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2021

Beyond the elementary representations of program invariants over algebraic data types.

Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

Automatic verification of heap-manipulating programs.

Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik

CoRR, 2019

Property Directed Inference of Relational Invariants.

Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

On Satisfiability of Nominal Subtyping with Variance.

Aleksandr Misonizhnik, Dmitry Mordvinov

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017

Verifying Safety of Functional Programs with Rosette/Unbound.

Dmitry Mordvinov, Grigory Fedyukovich

CoRR, 2017

Synchronizing Constrained Horn Clauses.

Dmitry Mordvinov, Grigory Fedyukovich

Proceedings of the LPAR-21, 2017

TRIK studio: Technical introduction.

Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin

Proceedings of the 20th Conference of Open Innovations Association, 2017