About the Workshop

"Ivannikov Memorial Workshop"

The Workshop is devoted to the development of innovative technologies in system programming, which serve as a basis for modern IT industry. The main sections:

  • Technologies of program analysis, modeling and transformation.
  • Management of Data and Information Systems.
  • High Performance Computing.
  • System Software and Operating Systems.

The Workshop is dedicated to the memory of outstanding Soviet and Russian scientist and developer, Academician Victor Ivannikov, who founded the Institute for System Programming (ISP RAS) in 1994. The Workshop is organized with support of IEEE.

To present your research at Ivannikov Memorial Workshop please submit a paper, that was neither published nor submitted for other conferences. We accept original materials containing the results of research or describing the work in progress. We invite both researchers and practitioners.

Sumbission details

All the materials are accepted in English or in Russian via EasyChair

Deadlines:

  • Materials submission: Jule 10, 2019. Jule 15, 2019.
  • Notification of acceptance: August 5, 2019.
  • Camera ready copies: August 20, 2019.
  • Participants registration: August 27, 2019.

Event Schedule

Friday, 13th September

9:00 - 9:15
Arutyun Avetisyan

Arutyun Avetisyan1

1 ISP RAS

Welcome Speech at the Opening of the Ivannikov Memorial Workshop - IVMEM-2019

9:15 - 10:00
Dines Bjørner

Dines Bjørner1

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

Domain Analysis & Description - A Philosophy Basis

10:00 - 10:45
Assaf Schuster

Assaf Schuster1

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

Distributed Training of Deep Neural Networks

10:45 - 11:30
Yael Yaniv

Yael Yaniv1

1 Assistant Professor Laboratory or Department: Biomedical Eng.

How to gain biomedical big data?

11:30 - 11:45

Coffee-break


DBMS, Cloud and Big Data Infrastructure

11-45 - 12:00

Mikhail Pantilimonov, Ruben Buchatskiy, Roman Zhuykov, Eugene Sharygin, Dmitry Melnik

ISP RAS, Lomonosov Moscow State University, CMC Department

Machine Сode Сaching in PostgreSQL Query JIT-compiler

Learn more
12:00 - 12:15

Andrey Tapekhin, Oleg Velikanov, Igor Bogomolov1

1 ISP RAS

Analysis of Consistency for In Memory Data Grid Apache Ignite

Learn more
12:15 - 12:30

Dmitry Anikin, Oleg Borisenko, Yaroslav Nedumov1

1 ISP RAS

Labeled Property Graphs: SQL or NoSQL?

Learn more
12:30 - 12:45

Valeriya Shvetcova, Oleg Borisenko, Maxim Polischuk1

1 ISP RAS

Domain-specific Language for Infrastructure as Code

Learn more
12:45 - 13:00

Manuk Akopyan, Oksana Belyaeva, Timofei Plechov, Denis Turdakov1

1 ISP RAS

Text Recognition on Images from Social Media

Learn more
13:00 - 13:15

Dmitry Kovalev, Sergey Stupnikov1

1 IPI RAN

Constructing Hypothesis Lattices for Virtual Experiments in Data Intensive Research

Learn more
13:15 - 13:30

Vladimir Sazontev, Sergey Stupnikov

Lomonosov Moscow State University, IPI RAN

An extensible approach for materialized big data integration in distributed computation environments

Learn more
13:30 - 13:45

Dmitry Puzyrkov, Sergey Polyakov, Sergey Markizov, Victoria Podryga, Nikita Tarasov1

1 Keldysh Institute of Applied Mathematics (Russian Academy of Sciences)

Cloud visualization service using ParaViewWeb

Learn more
13:45 - 14:00

Irina Peganova, Alena Rebrova, Yaroslav Nedumov1

1 ISP RAS

Labelling Hierarchical Clusters of Scientific Articles

Learn more
14:00 - 14:45

Lunch


Cybersecurity and Program Analysis

14:45 - 15:00

Peter Devyanin, Alexey Khoroshilov1

1 ISP RAS, RusBITech-Astra

On experience of application of the national standard GOST R "Information security. Formal model of security policy" (draft) for Astra Linux Special Edition

Learn more
15:00 - 15:15

Maria Poltavtseva, Daria Bazarnova1

1 Peter the Great St. Petersburg Polytechnic University

Automation of Open Sources Data Processing for the Security Assessment

Learn more
15:15 - 15:30

Alexander Bugerya, Ivan Kulagin, Vartan Padaryan, Mikhail Solovev, Andrei Tikhonov1

1 Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences

Recovery of high-level intermediate representations of algorithms from binary code

Learn more
15:30 - 15:45

Ivan Vasiliev, Pavel Dovgalyuk, Vladimir Makarov, Maria Klimushenkova1

1 Yaroslav-the-Wise Novgorod State University (NovSU)

Selective Instrumentation Mechanism and its Application in a Virtual Machine

Learn more
15:45 - 16:00

Mariam Arutunian, Hayk Aslanyan, Vahagn Vardanyan

ISP RAS, Russian-Armenian University

Analysis of Program Patches Nature and Searching for Unpatched Code Fragments

Learn more
16:00 - 16:15

Sevak Sargsyan, Jivan Hakobyan1

1 Russian-Armenian University, System programming laboratory

ISP-Fuzzer: Extendable Fuzzing Framework

Learn more
16:15 - 16:30

Coffee-break


OpenFOAM and HPC Technologies

16:30 - 16:45

Kseniia Kuzmina, Ilia Marchevsky, Evgeniya Ryatina

Bauman Moscow State Technical University, ISP RAS

The VM2D Open Source Code for Incompressible Flow Simulation by Using Meshless Lagrangian Vortex Methods on CPU and GPU

Learn more
17:00 - 17:15

Daniil Ryazanov, Maxim Shatskiy, Ilias Sibgatullin1

1 ISP RAS

OpenFOAM Solver Based on Regularized Hydrodynamic Equations for High Performance

Learn more
17:15 - 17:30

Vladislav Furgailo, Andrey Ivanov, Nikolay Khokhlov1

1 Moscow Institute of Physics and Technology (MIPT)

Research of techniques to improve the performance of explicit numerical methods on the CPU

Learn more
17:30 - 17:45

Ivan Shanin, Sergey Stupnikov, Viktor Zakharov1

1 Federal Research Center "Computer Science and Control" of the Russian Academy of Science

Application of Anomaly Detection Methods in the Housing and Utility Infrastructure Data

Learn more
17:45 - 18:00

Olga Olkhovskaya, Gennadiy Bagdasarov, Vladimir Gasilov, Yulia Sharova1

1 Keldysh Institute of Applied Mathematics (Russian Academy of Sciences)

High Performance Computations for Short-lived Plasmas

Learn more

Keynotes


The list of keynote speakers is formed.

Programme Committee

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

Organizers & Partners

Registration


Contact us via e-mail scsec@ispras.ru to get instructions.

Submission


The papers should be 3 to 7 pages long, formatted using IEEE Manuscript Templates for Conference Proceedings. The workshop proceedings will be published online in IEEE Xplore Digital Library and indexed in Web of Science и Scopus. Peer review is double-blind. Please remove any references to authors (such as names, affiliations or e-mails) from submitted articles, as well as direct references to previous works. In 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.

Contacts

E-mail and phone

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

Venue address

Velikiy Novgorod, Antonovo district, 1. Novgorod State University (NovSU).

Details

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