About the Workshop

"Ivannikov Memorial Workshop"

The Ivannikov Memorial Workshop is devoted advances in basic IT technologies that serve as basis for modern IT Industry:

  • Technologies of program analysis, modeling and transformation.
  • Management of Data and Information Systems.
  • High Performance Computing.
  • System Software and Operating Systems.
  • Special Track on 70th anniversary of IT in USSR.

The Workshop is dedicated to the memory of outstanding Soviet and Russian scientist and developer, Academician Victor Ivannikov, Honorary Professor of Russian-Armenian University.

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 Memorial Workshop, that is to be indexed in Web of Science and Scopus. To present your research at Ivannikov Memorial Workshop please submit a paper, that was neither published nor submitted for other conferences.

We accept:

  • Extended abstracts from 1 to 2 pages A4, 12 point serif font, ordinary spacing.
  • Extended templates will be used to review the talk. They are not intended for publication.
  • Based on the results of the review the Program Committee may recommend to provide a full paper for the Workshop Proceedings.
  • Full papers 3-7 pages long in IEEE conference template. Accepted papers will be published in the Workshop Proceedings.

Contributions are accepted in English.

Link to submit your contribution: https://easychair.org/

To participate in the events of Ivannikov ISPRAS Conference please register.

Fees: free of charge.

Important Dates

  • Participants registration due to May 1, 2018;
  • Articles submission due to April 10, 2018;
  • Notification of acceptance April 15, 2018;
  • Camera ready copies: May 15, 2018.

210

Participants

15

Speakers

6

Countries

Event Schedule

Don't miss a topic on the Workshop

Thursday, 3th May

9:00

Registration, coffee

10:00

Opening and greetings: TBT

11:40

Coffee break

12:00
Yuri Shoukourian

Prof. Yu. Shoukourian, Prof. H. Astsatryan, Prof. V. Sahakyan

National Academy of Sciences of the Republic of Armenia, Armenia

"Prerequisites Establishment of a HPDA Centre of Excellence in Armenia"

Learn more
Download PDF
12:30
Dines Bjørner

Prof. Dines Bjørner

Dept. of Mathematics and Computer Science, Techn. Univ. of Denmark, Denmark

"Towards a philosophy of computing"

Learn more
Download PDF
13:00
Dionysios Tsichritzis

Prof. Dionysios (Dennis) Tsichritzis

Honorary Professor of University of Geneva

"50 years of digitalization"

Learn more
Download PDF
13:30
Assaf Schuster

Prof. Assaf Schuster

Science Department at the Technion, Israel Institute of Technology, Israel

"Recent Advances in Complex Event Processing"

Learn more
Download PDF
14:00

Lunch

15:00
Vladimir Voevodin

Prof. Vladimir Voevodin

Lomonosov Moscow State University, Russia

"How to go beyond the limitations of the Top500 methodology"

Learn more
Download PDF
15:15
Andrei Tchernykh

Prof. Andrei Tchernykh

CICESE Research Center, Ensenada, Baja California, México

"From Smart Anything to Security Everywhere"

Learn more
Download PDF
15:30
Mikhail Yakobovskiy

Mikhail Yakobovskiy, Boris Chetverushkin

KIAM RAS, Russia

"Fault-tolerant algorithms for exaflop computing systems"

Learn more
Download PDF
15:45
Vitaly Semenov

Prof. Vitaly Semenov

ISP RAS, Russia

"Multi-Disciplinarity and Emerging BIM Technologies"

Learn more
Download PDF
16:00
Alexey Khoroshilov

Alexey Khoroshilov

ISP RAS, Russia

"Key Aspects of Operating System Testing"

Learn more
Download PDF
16:15

Coffee break

16:30
Andrey Belevantsev

Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich and Dmitry Zhurikhin

ISP RAS, Russia

"Design and development of Svace static analyzers"

Learn more
Download PDF
16:45
Sevak Sargsyan

Sevak Sargsyan

Yerevan State University, Armenia

"SPLAB research for safe and effective software"

Download PDF
17:00
Denis Turdakov

Denis Turdakov

ISP RAS, Russia

"Management of Data and Information Systems"

Learn more
Download PDF
17:15
Tsolak Ghukasyan

Tsolak Ghukasyan

Russian-Armenian University, Armenia

"Development of Text Processing Tools for Armenian and Integration into Texterra"

Learn more
Download PDF
17:30
Vartan Padaryan

V. Padaryan, M. Solovyev, A. Getman, K. Batuzov, V. Efimov, M. Bakulin, S. Panasenko, O. Goremykin

ISP RAS, Russia

"Methods and software tools for analysis of binary code security"

Learn more
Download PDF
17:45
Vladimir Makarov

Vladimir Makarov

Novgorod State University, Russia

"QEMU-based tools"

Learn more
Download PDF
18:00

Summary

Friday, 4th May

11:00

Installation of the Khachkar to Academician Victor Petrovich Ivannikov will be held in Khor Virap.

The ceremony will be starts at 11:00.

Transfer will be organized from ibis Yerevan Center hotel at 8:30 am. Hotel's address: Republic of Armenia, Yerevan, Northern Avenue, 5/1.

12:30

Lunch

13:30

Alexey Borodin, Dmitry Zhurikhin, Andrey Belevantsev, Alexey Izbyshev

ISP RAS

Deterministic static analysis

13:45

Evgeny Kudryashov

Static Analysis of dlsym-like Function Calls

14:00

Nikita Kataev

KIAM RAS

LLVM based approach to static analysis of C programs in SAPFOR

14:15

Vahagn Vardanyan, Hayk Aslanyan, Grigor Keropyan, Shamil Kurmangaleev, Seda Movsisyan, Gregory Ivanov

ISP RAS

Interprocedural Static Analysis of Executable Code for Defects Detection

14:30

Coffee break

15:00

Alexander Gerasimov, Leonid Kruglov

Reachability Confirmation of Statically Detected Defects Using Dynamic Analysis

15:15

Seryozha Asryan, Sevak Sargsyan, Shamil Kurmangaleev, Maxim Mishechkin, Matevos Mehrabyan

Grammar-based Fuzzing

15:30

Vasily Efimov, Vartan Padaryan

Peripheral device register support for source code boilerplate generator of QEMU Development Toolkit

15:45

Mikhail Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey Smolov, Andrei Tatarnikov

ISP RAS

Test program generator MicroTESK for RISC-V

16:00

Ruben Aghajanyan

The method of machine identification of nonconformities in stochastic control systems by corrective and preventive actions

16:15

Coffee break

16:45

Eliza Gyulgyulyan, Julien Aligon, Franck Ravat, Hrachya Astsatryan

Towards a less tedious data quality problem-solving in Big Data

17:00

Artur Mkoyan and Hrachya Astsatryan

Energy and Performance Studies on Hadoop over RDMA

17:15

Aram Kocharyan, Boris Teabe, Vlad Nitu, Alain Tchana, Daniel Hagimont, Hrachya Astsatryan, Hayk Kocharyan

Intra-node Cooperative Memory Management System for Virtualized Environments

17:30

Matvey Kraposhin, Sergei Strijhak, Joern Beilke, Ahmad Al-Zoubi, Viktoria Korchagova

Comparison of open-source and commercial packages computational algorithms efficiency for the problems of supersonic compressible jet flow simulation

17:45

Alexander Bondarev, Vladimir Galaktionov, Artem Kuvshinnikov

Analysis of the effectiveness of the DVM / DVMH technology for the parallel solution of the Burgers parametric equation

18:00

Gennadi Malaschonok, Evgeni Ilchenko

Recursive Matrix Algorithms in Commutative Domain for Cluster with Distributed Memory

Speakers


Yuri Shoukourian

Prof. Yuri Shoukourian

Vice-President of the National Academy of Sciences of the Republic of Armenia, Member of the Presidium of the NAS RA.

Vladimir Sahakyan

Prof. Vladimir Sahakyan

Director of Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia.

Dionysios Tsichritzis

Prof. Dionysios (Dennis) Tsichritzis

Honorary Professor University of Geneva.

Arutyun Avetisyan

Prof. Arutyun Avetisyan

Corresponding member of RAS. Director of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.

Ruben Topchyan

Prof. Ruben Topchyan

Director of National Center for Professional Education Quality Assurance Foundation, Armenia.

Assaf Schuster

Prof. Assaf Schuster

ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.

Dines Bjørner

Prof. Dines Bjørner

PhD, Dr.h.c., Prof. Emeritus, DTU Compute, Dept. of Mathematics and Computer Science, Techn.Univ.of Denmark, DK-2800 Kgs.Lyngby, Denmark MAE, MRANS, ACM Fellow, IEEE Fellow.

Vladimir Voevodin

Prof. Vladimir Voevodin

Corresponding member of RAS. Deputy Director of MSU Research Computing Center, Russia.

Andrei Tchernykh

Prof. Andrei Tchernykh

CICESE Research Center, Ensenada, Baja California, México.

Mikhail Yakobovskiy

Prof. Mikhail Yakobovskiy

Corresponding member of RAS. Keldysh Institute of Applied Mathematics of Russian Academy of Sciences, Russia.

Programme Committee

  1. Prof. Igor Petrov, Corresponding member of RAS. Head of the MIPT Department of Informatics and Computational Mathematics, Russia.
  2. Prof. Dines Bjørner, Emeritus of Computing Science, Department of Mathematics and Computer Science, Technical University of Denmark.
  3. Prof. Assaf Schuster, ACM Fellow and IEEE Fellow, Professor of the Computer Science Department at the Technion, Israel Institute of Technology.
  4. Prof. Yuri Shoukourian, Vice-President of the National Academy of Sciences of the Republic of Armenia, Member of the Presidium of the NAS RA.
  5. Prof. Armen Darbinyan, Rector of the Russian-Armenian University. Corresponding member of the National Academy of Sciences of the Republic of Armenia.
  6. Prof. Vladimir Sahakyan, Director of Institute for Informatics and Automation Problems of the National Academy of Sciences of the Republic of Armenia.
  7. Prof. Ivan Arzhantsev, Dean of the Faculty of Computer Science, Higher School of Economics, Russia.
  8. Sergei Prokhorov, Associate Professor, Leading Research Officer of the Vavilov Institute for History of Science and Technology of the Russian Academy of Sciences, Russia.
  9. Vartan Padaryan, Associate Professor, Leading Research Officer of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  10. Andrey Belevantsev, Associate Professor, Leading Research Officer of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  11. Nikolay Pakulin, Scientific Secretary of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  12. Denis Turdakov, Associate Professor, Head of Department, Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.
  13. Alexey Khoroshilov, Associate Professor, Leading Research Officer of the Ivannikov Institute for System Programming of the Russian Academy of Sciences, Russia.

Organizers & Partners

They helping us make this workshop better.

Venue Information


May 3, 2018, 09:30 am. Unveiling of the Conference. Russian-Armenian University, Republic of Armenia, Yerevan, 123 Hovsep Emin street.

May 4, 2018, 11:00 am. The official opening of Khachkar, dedicated to the memory of Academician of RAS Viktor Petrovich Ivannikov, Khor Virap.