Yurii Kostyukov

According to our database, Yurii Kostyukov authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

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

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