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 main sections:

  • Program analysis, modeling and transformation technologies.
  • Data management and information systems.
  • Open source software for continuum mechanics.
  • Digital medicine.
  • Program analysis in secure development lifecycle.

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. The Workshop is organized with support of IEEE. This year the Workshop is dedicated to his 80th birthday anniversary. This year the Workshop is also devoted to the Year of Science and Technology in Russia.

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.

Sumbission details

All the materials are accepted in English or in Russian via EasyChair

Paticipation 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.


  • Materials submission: August 25, 2021 (23:59, GMT+3).
  • Notification of acceptance: August 31, 2021.
  • Camera ready copies: September 10, 2021.
  • Participants registration: September 20, 2021.

Event Schedule

Friday, September 24th, 2021

8:00 - 9:00

Registration and Coffee Break (Conference Lobby)

9:00 - 11:00

Plenary Session (Conference Hall)

Invited participants:

  • Alexander Sergeev, President of the RAS;
  • Elena Zagaynova, Rector, Lobachevsky University of Nizhny Novgorod;
  • Gleb Nikitin, Governor, Nizhny Novgorod region;
  • Olga Petrova, Minister for science, education, and youth politics, Nizhny Novgorod region;
  • Arutyun Avetisyan, Member of RAS, Director of ISP RAS, and others.
13:00 - 15:00

Lunch (Dining Hall)

Digital Medicine Roundtable (Scientific Experiments Hall)

11:00 - 13:30

Invited participants:

  • Mikhail Ivanchenko, Prorector for research, Lobachevsky University of Nizhny Novgorod;
  • Oleg Penzin, MD, Head of Laboratory for digital development, N.I. Pirogov National Medical and Surgical Center;
  • Alexander Lila, Prof, MD, Director of V.A. Nasonova Research Institute of Rheumatology;
  • Gennady Ponomarenko, Prof, MD, CEO for Federal Scientific Center of Rehabilitation of the Disabled named after G.A. Albrecht of the Ministry of Labour and Social Protection;
  • Alexander Prirodov, MD, Head of Urgent Neurosurgery Department, N.V. Sklifosovsky Research Institute for Emergency Medicine;
  • Sergey Popov, MD, Chief Medical Officer of St. Luca Hospital;
  • Igor Kogan, Prof., MD, Corresponding Member of RAS, Director of D.O. Ott Research Institute of Obstetrics and Gynecology;
  • Natalia Petrova, Deputy Dean, Department for Healthcare Management, Institute of Industry Management, Russian Presidential Academy of National Economy and Public Administration;
  • Evgeny Karpulevich, Head of Digital Medicine Team, ISP RAS, and others.

Program Analysis in Secure Development Lifecycle Roundtable (Scientific Experiments Hall)

16:30 - 19:00

Invited participants:

  • Vitaly Lutikov, Deputy Director, FSTEC of Russia;
  • Anton Ivanov, CTO, Kaspersky Lab;
  • Dmitry Shmoylov, Head of Product Safety Group, Kaspersky Lab;
  • Alexey Smirnov, CEO, Base Alt;
  • Alexander Belokrylov, CEO, BellSoft;
  • Mark Korenberg, CTO, Ideco;
  • Alexander Pechen, Prof of RAS, Doctor of Science, Head of Department of Mathematical Methods for Quantum Technologies, Steklov Math Institute, and others.

Program Analysis and Transformation Track (Conference Hall)

11:00 - 11:20

Maksim Raenchuk 1, Vitaly Cheptsov 1, Alexey Khoroshilov 1


Cross-Platform Graphics Subsystem for an ARINC 653 Compatible Real-Time Operating System

11:20 - 11:40

Roman Baev 1, Leonid Skvortsov 1, Evgeny Kudryashov 1, Ruben Buchatskiy 1, Roman Zhuykov 1


Prevention of Vulnerabilities Arising from Optimization of Code with Undefined Behavior

11:40 - 12:00

Sevak Sargsyan 1, Movses Tovmasyan 1

1 Russian-Armenian University

A Framework for a Systematic Survey of Known Software Defects

12:00 - 12:20

Leonid Skvortsov 1, Roman Baev 1, Ksenia Dolgorukova 1, Eugene Sharygin 1


Developing an LLVM-Based Compiler for Stack-Based TF16 Processor Architecture

12:20 - 12:40

Rafael Sadykov 1, Mikhail Mandrykin 1


Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic Based on Quantifier Instantiation and SMT

12:40 - 13:00

Pavel Mezhuev 1, Alexander Gerasimov 1, Petr Privalov 1, Veronika Butkevich 1

1 Huawei Technologies

A Dynamic Algorithm for Source Code Static Analysis

13:00 - 13:20

Mariam Arutunian 1, Hripsime Hovhannisyan 1, Vahagn Vardanyan 1, Sevak Sargsyan 1, Shamil Kurmangaleev 2, Hayk Aslanyan 1

1 Russian-Armenian University, 2 ISP RAS

A Method to Evaluate Binary Code Comparison Tools

13:20 - 13:40

Mikhail Chupilko 1,2, Alexander Kamkin 1,2, Sergey Smolov 1,2

1 ISP RAS, 2 Plekhanov Russian University of Economics

A Survey of Open-Source Flows for Digital Hardware Design

13:40 - 14:00

Chi Thien Tran 1, Shamil Kurmangaleev 1


Futag: Automated Fuzz Target Generator for Testing Software Libraries

14:00 - 14:20

Ivan Sharkov 1, Vartan Padaryan 1, Peter Henkin 2

1 ISP RAS, 2 Sberbank of Russia

Fuzzing Network Applications with Unavailable Source Code

14:20 - 14:40

Dmitry Larin 1, Alexander Getman 1


High-Speed Network Traffic Capturing and Processing Tools

14:40 - 15:00

Maria Ikonnikova 1, Alexander Getman 1


Network Traffic Classification Based on Its Payload Opaqueness

15:00 - 15:20

Daniil Kuts 1


Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution

15:20 - 15:40

Vladimir Telezhnikov 1, Victoria Egorova 1

1 RusBiTech-Astra

Using Fuzzing Techniques in Secure Development Lifecycle of the Astra Linux Operating System

15:40 - 16:00

Petr Devyanin 1, Maria Leonova 1

1 RusBiTech-Astra

Improving Formal Event-B Based Role Model for Modeling Interacting Access Management Systems

16:00 - 16:20

Ivan Vasilev 1, Pavel Dovgalyuk 2, Maria Klimushenkova 1

1 ISP RAS, 2 Novgorod University

Using Execution Threads Identification When Solving Problems of Full-System Binary Code Analysis

Continuum Mechanics Problems Track (Small Conference Hall)

11:00 - 11:20

Igor Petrov 1, Vasily Golubev 1,2, Alexey Shevchenko 1

1 Moscow Institute for Physics and Technology, 2 ICAD RAS

Higher-Order Grid-Characteristic Schemes for the Acoustic System

11:20 - 11:40

Andrey Stankevich 1, Alexey Vasyukov 1, Igor Petrov 1

1 Moscow Institute for Physics and Technology

Inclusion Imaging Using Single-Shot Ultrasound and Convolutional Neural Networks

11:40 - 12:00

Konstantin Koshelev 1, Andrey Osipov 1, Sergei Strijhak 1


Features Of Implementation an Efficient Parallel Computation Algorithm for Modeling the Ice Accretion of a Swept Wing with a GLC-305 Airfoil

12:00 - 12:20

Ivan Amelyushkin 1,2, Maxim Kudrov 2, Alexei Morozov 2, Andrey Shcheglov 2, Albert Stasenko 1, 2

1 Central Aerohydrodynamic Institute, 2 Moscow Institute for Physics and Technology

Mathematical Models and Methods of Numerical Analysis of Processes Which Accompany Aircraft Icing

12:20 - 12:40

Alexander Churbanov 1, Natalia Churbanova 1, Sergey Polyakov 1, Marina Trapeznikova 1

1 Keldysh Institute of Applied Mathematics of RAS

Coupled Calculations of Flows in Domains Including a Porous Medium and a Homogeneous Fluid

12:40 - 13:00

Igor Kulikov 1, Igor Chernykh 1, Dmitry Karavaev 1, Anna Sapetina 1, Sergey Lomakin 1


The Efficiency of Hydrodynamic Code on Intel Xeon Scalable Architecture

Data Management and Information Systems Track (Auditorium14)

14:30 - 14:50

Sergey Kopylov 1, Alexander Kozachok 1, Pavel Gorbachev 1, Boris Kondrat’ev 2, Artur Gaynov 2

1 Federal Protective Service Academy, 2 Ministry of Defence of Russia

Text Documents Marking Algorithm Based on Interword Distances Shifting Invariant to Format Conversion

14:50 - 15:10

Aleksey Yakushev 1, Yury Markin 1, Stanislav Fomin 1, Dmitry Obydenkov 1, Boris Kondrat’ev 2

1 ISP RAS, 2 Ministry of Defence of Russia

Text Documents Screen Watermarking by Changing Background Brightness in the Interline Spacing

15:10 - 15:30

Dmitry Obydenkov 1, Alexander Frolov 1, Yury Markin 1, Stanislav Fomin 2, Boris Kondrat’ev 2

1 ISP RAS, 2 Ministry of Defence of Russia

Printed Text Documents Watermarking Based on Vertical Word Shift and Word Fragments Brightness Changing

15:30 - 15:50

Diana Rudenko 1, Kirill Skorniakov 1, Yaroslav Nedumov 1


Legal Documents Links Extraction

15:50 - 16:10

Dmitry Devyatkin 1, Ilya Sochenkov 1, Yana Pogorelskaya 2, Vasily Yadrintsev 1

1 Federal Research Centre "Computer Science and Control" of RAS, 2 Technologies for Systems Analysis LLC

Detection of Missed Links in Large Legal Corpora

16:10 - 16:30

Nikita Dorodnykh 1, Aleksandr Yurin 1, Alexey Shigarov 1, Denis Turdakov 2


1 Matrosov Institute for System Dynamics and Control Theory

16:30 - 16:50

Vladislav Ananev 1,2, Sergey Skorik 1, Vsevolod Shaklein 1,2, Aram Avetisyan 1, Yury Teregulov 4,5,6, Denis Turdakov 1,3, Vadim Gliner 7, Assaf Schuster, PhD 7, Evgeny Karpulevich 1

1 ISP RAS, 2 Yaroslav-the-Wise Novgorod State University, 3 Lomonosov Moscow State University, 4 Kazan State Medical University, 5 Kazan State Medical Academy, 6 Republican Clinical Hospital of the Ministry of Health of the Republic of Tatarstan, 7 Technion-IIT

Assessment of the Impact of Non-Architectural Changes in the Predictive Model on the Quality of ECG Classification

16:50 - 17:10

Anna Chistyakova 1, Maria Cherepnina 1, Konstantin Arkhipenko 1, Sergey Kuznetsov 1, Chang-Seok Oh 2, Sebeom Park 2

1 ISP RAS, 2 Samsung Research

Evaluation of Interpretability Methods for Adversarial Robustness on Real-World Datasets

17:10 - 17:30

Mikhail Lebedev 1,2, Pavel Belecky 1

1 ISP RAS, 2 Plekhanov Russian University of Economics

A Survey of Open-Source Tools for FPGA-Based Inference of Artificial Neural Networks

Programme Committee

  1. Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
  2. Mikhail Ivanchenko, Dr. Sci. Vice-Rector for Research (UNN).
  3. Nikolai Zolotykh, Dr. Sci., Director of the Institute of Information Technology, Mathematics and Mechanics (UNN).
  4. Igor Petrov, Corresponding member of RAS, Head of the MIPT Department of Informatics and Computational Mathematics.
  5. Dines Bjørner, Ph.D., Professor Emeritus of Computer Science, Technical University of Denmark.
  6. Assaf Schuster, Ph.D., ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.
  7. Andrey Tchernykh, Ph.D., Professor, CICESE Research Center, Mexico.
  8. Ivan Arzhantsev, Dr. Sci., Dean of the Faculty of Computer Science, HSE.
  9. Andrei Raigorodskii, Dr. Sci., Director of Phystech School of Applied Mathematics and Informatics, MIPT.
  10. Sergey Prokhorov, Ph.D., leading researcher of the Vavilov Institute for the History of Science and Technology of the RAS.
  11. Petrenko Aleksander, Prof., Head of Software Engineering Department (ISP RAS).
  12. Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  13. Alexey Khoroshilov, Ph.D., Director of Linux verification center (ISP RAS).
  14. Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
  15. Oleg Samovarov, Ph.D., Scientific Secretary (ISP RAS).
  16. Denis Turdakov, Ph.D., Head of Information Systems Department (ISP RAS).

Organizers & Partners

The Сonference is supported by the Ministry of Science and Higher Education of Russia, agreement № 075-15-2020-917 of 16.11.2020.


Paticipation 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.

The venue may be changed due to the epidemiological situation; the Conference may take place online.

Contact us via e-mail scsec@ispras.ru to get instructions.


The papers should be 3 to 7 pages long, formatted using IEEE Manuscript Templates for Conference Proceedings. The workshop proceedings will be published online and indexed in Web of Science и Scopus. 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.

Submission is open at EasyChair.

Submissions that violate these guidelines will be rejected.


E-mail and phone

You may contact us by e-mail scsec@ispras.ru or phone +7(495) 912-44-25.

Venue address

603022, Nizhny Novgorod, Prospekt Gagarina (Gagarin Avenue), 23. Lobachevsky State University of Nizhny Novgorod (UNN).

The venue may be changed due to the epidemiological situation; the Conference may take place online.


The Workshop is held from 9:00 to 18:00 (with coffee breaks and lunch for guests and participants).