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.
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: August 25, 2021 (23:59, GMT+3).
- Notification of acceptance: August 31, 2021.
- Camera ready copies: September 10, 2021.
- Participants registration: September 20, 2021.
Program analysis, modeling and transformation technologies
The section is devoted to applying program analysis techniques 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 (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.
- 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.
Data management 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.
Open source software for continuum mechanics
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.
Digital medicine
The section is devoted to theory and practice of digital transformation in medicine and healthcare and brings together medical experts discussing digital healthcare tasks and providing their requests to IT developers. The topics include:
- Big data processing in various medical fields.
- Digital healthcare and big data.
- Artificial intelligence and machine learning approaches for medical problems and managing healthcare solutions.
- Organizing data workflow between medical institutions and IT organizations.
Program analysis in secure development lifecycle
The section is devoted to applying program analysis techniques 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.
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
Friday, September 24th, 2021
Registration and Coffee Break (Conference Lobby)
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.
Lunch (Dining Hall)
Digital Medicine Roundtable (Scientific Experiments Hall)
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)
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)
Maksim Raenchuk 1, Vitaly Cheptsov 1, Alexey Khoroshilov 1
1 ISP RAS
Cross-Platform Graphics Subsystem for an ARINC 653 Compatible Real-Time Operating System
Roman Baev 1, Leonid Skvortsov 1, Evgeny Kudryashov 1, Ruben Buchatskiy 1, Roman Zhuykov 1
1 ISP RAS
Prevention of Vulnerabilities Arising from Optimization of Code with Undefined Behavior
Sevak Sargsyan 1, Movses Tovmasyan 1
1 Russian-Armenian University
A Framework for a Systematic Survey of Known Software Defects
Leonid Skvortsov 1, Roman Baev 1, Ksenia Dolgorukova 1, Eugene Sharygin 1
1 ISP RAS
Developing an LLVM-Based Compiler for Stack-Based TF16 Processor Architecture
Rafael Sadykov 1, Mikhail Mandrykin 1
1 ISP RAS
Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic Based on Quantifier Instantiation and SMT
Pavel Mezhuev 1, Alexander Gerasimov 1, Petr Privalov 1, Veronika Butkevich 1
1 Huawei Technologies
A Dynamic Algorithm for Source Code Static Analysis
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
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
Chi Thien Tran 1, Shamil Kurmangaleev 1
1 ISP RAS
Futag: Automated Fuzz Target Generator for Testing Software Libraries
Ivan Sharkov 1, Vartan Padaryan 1, Peter Henkin 2
1 ISP RAS, 2 Sberbank of Russia
Fuzzing Network Applications with Unavailable Source Code
Dmitry Larin 1, Alexander Getman 1
1 ISP RAS
High-Speed Network Traffic Capturing and Processing Tools
Maria Ikonnikova 1, Alexander Getman 1
1 ISP RAS
Network Traffic Classification Based on Its Payload Opaqueness
Daniil Kuts 1
1 ISP RAS
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
Vladimir Telezhnikov 1, Victoria Egorova 1
1 RusBiTech-Astra
Using Fuzzing Techniques in Secure Development Lifecycle of the Astra Linux Operating System
Petr Devyanin 1, Maria Leonova 1
1 RusBiTech-Astra
Improving Formal Event-B Based Role Model for Modeling Interacting Access Management Systems
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)
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
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
Konstantin Koshelev 1, Andrey Osipov 1, Sergei Strijhak 1
1 ISP RAS
Features Of Implementation an Efficient Parallel Computation Algorithm for Modeling the Ice Accretion of a Swept Wing with a GLC-305 Airfoil
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
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
Igor Kulikov 1, Igor Chernykh 1, Dmitry Karavaev 1, Anna Sapetina 1, Sergey Lomakin 1
1 ICMMG SB RAS
The Efficiency of Hydrodynamic Code on Intel Xeon Scalable Architecture
Data Management and Information Systems Track (Auditorium14)
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
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
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
Diana Rudenko 1, Kirill Skorniakov 1, Yaroslav Nedumov 1
1 ISP RAS
Legal Documents Links Extraction
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
Nikita Dorodnykh 1, Aleksandr Yurin 1, Alexey Shigarov 1, Denis Turdakov 2
1 ИДСТУ СО РАН, 2 ISP RAS
1 Matrosov Institute for System Dynamics and Control Theory
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
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
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
- Arutyun Avetisyan, Academician of RAS, ISP RAS Director.
- Mikhail Ivanchenko, Dr. Sci. Vice-Rector for Research (UNN).
- Nikolai Zolotykh, Dr. Sci., Director of the Institute of Information Technology, Mathematics and Mechanics (UNN).
- 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.
- 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.
- Petrenko Aleksander, Prof., Head of Software Engineering Department (ISP RAS).
- Andrey Belevantsev, Dr. Sci., 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
The Сonference is supported by the Ministry of Science and Higher Education of Russia, agreement № 075-15-2020-917 of 16.11.2020.
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.
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.
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.
Contacts
E-mail and phone
You may contact us by e-mail
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.
Details
The Workshop is held from 9:00 to 18:00 (with coffee breaks and lunch for guests and participants).