Technologies of program analysis, modeling and transformation

The event is being held by joint initiative of the ISP RAS and is devoted to methods of optimization in compiler and code generation, static and dynamic program analysis, etc. Issues, examined under this event include, but are not limited to the following topics:

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.
  • David Alan Grier, 2013 IEEE Computer Society President, George Washington University.
  • Zhizhenko A.B., Prof., RAS academician.
  • Kalyaev I.A., Prof., RAS academician, RI MCS SFU.
  • Hironori Kasahara, IEEE CS President Elect 2018, President 2018, Waseda University.
  • Lyutikov V.S., FSTEC Russia.
  • Costas Stasopoulos, IEEE Director Region 8, Electricity Authority of Cyprus.
  • 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.
  • Tkachenko I.V., Prof., SPbMTU.
  • Yakobovsky M.V., Prof., Keldysh Institute of Applied Mathematics.
  • Scheglov G.A., Prof., Bauman MSTU.
  • Strizhak S.V., Ph.D., HP, 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


We solicit original and unpublished articles of current research, results or work in progress. We invite both researchers and practitioners to submit early research work or general discussions. All accepted papers will be published in the Proceedings of Ivannikov ISP RAS Open Conference, that is indexed in Web of Science and Scopus.

The papers should be 3 to 7 pages long, formatted using IEEE Manuscript Templates for Conference Proceedings. Peer review is double-blind. Please remove any references to authors, such as names, affiliations or emails, from submitted manuscripts, as well as direct references to previous work. In the case of successful review and acceptance you will be requested to submit camera-redy text with necessary author details.

Articles submission due to September 19, 2018 September 5, 2018.

Submission is open at EasyChair.

Organizing and Program Committees of Ivannikov ISP RAS Open Conference look forward for cooperation with authors to ensure a process that is both fair in practice and perceived to be fair by everyone.

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.

Hotels

Suitable Hotels and Restaurants are surrounded all the area. Here you will find our recommendations.