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:

1. Binary (executable) code reverse engineering

  • Algorithms recovery methods and technologies;
  • Analysis of embedded software executable code, operational systems and BIOS code;
  • Mobile platforms system software and applications analysis;
  • Decompilation technologies;
  • Practice in the application of reverse engineering tools.

2. Program execution in controlled environment

  • Software emulators: prospective lines of development;
  • Software-hardware virtualization tools, debugging, tracing;
  • Executable code online analysis technologies.

3. Vulnerability search in executable code

  • Static and dynamic methods of binary code bugs search;
  • Focused fuzzing, binary code symbolic execution;
  • Effective SMT-solvers;
  • Security violations formalization on binary code level;

4. Network traffic analysis

  • Content deep analysis, methods and technical tools;
  • Reverse engineering of protocols;
  • Infrastructure of software tools for network traffic analysis.

5. Compiler optimization and code generation

  • Optimizations for static and dynamic languages;
  • Optimizations for improvement of performance, code size and power consumption;
  • Optimizations based on utilization of program profile as well as machine learning techniques;
  • Programs internal representation and layers of abstraction used in the compiler.

6. Program static and dynamic analysis

  • Code profiling and instrumentation techniques;
  • Static optimizations and optimizations with the use of profile;
  • Tools for power consumption and performance analysis, debugging and testing.

7. Program analysis and testing methods and tools

  • Requirements elicitation, analysis and modeling;
  • Computing system modeling paradigms;
  • Systems design methods;
  • Software system architectures;
  • Dynamic verification and monitoring;
  • Tests building automatization;
  • Test thoroughness analysis;
  • Performance modeling, measuring and testing;
  • Computing systems protection and security analysis;
  • Integration of different verification methods;
  • Issues of inducting new technologies in engineering practice;
  • Issues of teaching software development and analysis technologies.

We invite researchers to submit their non-published and non-submitted for other conferences articles on theoretical and practical studies on the above-mentioned topics.

To become a participant of the conference you need to register.

Programme Committee

Steering committee

Steering committee

  • Arutyun Avetisyan, Prof., Academician of RAS, director of ISP RAS.
  • Garbuk S.V., Ph.D. in Technical Sciences, scientific projects director (Higher School of Economics).
  • Kalyaev I.A., Doctor of Technical Sciences, Academician of RAS, scientific supervisor (Research Institute of multiprocessor computing systems, SFU).
  • Lyutikov V.S., deputy director of FSTEC Russia.
  • Fedosov E.A., Doctor of Technical Sciences, Academician of RAS, scientific supervisor of GosNIIAS.
  • Ivan Arzhantsev, Dr. Sci., Dean of the Faculty of Computer Science, HSE.
  • Mikhail Pogosyan, Rector of Moscow Aviation Institute (MAI).
  • Andrei Raigorodskii, Dr. Sci., Director of Phystech School of Applied Mathematics and Informatics, MIPT.
  • Vladimir Rubanov, PhD, CTO Software Engineering, Huawei R&D Russia.

Organizing Committee

  • Arutyun Avetisyan, Prof., Academician of RAS, director of ISP RAS.
  • Samovarov Oleg, Ph.D., ISP RAS.
  • Volkov Dmitry, editor-in-chief ("Open Systems"), senior research fellow (Keldysh Institute of Applied Mathematics).
  • Prokhorov Sergei, Prof., chair of IEEE Computer Science Russian chapter.

Programme Committee

Program analysis, modeling and transformation technologies

  • Arutyun Avetisyan, Prof., Academician of RAS, director of ISP RAS.
  • Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  • Andrey Belevantsev, Dr. Sci., Head of Program Analysis and Optimization Team (ISP RAS).
  • Volkonsky V.Yu., Ph.D., JSC "MCST".
  • Gaysaryan Sergey, Ph.D., ISP RAS.
  • Devyanin Petr, scientific advisor, "Astra Linux".
  • Drozdov Alexander, Prof., MIPT.
  • Kozachok Aleksander, Prof., The Federal Security Service of the Russian Federation, Head of the Laboratory for System Programming in Oryol.
  • Makarov Vladimir , Ph.D., NovSU.
  • Segey Yakushkin, Head of Compiler group, Huawei R&D Russia.
  • Dmitry Melnik, ISP RAS.
  • Vartan Padaryan, Ph.D., Head of Binary Reverse Engineering Team (ISP RAS).
  • Petrenko Aleksander, Prof., Head of Software Engineering Department (ISP RAS).
  • Kurmangaleev Shamil, Ph.D., ISP RAS.

Data management and information systems

  • Denis Turdakov, Ph.D., ISP RAS.
  • Natalia Loukachevitch, Dr. Sci., Research Computing Center of Moscow State University.
  • Dmitry Ustalov, Ph.D., Yandex.
  • Kuznetsov Sergey, Dr. Sci., Professor, ISP RAS.
  • Anton Korshunov, Ph.D., Quantum.uk.
  • Nikita Astrakhantsev, Ph.D., Microsoft Corp.
  • Dmitry Lizorkin, Ph.D., Google LLC.
  • Boris Dobrov, Ph.D., Research Computing Center of Moscow State University.
  • Elena Tutubalina, Ph.D., Kazan Federal University.
  • Andrei Tchernykh, Dr. Sci., Prof., CICESE Research Centre (Ensenada, Baja California, Mexico).
  • Oleg Samovarov, Ph.D., ISP RAS.
  • Ilya Sochenkov, Ph.D., Federal Research Center of Computer Science and Management (RAS).

Open source software for continuum mechanics

  • Kraposhin M.V., ISP RAS.
  • Kornev N.V., Prof. Dr-Ing. habil., Universitat Rostock.
  • Marchevskiy I.K., Ph.D., Bauman MSTU.
  • Artem Nuriev, PhD, N.I. Lobachevsky Institute of Mathematics and Mechanics.
  • Sigbatullin I.N., Ph.D., ISP RAS; IO RAS.
  • Chashechkin Yu D., Prof., Ishlinsky Institute for Problems in Mechanics RAS.
  • Scheglov G.A., Prof., Bauman MSTU.
  • Strizhak S.V., Ph.D., ISP RAS.
  • Yakobovsky M.V., RAS corresponding member, Prof., Keldysh Institute of Applied Mathematics.
  • Yelizarova T.G., Dr.Sci., Prof., Keldysh Institute of Applied Mathematics.
  • Terekhov K.M., Ph.D., INM RAS.
  • Epikhin Andrey, Ph.D., ISP RAS.

Organizer & Partners

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-7 pages long, formatted using Templates for Conference Proceedings. Peer review is double-blind. Please remove any references to authors (such as names, affiliations or emails) from submitted manuscriptsarticles, as well as direct references to previous works. In the 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 Ivannikov ISPRAS Open Conference» (IEEE Xplore) and indexed in Web of Science and Scopus. Selected papers will be published in special issue "The Progress of Fluid Flow Computer Modelling Using Open Source Software".

Submission is open at EasyChair.

Submissions that violate these guidelines will be rejected.

Contacts and other information

E-mail and phone

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

Venue address

Moscow, Leninskiy prospect, 32A, the Main building of the RAS (not far from Moscow Metro station "Leninskiy prospect" and Moscow Central Circle station "Ploshchad Gagarina"). The venue may be changed due to the epidemiological situation; the Conference may take place online.

Details

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