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

  • 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.
  • Tikhonov Andrey, ISP RAS.

Organizer & Partners

Registration

Registration will be available soon.

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 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.