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:

  • Technologies of program analysis, modeling and transformation.
  • Management of data and information systems.
  • High performance computing.
  • System software and operating systems.

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.

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: July 25, 2020 25 August, 2020 (extended).
  • Notification of acceptance: August 30, 2020.
  • Camera ready copies: September 14, 2020.
  • Participants registration: September 10, 2020.

Event Schedule

September 25, 2020

9:20 - 10:00

Registration (Conference hall lobby)

10:00 - 12:00

Plenary session (Conference hall)

Invited participants: President of the RAS A.M. Sergeev, Orel region Governor А.Е. Klytchkov, Head of FSO Academy P.L. Malyshev, State Duma member О.V. Pilipenko, ISP RAS Director A.I. Avetisyan and others.

12:00 - 13:00


Data Management and Information Systems Track / Medicine of the Future Roundtable (Conference hall)

13:00 - 14:30

Medicine of the Future Roundtable

Invited participants (topics TBA)::

  • A.D. Kaprin, CEO, National Medical Research Radiological centre,
  • O.E. Karpov, CEO, National Medical and Surgical Center named after N.I. Pirogov,
  • I.Y. Kogan, Director, Research Institute of Obstetrics and Gynecology named after D.O. Ott,
  • A.V. Molochkov, Deputy Director for science and international relations, Moscow Regional Research Clinical Institute named after M.F. Vladimirsky,
  • S.V. Popov, Director, St. Luka Hospital,
  • A.N. Razumov, Head of Restorative Medicine, Rehabilitation and Balneology department, I.M. Sechenov First Moscow State Medical University and others.

14:30 - 14:50
P. Andreev

P.K. Andreev 1,5, V.V. Ananev 1,2, V.A. Makarov 1,2, Е.А. Karpulevich 1,3, D.Y. Turdakov 1,4

1 ISP RAS, 2 NovSU, 3 NRC Kurchatov Institute, 4 MSU, 5 MIPT

Diagnosis of Left Atrial and Left Ventricular Hypertrophies Using a Deep Neural Network

Download PDF
14:50 - 15:10
D. Shaikhelislamov

D.S. Shaikhelislamov 1, М.D. Drobyshevskiy 2, D.Y. Turdakov 2,3, А.К. Yatskov 2, М.I. Varlamov 2, D.А. Aivazov 1,2


Three-step Algorithms for Detection of High Degree Nodes in Online Social Networks

Download PDF
15:10 - 15:30

А. Malajyan 1, К. Avetisyan 1, T. Ghukasyan 1

1 Ivannikov Laboratory for System Programming of RAU, Erevan, Armenia

ARPA: Armenian Paraphrase Detection Corpus and Models

Download PDF
15:30 - 16:00

Coffee break

16:00 - 16:20

А.B. Teslyuk 1,2, S.А. Bobkov 1, А.S. Belyaev 1, А.Е. Filippov 1, К.N. Izotov 1, I.N. Lyalin 1, А.S. Shitov 1, L.N. Yasnopolsky 1, V.E. Velikhov 1

1 NRC Kurchatov Institute, 2 MIPT

Architecture and Deployment Details of Scalable Jupyter Environment at Kurchatov Institute Supercomputing Centre

16:20 - 16:40
A. Bogatenkova

А.О. Bogatenkova 1, I.S. Kozlov 1, O.V. Belyaeva 1, A.I. Perminov 1


Logical Structure Extraction From Scanned Documents

Download PDF
16:40 - 17:00
E. Tretyakov

Е.S. Tretyakov 3,7, М.А. Grigorieva 1,6,7, А.А. Klimentov 2, D.V. Golubkov 4,6, Т.А. Korchuganova 5,6, А.А. Alekseev 5,6, А.А. Artamonov 3,6, Т.P. Galkin 3,7

1 MSU, 2 Brookhaven National Laboratory (США), 3 MEPhI, 4 Institute for High Energy Physics of NRC Kurchatov Institute, 5 Universidad Andres Bello, Chile, 6 Plekhanov Russian University of Economics, 7 Moscow Center of Fundamental and Applied Mathematics

High Energy Physics Data Popularity: ATLAS Datasets Popularity Case Study

Download PDF
17:00 - 17:20

К.А. Skorniakov 1,2, А.S. Laskina 1,2, D.Y. Turdakov 1,3


Two Step Method for Grouping

Download PDF
17:20 - 17:40
D. Kushchuk

D.О. Kushchuk 1, М.А. Ryndin 1, А.К. Yatskov 1, М.I. Varlamov 1


Using Domain Adversarial Learning for Text Captchas Recognition

Download PDF
17:40 - 18:00
A. Perminov

A.I. Perminov 1, O.V. Belyaeva 1, I.S. Kozlov 1


Synthetic Data Usage for Document Segmentation Models Fine-tuning

Download PDF
18:00 - 18:20
A. Borisova

А.А. Borisova 1,2, V.V. Shvetcova 1, О.D. Borisenko 1


Adaptation of the TOSCA Standard Model for the Kubernetes Container Environment

Download PDF
18:20 - 18:40

V.V. Ryzhkova 1

1 Department of Applied Linguistics National Aerospace University named after N.E. Zhukovsky "KhAI", Kharkov, Ukraine

Possibilities of Computer Lexicography in Compiling Highly Specialized Terminological Printed and Electronic Dictionaries (Field of Aviation Engineering)

Download PDF

High Performance Computing Track (room 212)

13:00 - 13:20
D. Romanova

D.I. Romanova 1,2


Comparison of Different Approaches for Numerical Modeling of Flows on Mountain Slopes

Download PDF
13:20 - 13:40
D. Romanova

D.I. Romanova 1,2, S.V. Strizhak 1


Ice Accretion Modeling of a Cylinder Using a CFDDEM Approach in YADE and OpenFOAM Packages

Download PDF
13:40 - 14:00

S.V. Strizhak 1, K.B. Koshelev 1, V.G. Melnikova 1


Development of iceFoam Solver for Modeling Ice Accretion

Download PDF
14:00 - 14:20
I. Amelushkin

I.A. Amelyushkin 1,2, A.S. Scheglov 1,3

1 Central Aerohydrodynamic Institute, 2 MSU, 3 MIPT

Models of Processes Accompanying Crystallization of Supercooled Metastable Droplets

Download PDF
14:20 - 14:40

S.V. Zasukhin 1, E.S. Zasukhina 2


Determining Soil Parameters

Download PDF
14:40 - 15:00
N. Khrapov

N.P. Khrapov 1


Metrics of Efficiency and Productivity when Using the Evolutionary Algorithm on Desktop Grid

Download PDF
15:30 - 16:00

Coffee break

16:00 - 17:30

Asymmetric Response. Information Wars of the Future Roundtable

Invited participants (topics TBA):

  • A.I. Ageev, CEO, Institute for Economic Strategies,
  • O.N.Gurov, Member of Expert Council for Knowledge Economics Management of Duma Committee for Education and Science, CEO, Center For Business Competence Development,
  • D.A. Zhurenkov, Advisor for Director, International Research Institute for Advanced Systems,
  • S.V. Kushanrev, Deputy Director, International Research Institute for Advanced Systems,
  • V.E. Lepskiy, Chief Researcher, Institute of Philosophy of RAS,
  • M.I.Makstenek, Expert, Scientific-Antiterrorism Council of CIS Antiterrorist Center, Advisor for CEO, UIMC Rostec,
  • G.G. Malinetskiy, Department Head, Keldysh Institute of Applied Mathematics of RAS,
  • A.N. Raykov, CEO, New Strategies Agency,
  • M.S. Safonov, Professor, RANEPA,
  • B.B. Slavin, Scientific Advisor for Faculty of Applied Mathematics and IT, Director, Institute for Digital Economy Development of Financial University and others.

Program Analysis, Verification, and Transformation Technologies Track / Cybersecurity Roundtable (room 201)

13:00 - 13:20
A. Filatov

A.Y. Filatov 1, V.V. Mikheev 2

1 NSU, 2 Huawei Novosibirsk Research Center

Evaluation of Thread-Local Garbage Collection

Download PDF
13:20 - 13:40

H. Aslanyan 1, M. Arutunian 1, G. Keropyan 2, Sh. Kurmangaleev 3, V. Vardanyan 1

1 Russian-Armenian Univerisity, Yerevan, Armenia, 2 Yerevan State University, Yerevan, Armenia, 3 ISP RAS

BinSide։ Static Analysis Framework for Defects Detection in Binary Code

Download PDF
13:40 - 14:00
I. Trepakov

I.S. Trepakov 1, P.E. Pavlov 2

1 NSU, 2 Huawei Novosibirsk Research Center

Compact Interface Method Table Layout

Download PDF
14:00 - 14:20
A. Fedotov

A.N. Fedotov 1, Sh.F. Kurmangaleev 1


CASR: Core Dump Analysis and Severity Reporter Tool

Download PDF
14:20 - 14:40

I.V. Shchepetkov 1, A.V. Khoroshilov 1, V.V. Kuliamin 1, A.K. Petrenko 1


A State-based Refinement Technique for Event-B

Download PDF
14:40 - 15:00
M. Leonova

M.A. Leonova 1, P.N. Devyanin 1

1 RusBITech-Astra

Using Event-B Formal Language Methods for Improving Access Control Model Description of Astra Linux Special Edition OS for the Model Verification with the ProB Model Verification Tool

Download PDF
15:00 - 15:20
A. Spirin

A.A. Spirin 1, A.V. Kozachok 1, A.N. Tsibulia 1, A.I. Kozachok 1

1 FSO Academy

Classification of Pseudo-Random Sequences Based on the Random Forest Algorithm

Download PDF
15:30 - 16:00

Coffee break

16:00 - 16:20

A.V. Kozachok 1, S.A. Kopylov 1

1 FSO Academy

Estimation of Watermark Embedding Capacity with Line Space Shifting

Download PDF
16:20 - 16:40
E. Shishkin

E.S. Shishkin 1, E.S. Kislitsyn 1,2

1 InfoTeCS, 2 MSU

Protocol for Certifying Cloud Computations Integrity

Download PDF
16:40 - 17:00

E.M. Vinarskii 1,2, A.V. Demakov 2, A.S. Kamkin 2,3,4, N.V. Yevtushenko 2,4


Verifying cryptographic protocols by Tamarin Prover

Download PDF
17:00 - 18:40

Cybersecurity Roundtable

Invited participants:

  • D.N. Shevtsov, Head of Department, FSTEC of Russia (topic TBA);
  • Deploying SDL Best Practices in Postgres Professional. I.E. Panchenko (Deputy Director, Postgres Professional) and V.V. Popov (Head of IS and Certification group, Postgres Professional);
  • Fuzzing Liberica JDK’s Dynamic JIT-Compiler. A.A. Belokrylov (CEO, Bellsoft);
  • Deploying SDL Best Practices in Kaspersky Lab. D.V. Shmoylov (Head of Product Safety Group, Kaspersky Lab);
  • Cloud Infrastructure for Development. M.M. Korenberg (CTO, Ideco);
  • Threat Hunting. Proactive detection of Modern Cyberthreats. V.S. Hrykov (Head of Cybersecurity Incident Response Department, BI.ZONE Monitoring and Response Center);
  • Deploying SDL Best Practices in Russian Companies. D.V. Ponomarev (CTO, Fobos-NT Scientific and Technical Center).

Programme Committee

  1. Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
  2. Igor Petrov, Corresponding member of RAS, Head of the MIPT Department of Informatics and Computational Mathematics.
  3. Dines Bjørner, Ph.D., Professor Emeritus of Computer Science, Technical University of Denmark.
  4. Assaf Schuster, Ph.D., ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.
  5. Andrey Tchernykh, Ph.D., Professor, CICESE Research Center, Mexico.
  6. Pavel Malyshev, Head of the Federal Guard Service (FSO) Academy.
  7. Alexander Kozachok, Dr. Sci., Head of System Programming Lab in Orel, the Federal Guard Service (FSO) Academy employee.
  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. Alexander Fedotov, interim rector of Orel State University.
  12. Olga Pilipenko, the State Duma member (Committee on Education and Science).
  13. Alexander Pilipenko, head of Orel region IT department.
  14. Andrey Belevantsev, Ph.D., Head of Program Analysis and Optimization Team (ISP RAS).
  15. Alexey Khoroshilov, Ph.D., Director of Linux verification center (ISP RAS).
  16. Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
  17. Oleg Samovarov, Ph.D., Scientific Secretary (ISP RAS).
  18. Denis Turdakov, Ph.D., Head of Information Systems Department (ISP RAS).

Organizers & Partners


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.

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

Orel, Naugorskoye highway, 29.
Orel State University (OSU).


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