Yurii Kostyukov

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Invariant Representations

Application 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)
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)