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.
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.
Deadlines:
- Materials submission:
July 25, 202025 August, 2020 (extended). - Notification of acceptance: August 30, 2020.
- Camera ready copies: September 14, 2020.
- Participants registration: September 10, 2020.
Technologies of program analysis, modeling and transformation
The section is devoted to optimization methods in compiler and code generation, static and dynamic program analysis, etc. The topics include:
- Binary (executable) 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.
Management of data and information systems
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.
High performance computing
The section is devoted to the open source HPC packages for solving continuum mechanics problems. The topics include:
- Turbulent flows modeling;
- Solving adjoined thermal exchange problems;
- Applied hydrodynamics, gas dynamics and aerodynamics problems;
- Development of personal problem solvers and libraries;
- Scientific visualization and processing of numerical results;
- Education on the basis of open-source software packages.
System software and operating systems
The section is devoted to methods, architectures and components of modern operating systems for reliable and efficient computing and control systems. The topics include:
- 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.
Victor Ivannikov
Victor Ivannikov (1940-2016) was a prominent scientist in the field of computer engineering and programming.
While at Institute of Precise Mechanics and Computer Engineering (IPMaCE) he became a leading member of the team responsible for creating the D-68 operating system for the BESM-6 computer. Working on advanced hardware systems Ivannikov gained extensive experience in system programming that enabled him to make notable contributions to the development of operating systems, including the creation of new ways to organize parallel processing and programming complexes.
Ivannikov also conducted numerous research projects and was responsible for important innovations in object-oriented programming, creating new cluster technology that was implemented during the creation of the AS-6 operating system and has been used in various computational complexes and supercomputers.
In 1994 he founded the Institute for System Programming of the Russian Academy of Sciences (ISP RAS) and was its first director.
Learn More
Event Schedule
September 25, 2020
Registration (Conference hall lobby)
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.
Lunch
Data Management and Information Systems Track / Medicine of the Future Roundtable (Conference hall)
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.
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
D.S. Shaikhelislamov 1, М.D. Drobyshevskiy 2, D.Y. Turdakov 2,3, А.К. Yatskov 2, М.I. Varlamov 2, D.А. Aivazov 1,2
1 MIPT, 2 ISP RAS, 3 MSU
Three-step Algorithms for Detection of High Degree Nodes in Online Social Networks
Download PDF
А. 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
Coffee break
А.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
А.О. Bogatenkova 1, I.S. Kozlov 1, O.V. Belyaeva 1, A.I. Perminov 1
1 ISP RAS
Logical Structure Extraction From Scanned Documents
Download PDF
Е.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
К.А. Skorniakov 1,2, А.S. Laskina 1,2, D.Y. Turdakov 1,3
1 ISP RAS, 2 MIPT, 3 MSU
Two Step Method for Grouping
Download PDF
D.О. Kushchuk 1, М.А. Ryndin 1, А.К. Yatskov 1, М.I. Varlamov 1
1 ISP RAS
Using Domain Adversarial Learning for Text Captchas Recognition
Download PDF
A.I. Perminov 1, O.V. Belyaeva 1, I.S. Kozlov 1
1 ISP RAS
Synthetic Data Usage for Document Segmentation Models Fine-tuning
Download PDF
А.А. Borisova 1,2, V.V. Shvetcova 1, О.D. Borisenko 1
1 ISP RAS, 2 HSE
Adaptation of the TOSCA Standard Model for the Kubernetes Container Environment
Download PDF
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)
D.I. Romanova 1,2
1 ISP RAS, 2 MSU
Comparison of Different Approaches for Numerical Modeling of Flows on Mountain Slopes
Download PDF
D.I. Romanova 1,2, S.V. Strizhak 1
1 ISP RAS, 2 MSU
Ice Accretion Modeling of a Cylinder Using a CFDDEM Approach in YADE and OpenFOAM Packages
Download PDF
S.V. Strizhak 1, K.B. Koshelev 1, V.G. Melnikova 1
1 ISP RAS
Development of iceFoam Solver for Modeling Ice Accretion
Download PDF
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
N.P. Khrapov 1
1 IITP RAS
Metrics of Efficiency and Productivity when Using the Evolutionary Algorithm on Desktop Grid
Download PDF
Coffee break
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)
A.Y. Filatov 1, V.V. Mikheev 2
1 NSU, 2 Huawei Novosibirsk Research Center
Evaluation of Thread-Local Garbage Collection
Download PDF
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
I.S. Trepakov 1, P.E. Pavlov 2
1 NSU, 2 Huawei Novosibirsk Research Center
Compact Interface Method Table Layout
Download PDF
A.N. Fedotov 1, Sh.F. Kurmangaleev 1
1 ISP RAS
CASR: Core Dump Analysis and Severity Reporter Tool
Download PDF
I.V. Shchepetkov 1, A.V. Khoroshilov 1, V.V. Kuliamin 1, A.K. Petrenko 1
1 ISP RAS
A State-based Refinement Technique for Event-B
Download PDF
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
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
Coffee break
A.V. Kozachok 1, S.A. Kopylov 1
1 FSO Academy
Estimation of Watermark Embedding Capacity with Line Space Shifting
Download PDF
E.S. Shishkin 1, E.S. Kislitsyn 1,2
1 InfoTeCS, 2 MSU
Protocol for Certifying Cloud Computations Integrity
Download PDF
E.M. Vinarskii 1,2, A.V. Demakov 2, A.S. Kamkin 2,3,4, N.V. Yevtushenko 2,4
1 MSU, 2 ISP RAS, 3 MIPT, 4 HSE
Verifying cryptographic protocols by Tamarin Prover
Download PDF
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).
Photo Gallery
Programme Committee
- Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
- Igor Petrov, Corresponding member of RAS, Head of the MIPT Department of Informatics and Computational Mathematics.
- Dines Bjørner, Ph.D., Professor Emeritus of Computer Science, Technical University of Denmark.
- Assaf Schuster, Ph.D., ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.
- Andrey Tchernykh, Ph.D., Professor, CICESE Research Center, Mexico.
- Pavel Malyshev, Head of the Federal Guard Service (FSO) Academy.
- Alexander Kozachok, Dr. Sci., Head of System Programming Lab in Orel, the Federal Guard Service (FSO) Academy employee.
- Ivan Arzhantsev, Dr. Sci., Dean of the Faculty of Computer Science, HSE.
- Andrei Raigorodskii, Dr. Sci., Director of Phystech School of Applied Mathematics and Informatics, MIPT.
- Sergey Prokhorov, Ph.D., leading researcher of the Vavilov Institute for the History of Science and Technology of the RAS.
- Alexander Fedotov, interim rector of Orel State University.
- Olga Pilipenko, the State Duma member (Committee on Education and Science).
- Alexander Pilipenko, head of Orel region IT department.
- Andrey Belevantsev, Ph.D., Head of Program Analysis and Optimization Team (ISP RAS).
- Alexey Khoroshilov, Ph.D., Director of Linux verification center (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 Information Systems Department (ISP RAS).
Organizers & Partners
Organizers
Registration
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.
Submission
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.
Past conferences
Contacts
E-mail and phone
You may contact us by e-mail
Venue address
Orel, Naugorskoye highway, 29.
Orel State University (OSU).
Details
The Workshop is held from 9:00 to 18:00 (with coffee breaks and lunch for guests and participants).