Dmitry Mordvinov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FASE | KLEEF: Symbolic Execution Engine (Competition Contribution). | Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov |
| 2023 | ICSE | 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 |
| 2023 | LPAR | Collaborative Inference of Combined Invariants. | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2021 | PLDI | Beyond the elementary representations of program invariants over algebraic data types. | Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2019 | ECOOP | On Satisfiability of Nominal Subtyping with Variance. | Aleksandr Misonizhnik, Dmitry Mordvinov |
| 2019 | FMCAD | Property Directed Inference of Relational Invariants. | Dmitry Mordvinov, Grigory Fedyukovich |
| 2017 | FRUCT | TRIK studio: Technical introduction. | Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin |
| 2017 | LPAR | Synchronizing Constrained Horn Clauses. | Dmitry Mordvinov, Grigory Fedyukovich |