About the Workshop
The Workshop is devoted to the development of innovative technologies in system programming, which serve as a basis for modern IT industry.
The Workshop is dedicated to the memory of outstanding Soviet and Russian scientist and developer, Academician Victor Ivannikov, who founded the Institute for System Programming (ISP RAS) in 1994.
Sections:
- Technologies for modeling, analysis, and transformation of programs for general purpose and autonomous systems
- Data management and AI mathematical foundations
To present your research at Ivannikov Memorial Workshop please submit a paper, that was neither published nor submitted for other conferences. We accept original materials containing the results of research or describing the work in progress. We invite both researchers and practitioners.
Materials are supplied via the EasyChair.
Participation in the conference and publication of articles are free of charge. Travel and accommodation, as well as other expenses are to be paid by the participant.
Deadlines:
- Materials submission: May 22, 2025 (23:59, GMT+3).
- Notification of acceptance: June 2, 2025 (23:59, GMT+3).
- Participants registration: June 21, 2025 (23:59, GMT+3).
- Camera ready copies: Jule 11, 2025 (23:59, GMT+3).
Online broadcast
Plenary session: "AI Technologies: From Fundamental Research to Applications"
Session: "Data management and artificial intelligence"
Session: "Program analysis, modeling, and optimization"
Session: "Development of intelligent autonomous systems"
About our events (ISP RAS Open Conference 2024)
Program analysis, modeling, and optimization
The section is devoted to applying program analysis techniques (including the use of artificial intelligence) in a security development lifecycle and covers a wide range of topics related to software development and deployment as well as to standards and certification. Also the section is devoted to methods, architectures and components of modern operating systems for reliable and efficient computing and control systems. The topics include:
- Binary code reverse engineering
- Program execution in controlled environment
- Vulnerability search in executable code
- Network traffic analysis
- Compiler optimization and code generation
- Program static and dynamic analysis
- Program analysis and testing methods and tools
- Security and privacy in operating systems
- Development lifecycle: standards and certification
- Real-time operating systems, Internet of Things (IoT)
- Network stacks and technologies
- Kernels and OS architectures
Development of intelligent autonomous systems
The section is devoted to the modeling, testing, development, and evaluation of autonomous robotic systems and complexes. Additionally, it covers issues related to the development of trusted hardware-software systems that ensure the operation of such complexes (including those with artificial intelligence). The topics include:
- Computer vision
- Artificial intelligence
- Navigation
- Control system modeling
- Defect detection technologies in autonomous systems
- Standardization and certification
Data management and artificial intelligence with two subsections
The section is devoted to data management and data analysis (methods and systems for storing and analyzing large volumes of text, graph, multimedia, scientific and other types of data). The topics include:
- Data mining and information extraction.
- Mathematical theory and methods of machine learning and artificial intelligence.
- Mathematical models of processes and phenomena of the real world.
- Computational linguistics, natural language text analysis and understanding.
- Complex networks analysis, including social, communication, biological networks, etc.
- Signal processing and image analysis.
- User-generated content analysis.
- Information retrieval, recommender systems.
- Ontologies and knowledge bases.
- Information systems and technologies.
- Scalable algorithms for data analysis.
- Data analysis applications.
- Data cleaning, heterogeneous data integration, data deduplication.
- Key technologies for private and hybrid clouds creation.
- High-performance computing and other services in clouds.
- Big data ecosystem.
- Distributed databases and Data/Web Mining technologies.
- Software platforms for internet of things.
- Dynamic load balancing in elastic clouds.
- Planning of task flow in cloud data processing centers.
- Power-saving cloud infrastructures.
Linguistic analysis systems
- Transcription correctness analysis from the point of view of speech audio recordings analysis in experimental phonetic programs.
- Identification of morphological features, rules of morphemes use semantics with the help of special programs.
- Words semantics analysis in different languages from the point of view of genetic and areal proximity.
- Generic proximity calculation of dialects and languages via phonetic changes.
- Text corpora creation and processing with the help of word combination analysis programs.
Event Schedule
June 26th, 2025
The Linguistic Analysis Systems section will be held in Moscow on June 30.
Registration, coffee/tea (Lobby)
Plenary session: «AI Technologies: From Fundamental Research to Applications» (Grand Hall)
Coffee/tea (Lobby)
Lunch (Lobby)
Coffee/tea (Lobby)
Reception (Lobby)
Banquet (Grand Hall and Red Hall)
Data management and artificial intelligence (Grand Hall)
Maria Shchurik1, Daniil Kopylov2,1
1 Irkutsk State University, 2 Institute for System Dynamics and Control Theory SB RAS
Vector representations of fonts: an additional feature for understanding documents
Daniil Kopylov1,2, Andrey Mikhailov1,3, Roman Trifonov1,2
1 Institute for System Dynamics and Control Theory SB RAS, 2 Irkutsk State University, 3 ISP RAS
Segmentation of documents based on graph neural networks: from strings to words
Ilya Okhotin1, Nikita Dorodnyh1
1 Institute for System Dynamics and Control Theory SB RAS
Table header recognition based on large language models
Andrey Perminov1, Andrey Kovalenko1, Denis Turdakov1,2
1 ISP RAS, 2 Moscow State University
Method for training perceptron on tabular data with missing values
Levon Avetisyan1, Shahane Tigranyan1, Arman Martirosyan1, Aram Avetisyan2, Sergey Skorik2
1 Russian-Armenian University, 2 ISP RAS
Bimodal approach for emotion recognition based on audio and text for the Russian language
David Sargsyan1, Nikolas Khachaturov1, Karen Avetisyan1
1 Russian-Armenian University
Research and development of text-to-speech generation models for Armenian language
Aleksandеr Akimenkov1, Yury Markin1, Aleksey Yakushev1, Dmitry Obydenkov1, Stanislav Fomin1, Alexander Kozachok2, Sergey Kozlov2
1 ISP RAS, 2 Academy of Federal Guard Service
Text-To-Image generative models quality assessment metrics
Lunch (Lobby)
Anna Chistyakova1,2, Mikhail Pautov3,1
1 ISP RAS, 2 Moscow State University, 3 AIRI
ExpressPrint: An Approach to Watermarking of Visual Foundation Models
Aleksey Yakushev1, Yury Markin1, Aleksandеr Akimenkov1, Dmitry Obydenkov1, Stanislav Fomin1, Alexander Kozachok2, Dmitry Gromey2
1 ISP RAS, 2 Academy of Federal Guard Service
Watermarking of AI-generated images
Rustam Uzdenov1,2, Andrey Perminov1
1 ISP RAS, 2Bauman University
Shazam Algorithm for Partial Video Copy Detection
Artemy Gladkov1, Leonid Bystrov1, Egor Kuzmin1
1 Yaroslav State University
Application of YOLO Family Neural Networks for Useful Signals Detection on Eddy Current Rail Defectograms
Anna Timakova1, Vladislav Ananev2, Egor Zemnuhov2, Alexey Baranov2, Vadim Alfimov2, Владимир Макаров2
1 Sechenov University, 2 Yaroslav the Wise Novgorod State University
Trophic patterns in lung cancer: insights from computational pathology
Alexey Fayzullin1
1 Sechenov University
Evolution of morphological diagnostics: data-driven approach to classification and grading
Coffee/tea (Lobby)
Lazar Radosavljević1, Milica Simić1, Aleksandar Joksimović1, Tamara Naumović1, Marijana Despotović-Zrakić1
1 University of Belgrade
Enhancing e-government services through chatbot development using Azure OpenAI
Dmitry Rodionov1, Maxim Deryugin1, Denis Turdakov2,1
1 ISP RAS, 2 Moscow State University
Application of federated databases principles to access external indexing structures
Nikita Dorodnyh1, Alexander Yurin1
1 Institute for System Dynamics and Control Theory SB RAS
Tabular Dataset RF-200 and Performance Testing of Fact Extraction from Russian-Language Tables
Artur Sosnovikov1,2, Denis Turdakov1,3, Anton Zemerov2
1 ISP RAS, 2 Tochka Bank, 3 Moscow State University
Iterative Weak Supervision with LLM-Guided Labeling Function Refinement
Igor Buyanov1, Darya Yaskova2, Danil Serenko1, Danil Shkereda1, Andrey Yaskov3, Ilya Sochenkov1
1 FRC CSC RAS, 2 MTS AI, 3 Yandex
The methodology of constructing the large-scale dataset for detecting presuicidal and antisuicidal signals in social media texts
Maxim Popov1, Ivan Stepanov1, Alexander Getman1,2,3,4
1 ISP RAS, 2 MIPT, 3 Moscow State University, 4 HSE
Research of the effectiveness of MPQUIC protocol schedulers depending on the Сongestion Сontrol Algorithm
Program analysis, modeling, and optimization (Red Hall)
Denis Zavedeev1, Roman Zhuykov1, Leonid Skvortsov1, Michael Pantilimonov1
1 ISP RAS
Fast Calls and In-Place Expansion: A Hybrid Strategy for VM Intrinsics
Michael Pantilimonov1, Ruben Buchatskiy1, Denis Zavedeev1
1 ISP RAS
Beyond LLVM: Evaluating Fast Code Generation Alternatives for Query Compilation in PostgreSQL
Vitaly Afanasiev1, Alexey Borodin1, Evgeny Velesevich1, Boris Orlov1,2
1 ISP RAS, 2 Moscow State University
Source Code Annotation for Static Analysis
Andrey Vyazovtsev1,2, Yan Churkin1, Ruben Buchatskiy1
1 ISP RAS, 2 MIPT
Analysis of finite state machines for the SystemVerilog hardware description language
Artemiy Galustov1, Konstantin Vihlancev1,2, Alexey Borodin1, Andrey Belevantsev1,3
1 ISP RAS, 2 MIPT, 3 Moscow State University
Devirtualization-based Python static analysis
Danila Panov1, Nikita Shimchik1, Dmitry Chibisov1, Valery Ignatiev1,2, Andrey Belevantsev1,2
1 ISP RAS, 2 Moscow State University
Increasing precision of static code analysis using large language models
Ivan Cheremisenov1,2, Alexey Borodin1, Alexander Volkov1, Mikhail Velikanov1
1 ISP RAS, 2 Moscow State University
An approach to tainted analysis in the Svace static analyzer
Lunch (Lobby)
Efim Grinkrug1
1 ISP RAS
Yet Another Kind of JavaBeans: Composed Types from Aggregated Instances
Dmitry Poletaev1
1 ISP RAS
Hardware Acceleration of QEMU MMU for aarch64 on x86-64 full system emulation
Vladislav Stepanov1, Pavel Dovgalyuk1, Natalia Fursova1
1 ISP RAS
Virtual Machine Introspection Based on System Calls and Kernel Data Structures
Vlada Logunova1
1 ISP RAS
Dynamic Symbolic Execution of RISCV64 Binary Code
Darya Parygina1,2, Timofey Mezhuev1,2, Daniil Kuts1
1 ISP RAS, 2 Moscow State University
Hybrid Approach to Directed Fuzzing
Shake Hakobyan1,2, Garnik Khroyan1,2, Hripsime Hovhannisyan1,2, Hayk Aslanyan1,2
1 CAST, 2 Russian-Armenian University
Loop Analysis in Binary Code
Coffee/tea (Lobby)
Petr Devyanin1, Sergey Zhiliakov1, Alexander Smirnov1, Alexander Petrenko2
1 RusBITech-Astra, 2 ISP RAS
Testing the Astra Linux OS security subsystem based on a formalized description of the access control model
Aleksei Karnov1, Eugene Kornykhin1,2
1 ISP RAS, 2 Moscow State University
Generating Event-B executable model in Python
Egor Elchinov1
1 ISP RAS
Adapting ThreadSanitizer Algorithm to Detect Data Races in RTOS Kernels
Dmitry Duzhinskii1, Dmitry Boulytchev1
1 Saint Petersburg State University
On a Relation Code Model Description
Vladislav Egorov1, Alexander Getman1,2,3,4, Roman Ponomarenko1
1 ISP RAS, 2 MIPT, 3 Moscow State University, 4 HSE
Declarative Language for Selection and Filtering of Network Traffic Data
Vadim Karcev1, Valery Ignatiev1,2
1 ISP RAS, 2 Moscow State University
Static analysis of Visual Basic .NET
Development of intelligent autonomous systems (Meeting Room No. 3)
Peter Ukhov1, Maria Bulakina1, Sergey Krylov1
1 Moscow Aviation Institute
Comparison of classical and machine learning algorithms for feature point extraction in rugged terrain images for application in SLAM algorithms
Darya Gordeeva1, Vasiliy Egorov1
1 Moscow Aviation Institute
System for positioning an object based on its sound emission
Dmitry Kuruliuk1, Maksim Kudrov1, Ivan Martynov1, Mark Ovsyannikov1
1 MIPT
Approaches for setting and solving scientific problems related to the creation of promising technologies for unmanned aircraft systems
Maksim Stolyarov1, Daniil Kuzub1, Denis Strazhkov1
1 ISP RAS
Robot training in a physical simulator: Gazebo as a development and testing platform
Artur Akopian1,2, Shamil Kurmangaleev1, Vladlen Gorchakov1, Anton Zenkin1, Mariia Chibisova1
1 ISP RAS, 2 Moscow State University
An Alternative Method for Analyzing Embedded Software of Unmanned Systems Without Sanitizers
Vardan Sahakyan1, Vahagn Melkonyan1, Sevak Sargsyan1
1 Russian-Armenian University
Real-Time Target Localization Using Gimbaled Laser on UAVs
Anna Ilina1,2, Shamil Kurmangaleev1, Polina Sankina1, Vitaliy Akolzin1
1 ISP RAS, 2 Moscow State University
Extracting semantic kernels from software for unmanned systems
Lunch (Lobby)
Vahagn Melkonyan1, Armen Sardaryan1, Гоар Хачатрян1
1 Russian-Armenian University
Object Re-detection in Aerial Imagery Captured by UAVs
Maksim Mishechkin1, Shamil Kurmangaleev1, Anna Savchuk1, Viktor Tiazhelkov1, Anna Fedorova1
1 ISP RAS
A Novel Approach to In-depth Investigation of Data Parsing Components in Unmanned Systems Based on Hybrid Static-Dynamic Analysis Methods
Lilia Kirakosyan1,2, Mikael Navoyan1,2, Armen Sardaryan1,2, Sevak Sargsyan1,2
1 CAST, 2 Russian-Armenian University
Real-time Radio Signal Classification Based on Spectrograms
Gleb Korotkin1, Ivan Efremov1, Fedor Niskov1, Shamil Kurmangaleev1
1 ISP RAS
Study of Reliability and Error Detection in Microprocessors Used in Unmanned Vehicles
Vitaliy Akolzin1, Elizaveta Cheperegina1, Shamil Kurmangaleev1, Maksim Mishechkin1
1 ISP RAS
Static-dynamic analysis of ArduPilot
Maksim Stolyarov1, Aleksey Abakumov1, Sergey Khimach1
1 ISP RAS
Modeling the dynamics of robotic systems in Gazebo and practical implementation
Coffee/tea (Lobby)
Program Committee
- Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
- Igor Bychkov, Academician of RAS, Director of the Institute for System Dynamics and Control Theory of Siberian Branch of RAS (IDSTU SB RAS).
- Sergey Prokhorov, Ph.D., chair of IEEE Computer Science Russian chapter.
- Andrey Tchernykh, Dr. Sci., Professor, CICESE Research Center, Mexico.
- Marijana Despotović-Zrakić, Professor at University of Belgrade (Serbia), Chief of Laboratory for Simulation.
- Zorica Bogdanović, Professor at University of Belgrade (Serbia), Chief of the Center for IoT.
- Zoran Ognjanović, research professor, director of the Mathematical Institute SANU (Serbia).
- Alexey Zaikin, Professor of Systems Medicine in University College London (Great Britain).
- Alexander Gasnikov, Dr. Sci., Prof., rector of Innopolis University, leading researcher at Steklov Mathematical Institute of RAS and ISP RAS, Head of Department for Foundations of Control Theory at MIPT.
- Alexander Beznosikov, Ph.D., Head of Young Researcher Laboratory on Federative learning at ISP RAS, researcher at MIPT.
- Sevak Sargsyan, Dr. Sci., Head of the System Programming Laboratory at Russian-Armenian University (Armenia).
- Aleksander Petrenko, Prof., Head of Software Engineering Department (ISP RAS).
- Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
- Shamil Kurmangaleev, Ph.D., Head of Analysis and Optimization of Autonomous Systems (ISP RAS).
- Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
- Oleg Samovarov, Ph.D., Scientific Secretary (ISP RAS).
- Denis Turdakov, Ph.D., Head of ISP RAS Trusted AI Research Center.
- Alexey Khoroshilov, Ph.D., Head of ISP RAS System Software Security Research Center.
- Yury Markin, Ph.D., Head of Digital Watermarking Team (ISP RAS), Associate Professor of the Department of System Programming (MIPT).
Organizers & Partners
The conference is held:
Under the auspices of the UNESCO International Decade of Sciences for Sustainable Development (2024–2033).
As part of Agreement No. 075-15-2022-294 with the Ministry of Science and Higher Education of the Russian Federation, dated April 15, 2022.
Registration
Contact us via e-mail reg@ispras.ru to get instructions.
Submission
The papers should be 7 to 15 pages long and formatted according to "Proceedings of ISP RAS" template. Peer review is double-blind. Please remove any references to authors (such as names, affiliations or e-mails) from submitted articles, as well as direct references to previous works. In case of successful review and acceptance you will be requested to submit camera-ready text with necessary author details.
Accepted papers will be published in "Proceedings of ISP RAS" (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), indexed in Google Scholar and included in Russian Science Citation Index (RSCI) database on the Web of Science platform.
Submissions that violate these guidelines will be rejected.
Contacts
E-mail and phone
You may contact us by e-mail
Venue address
Russia, Irkutsk st. Baikalskaya, 279 ("Baikal Business Center")
Details
The Workshop is held from 9:00 to 18:00.