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

  • Arutyun Avetisyan, Prof., RAS corresponding member, ISP RAS.
  • Garbuk S.V., Ph.D., Advanced Research Foundation (ARF).
  • Gergel V.P., Prof., NNSU.
  • Zhizhenko A.B., Prof., RAS academician.
  • Kalyaev I.A., Prof., RAS academician, RI MCS SFU.
  • Lyutikov V.S., FSTEC Russia.
  • Fedosov E.A., RAS academician, FGUP GosNIIAS.
  • Dennis Tsichritzis, President of the Hellenic Foundation for Research and Innovation (ELIDEK).

Organizing Committee

  • Arutyun Avetisyan, Prof., RAS corresponding member, ISP RAS.
  • Belousov Igor, Prof., SAP .
  • Volkov Dmitry, editor-in-chief "Open Systems", senior research fellow Keldysh Institute of Applied Mathematics.
  • Ivanov Sergey, Hewlett Packard Enterprise, Russia.
  • Konyagin Dmitriy, NVIDIA.
  • Luchinin Nikolay, Dell, Russia.
  • Pakulin Nikolay, Ph.D., ISP RAS.
  • Prokhorov Sergei, Prof., MIPT.
  • Samovarov Oleg, Ph.D., ISP RAS.

Programme Committee

Technologies of program analysis, modeling and transformation

  • Arutyun Avetisyan, Prof., RAS corresponding member, ISP RAS.
  • Belevantsev Andrey, Ph.D., ISP RAS.
  • Volkonsky V.Yu., Ph.D., JSC "MCST".
  • Gaysaryan Sergey, Ph.D., ISP RAS.
  • Devyztin P.N., Prof., ISEDU .
  • Drozdov Alexander, Prof., MIPT.
  • Kanatov Alexey, Ph.D., Samsung.
  • Koverninsky I.V., FGUP GosNIIAS.
  • Kuznetsov S.D., Prof., ISP RAS.
  • Makarov Vladimir , Ph.D., NovSU.
  • Ostanevich Sergey, Intel.
  • Petrenko Aleksander, Prof., ISP RAS.
  • Proskurin Vadim, Ph.D., EMA IS.

Management of Data and Information Systems

  • Denis Turdakov, Ph.D., ISP RAS.
  • Natalia Loukachevitch, Dr. Sci., Recearch Computing Center of Moscow State University.
  • Dmitry Ustalov, Ph.D., University of Mannheim.
  • 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., Recearch 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.
  • Andrey Filchenkov, Ph.D., ITMO University.
  • Nikolai Kuzjurin, Dr. Sci., Prof., ISP RAS.
  • Vasily Velikhov, Ph.D., NRC "Kurchatov Institute".

Open source software in continuum mechanics problems solving

  • Prof J.M. Redondo, Universitat Politenica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Kornev N.V., Prof. Dr-Ing. habil., Universitat Rostock.
  • Dr. Henrik Rusche, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Chashechkin Yu D.,Prof., Ishlinsky Institute for Problems in Mechanics RAS.
  • Yakobovsky M.V., Prof., Keldysh Institute of Applied Mathematics.
  • Scheglov G.A., Prof., Bauman MSTU.
  • Strizhak S.V., Ph.D., ISP RAS.
  • Sigbatullin I.N., Ph.D., Department of Mechanics and Mathematics, Lomonosov Moscow State University.
  • Marchevskiy I.K., Ph.D., Bauman MSTU.
  • Kraposhin M.V., ISP RAS.
  • Terekhov K.M., Ph.D., INM RAS.
  • Artem Nuriev, PhD, N.I.Lobachevsky Institute of Mathematics and Mechanics.
  • Banholzer M., Universität der Bundeswehr München.
  • Traxinger C., Universität der Bundeswehr München

Organizer & Partners

Registration


To participate for this conference, please contact the Registration staff at the e-mail address isprasopen@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.

Submission is open at EasyChair.

Submissions that violate these guidelines will be rejected.

Venue Information

Where to find us

Location

The conference takes place at the Main building of the Russian Academy of Science. See the map for exact information.

Transport

To get to the venue place, you can take one of the city bus lines or railways Moscow Metro. All the services are comfortable to reach into the place.

Details

The conference is held from 9:00 to 18:00. Coffee breaks and lunch are provided for guests and participants.