ivannikov isp ras open conference - moscow, december … · jivan hakobyan and sevak sargsyan...
TRANSCRIPT
IVANNIKOV ISP RAS OPEN CONFERENCE - MOSCOW, DECEMBER 5-6, 2019
This year Ivannikov ISP RAS Open Conference is dedicated to the Institute's 25th Anniversary.
December 5th, 2019
08:30-
09:30 Registration. Coffee (GREEN HALL - LOBBY)
09:30-
11:30
Main track (BLUE HALL)
"ISP RAS: 25 years of development and growth"
Discussion: RAS leaders, members of Russian government, RAS institutes, universities, ISP RAS scientific and business partners.
11:30-
13:30 Technology exhibition, lunch (GREEN HALL - LOBBY)
Management of Data and Information
Systems
(BEIGE HALL)
13.30-
14.00
Assaf Schuster (Science
Department at the Technion, Israel
Institute of Technology, Israel)
14:00-
14:30
Karan Bhatia (Head of Global
Public Policy and Government
Relations, New-York, USA) and
Leonid Kuligin (Machine Learning
Engineer, Google, Google Cloud)
"Accelerating Scientific Advances
with Cloud Infrastructures"
Even as cloud computing and
infrastructure as a service become
mainstream for enterprise
workloads, scientific workloads are
following close behind. In this talk,
i showcase some of the new tools
and technologies that are being
developed to help accelerate
scientific advances, from hardware
accelerators such as TPUs and
GPUs, to software advances such
as Jupyter notebooks and
Tensorflow. Then I will show some
Open source software for continuum
mechanics
(GREEN HALL)
13:30-
14:00
I.B. Petrov (Corresponding member
of RAS, Doctor of Science, Head of
Chair of Informatics, MIPT), N.I.
Khokhlov (Ph.D., Deputy Director of
Applied Geophysics Lab, MIPT)
"Application of the method of
characteristics for solving the
problems of the propagation of
dynamic wave disturbances using
high-performance computing
systems"
14:00-
14:30
Tomas Bodnar (Professor at Czech
Technical University in Prague,
Faculty of Mechanical Engineering,
Department of Technical
Mathematics. Institute of
Thermomechanics of the Academy of
Sciences of the Czech Republic)
"Far-Field Boundary Conditions for
Stably Stratified Flows"
Program analysis, modeling and
transformation technologies
(BLUE HALL)
13:30-
14:30
Nikolaj Bjorner (Principal
Researcher at Microsoft Research,
Redmond, USA)
"From North Stars to Clever
Insights - On using grand
challenges to drive new techniques
in automated theorem proving"
Modern theorem provers have in
the past decade demonstrated
immense capabilities and found
numerous practical applications.
Building a theorem prover takes
extensive empirical research,
supported by careful thought,
clever insight, and a deep
theoretical understanding of logical
formalisms and reasoning. In this
talk I describe an underlying insight
that has found its way
into Z3's core in different guises
over the years: model-based
search and saturation. Z3 is a
state-of-art theorem prover
available from Microsoft Research.
Inspiration isn't born in vacuum. A
set of north stars taken from
driving scenarios, such verifying
compilers, symbolic execution,
quantum compilation, and network
verification to name a few, have
shaped directions of research and
systems building in Z3.
real-world use cases from genomics
to ocean modeling.
14:30-
15:00
Peter Pleshachkov (Core
Software Engineer (Distributed
Systems) at Hazelcast)
"Hazelcast: distributed data
structures to scale you app out"
15:00-
15:20
Andrey Demichev, Alexander
Kryukov and Nikolai Prikhod'ko
(SINP MSU)
"Metadata driven data
management in distributed
computing environments with
partial or complete lack of trust
between user groups"
15:20-
15:40
Anton Teslyuk, Sergey Bobkov,
Viacheslav Ilyin and Vasily Velikhov (NRC "Kurchatov Institute")
"Kubernetes container
orchestration as a framework for
flexible and effective scientific data
analysis pipelines"
15:40-
16:00
Valentina Litovchenko
(Petrozavodsk State University) and Evgeniy Ivashko (Institute of
Applied Mathematical Research,
KarRC RAS)
"Dynamic forecasting of the
completion time of a computational
experiment in a Desktop Grid"
14:30-
14:50
Philippe Fraunié (Professor at
Toulon University, research director
at Mediterranean Institute of
Oceanography (M.I.O) Université
Toulon)
"Identification of turbulent model
parameters in ocean surface models"
14:50-
15:10
Vladimir Sudakov, Vladimir Osipov,
Yury Nechaev and Alexander
Vasilyev (Keldysh Institute of Applied
Mathematics, RAS)
"The study of neurodynamic systems
of continuous adaptive control"
15:10-
15:30
Mikhail Zaitsev (IBRAE RAS)
"Numerical studies of unsteady
motion of continuous flows"
14:30-
15:00
Youil Kim (Samsung Research)
"Using Svace static analysis tool in
Samsung environments"
15:00-
15:25
Aleksei Nedoria (Languages and
Frameworks Head, Huawei Russian
Research Institute, St. Petersburg)
"Language Design: OOP or not OOP
or better OOP"
15:25-
15:50
Pavel Kosov (Head Engineer,
Huawei R&D Center) and
Sergey Yakushkin (TechLead,
Huawei R&D Center)
"Profile guided optimizations for
mobile devices in LLVM"
16:00-
16:20 Сoffee break
16:20-
16:40
Viktor Kuchukov and Mikhail
Babenko (NCFU)
"The application of modular
arithmetic for matrix calculations"
16:40-
17:00
Andrey Skobtsov and Anna
Kalenkova (HSE)
"Efficient Algorithms for Finding
Differences Between Process
Models"
17:00-
17:20
Maxim Ryndin and Denis
Turdakov (ISP RAS)
"Domain adaptation by proactive
labeling"
16:25-
16:40
16:40-
16:55
15:30-
15:50
Natalia Tuchkova (FITS IU RAS),
Konstantin Belyaev (Institute of
Oceanology P.P. Shirshova) and
Gury Mickailov (FITS IU RAS)
"Numerical Experiments with the
coupled ocean-earth-atmosphere
circulation model and analysis of
decadal variability of its main
physical characteristics"
15:50-
16:10 Сoffee break
16:10-
16:30
Konstantin Belyaev (Institute of
Oceanology P.P. Shirshova), Andrey
Kuleshov (Keldysh Institute of
Applied Mathematics, RAS) and Ilya
Smirnov (MSU, Faculty of
Computational Mathematics and
Cybernetics)
"Data assimilation method for the
ocean circulation model NEMO and
its application for the calculation of
ocean characteristics in the Arctic
Zone of Russia"
16:30-
16:50
Konstantin Koshelev and Sergei
Strijhak (ISP RAS)
"Simulation of particle dynamics in
planetary boundary layer and in a
model wind farm"
15:50-
16:10 Сoffee break
16:10-
16:35
Nikita Malyshev, Irina Dudina,
Daniil Kutz, Alexander Novikov and
Sergey Vartanov (ISP RAS)
"SMT Solvers in Application to
Static and Dynamic Symbolic
Execution: a Case Study"
16:35-
17:00
Yauhen Klimiankou (Belarusian
State University of Informatics and
Radioelectronics)
"Constexpr: a Great Good but
Wrong Idea"
16:55-
17:10
17:10-
17:25
17:25-
17:40
17:40-
17:55
17:55-
18:10
18:10-
18:25
16.50-
17.10
Aleksandr Ivanov (Keldysh
Institute of Applied Mathematics,
RAS) and Sergei Strijhak (ISP RAS)
"Modeling weather conditions in the
port area and in the coastal zone of
Tiksi Bay"
17:00-
17:25
Gleb Morgachev, Valery Ignatyev
and Andrey Belevantsev (ISP RAS)
"Detection of Variable Misuse Using
Static Analysis Combined with
Machine Learning"
17:25-
17:50
Egor Namakonov and Anton
Podkopaev (SPbSU)
"Compiling OCaml memory model
for Power"
December 6th, 2019
09:30-
10:00 Registration. Coffee (GREEN HALL - LOBBY)
11:20-
13:20
Poster Session: "System programming and CFD problems" (GREEN HALL - LOBBY)
Workshop: Gathering and processing LHC
metadata
(BEIGE HALL)
10:00-
10:20
Alexei Klimentov (Brookhaven
National Laboratory, Upton, USA)
and Prof. Sergey Kuleshov
(Universidad Andrés Bello,
Santiago, Chile)
"Managing and processing Exabyte
data for LHC experiments"
10:20-
10:50
Tatiana Korchuganova (UNAB,
ISP RAS)
"A system for monitoring and
distributed data processing in
heterogeneous computing
environments for high energy
physics applications"
Open source software in continuum
mechanics problems solving
(GREEN HALL)
10:00-
10:40
Bernhard Peters (Prof. Dr.-Ing.,
The University of Luxembourg)
"Numerical Approaches to Particle-
laden Multi-phase Flows for
Industrial Applications"
10:40-
11:20
Sébastien Gadal (Professor, Aix-
Marseille University)
"The key-issues of the Geographic
Knowledge in Remote Sensing
Image Processing Artificial
Intelligence"
A tutorial: Programming Constraint
Services with Z3
(BLUE HALL)
10:00-
11:20
Nikolaj Bjorner (Principal
Researcher at Microsoft Research,
Redmond, USA) Many program verification,
analysis, testing and synthesis
queries reduce to solving
satisfiability of logical formulas.
Yet, there are many applications
where satisfiability, and optionally
a model or a proof, is insufficient.
Examples of useful additional
information include interpolants,
models that satisfy optimality
criteria, generating strategies for
solving quantified formulas,
enumerating and counting
solutions. The tutorial describes, in
an interactive way using jupyter
notebooks, logical services from
the point of view of the
Satisfiability Modulo Theories solver
Z3.
10:50-
11:20
Alexander Alekseev (UNAB, ISP
RAS)
"A platform for distributed data
analysis for ATLAS LHS
experiments in heterogeneous
environments"
11:20-
11:40 Сoffee break, poster session
Management of Data and Information
Systems
11:40-
12:00
Mikhail Drobyshevskiy, Denis
Aivazov, Denis Turdakov,
Alexander Yatskov, Maksim
Varlamov and Danil Shayhelislamov (ISP RAS)
"Collecting Influencers: a
Comparative Study of Online
Network Crawlers"
12:00-
12:20
Aram Avetisyan, Mikhail
Drobyshevskiy and Denis Turdakov
(ISP RAS)
"Predicting the Popularity of News
Stories in the Early Stages of
Dissemination"
12:20-
12:40
Anastasiia Ryzhova and Ilya
Sochenkov (Skolkovo Institute of
Science and Technology)
"Deep learning for customs
classification of goods based on
their textual descriptions analysis"
11:20-
11:40 Сoffee break, poster session
11:40-
12:00
Timofey Mukha (Chalmers
University of Technology,
Gothenburg, Sweden)
"The effect of numerical dissipation
on the predictive accuracy of wall-
modelled large-eddy simulation"
12:00-
12:20
Ekaterina Kalaushina (SPbPU),
Alexander Smirnovsky (SPbPU),
Dmitriy Brovin (STR Group, Inc.)
and Elizaveta Kolesnik (SPbPU)
"Large Eddy Simulation of turbulent
circular jet using OpenFOAM"
12:20-
12:40
Matvey Kraposhin (ISP RAS)
"Open Source Software as a
construction set for complex digital
models of technical systems"
12:40-
13:00
Victoria Korchagova, Matvey
Kraposhin, Daniil Ryazanov, Sergei
Strijhak, Kirill Vatutin, Valeriia
Melnikova, Artem Konovalchik,
Oleg Plaksenko, Maxim Konopelkin,
Maxim Kudrov and Ivan Martynov
(ISP RAS)
"Automation tool for aerodynamics
and strength numerical analysis of
radar structures based on open
source programs"
11:20-
11:40 Сoffee break, poster session
Program analysis, modeling and
transformation technologies
11:40-
12:05
E.M. Lavrishcheva (Professor, ISP
RAS)
"System modeling for applied
knowledge. Research directions for
system programming"
12:05-
12:30
Iliya Trub (Samsung Research
Russia)
"High Performance Flexible Memory
Allocators in Complex Projects"
12:30-
12:55
Aleksandr Samonov (Alexander
Mozhaysky Military Space
Academy)
"Developing automated information
system based on an ontology for
program systems quality
assessment"
12:40-
13:00
Aleksandr Lazarenko, Sergey
Avdoshin (HSE), Natalya Chichileva
(Department of Product Innovation
and Development of IB Group LLC)
and Pavel Naumov (BMSTU)
"Use cases of AI usage in
cybersecurity"
13:00-
14:00 Lunch
14:00-
14:20
Sergey Vychegzhanin and
Evgeny Kotelnikov (Vyatka State
University)
"Comparison of Named Entity
Recognition Tools Applied to News
Articles"
14:20-
14:40
Denis Zubarev and Ilya
Sochenkov (Federal Research
Center "Computer Science and
Control" of RAS)
"Cross-language document retrieval
methods"
14:40-
15:00
Ansis Ataols Berzins (University
of Latvia)
"Using i-vectors for automated
detection of language similarity"
15:00-
15:20
Mikhail Drobyshevskiy (ISP RAS)
"Methods and tools for modeling
and generating complex networks
with specific graph properties"
13:00-
14:00 Lunch
14:00-
14:20
Kirill Ovchinnikov (SPbGMTU)
"Analysis of total resistance for
different ship speeds"
14:20-
14:40
Artem Nuriev, Olga Zaitseva and
Olga Zakharova (Kazan Federal
University)
"A numerical study of vibration-
driven mechanism of propulsion in
viscous fluid"
14:40-
15:00
Daniil Ryazanov, Victoria
Korchagova, Maxim Shatskiy,
Matvey Kraposhin and Andrey
Epikhin (ISP RAS)
"The usage of open source software
for solving computational
aeroacoustics problems"
15:00-
15:20
Victoria Korchagova (ISP RAS),
Sofia Sautkina (Bauman Moscow
State Technical University) and
Ivan Fufaev (Keldysh Institute of
Applied Mathematics, RAS)
"Review of open source software
for modeling gas flows by the
Galerkin discontinuous method"
15:20-
15:40
Kseniia Kuzmina, Ilia Marchevsky
and Ryatina Evgeniya (ISP RAS)
"The Nvidia CUDA technology
capabilities usage in the simulation
of two-dimensional flows by vortex
methods"
12:55-
14:00 Lunch
14:00-
14:25
Lev Gorelikov (Ntts Modul')
"Functional modeling for embedded
software QA in real-time systems"
14:25-
14:50
Jivan Hakobyan and Sevak
Sargsyan (Yerevan State
University)
"Improving fuzzing performance by
applying interval mutations"
14:50-
15:15
Alexandr Popov
"Fuzzing Linux kernel in real life"
15.15-
15.40
N.O. Besshaposhnikov (FGU
Federal Research Center of NIISI
RAS)
"PictoWorld: An educational free of
text programming system and its
deployment experience"
15:40-
16:00 Сoffee break, poster session
15:20-
15:40
Olga Ataeva (Keldysh Institute of
Applied Mathematics, RAS)
"Developing a semantic digital
library serving as a basis for
scientific knowledge space
construction"
15:40-
16:00 Сoffee break, poster session
15:40-
16:00 Сoffee break, poster session
16:00-
16:20
Tufan Arslan and Murat Ozbulut
(Norwegian University of Science
and Technology, Trondheim,
Norway)
"GPU Simulation of Sloshing in a
Vibrating Water Tank with Smooth
Particle Hydrodynamics (SPH)
Method"
16:20-
16:40
Alexey Gurin and Alexey Baykin
(Institute of Hydrodynamics M.A.
Lavrentieva SB RAS)
"FEMEngine: finite element method
C++ code based on functional and
template metaprogramming"
16:40-
17:00
Andrei Popov, Victoria
Bondarchuk and Nikolai
Tverdokhleb (Bauman Moscow
State Technical University)
"Coupled thermohydraulic problems
simulation by particle finite element
method PFEM-2 by means of free
software"
17:00-
17:20
Evgeny Mikhailov (MSU) and Ilias
Sibgatullin (ISP RAS)
"Research of influence of regular
magnetic fields on flows in outer
rings of galaxies"
December 5th 2019, 11:30-13:30, Technology exhibition (GREEN HALL - LOBBY)
Stand 1
ANXIETY is a framework for finding errors and potential vulnerabilities during software development, QA, and deployment
phases. It is based on dynamic symbolic execution, which allows generating input data for the issues found without source code
or debugging information present in the binary. Anxiety can be used for adhering to the GOST R 56939-2016 requirements.
Stand 2
ASTRAVER TOOLSET is a deductive verification system for key software components. It allows developing and verifying
security policy models as well as proving the correctness of software modules written in the C programming language. AstraVer
is essential for ensuring the required trust levels from ADV_SPM and ADV_FSP assurance families as defined in the ISO 15408
standard.
Stand 3 BINSIDE is a static program analysis tool for finding defects in binary code. It is useful when checking programs without source
code, such as closed source 3rd party libraries, as well as assisting with required static information to dynamic analysis tools
Stand 4
CONSTRUCTIVITY 4D is a technology for creating innovative software services that is capable of processing highly dynamic
scenes and vast arrays of spatial and temporal data. It performs visual analysis of millions of objects with individual geometry
and dynamic behavior. Constructivity is deployed within the Synchro system that is used for 4D modeling of extremely large
construction sites.
Stand 5
DIGITEF is a software system based on OpenFOAM and other open source tools, as well as unique libraries developed at ISP
RAS. DigiTEF solves various application problems of gas dynamics, aerodynamics, hydrodynamics, and acoustics. It is tailored
for creating and working with highly sophisticated digital models of industrial devices. DigiTEF is included in the Unified Register
of Russian Programs (№ 5377).
Stand 6
TRAWL is a unique production level tool for analyzing various binary code features that supports multiple target processor
architectures. It does not require debug information or source code. Trawl can be used to analyze all kinds of software ranging
from boot loaders to OS kernels and user level applications. It is included in the Unified Register of Russian Programs (№ 5323).
Stand 7
ISP FUZZER is a tool for performing dynamic program analysis based on the fuzzing approach. It can detect errors, backdoors,
and vulnerabilities either with or without access to the program’s source code. ISP Fuzzer allows organizing a development
process that adheres to the GOST R 56939-2016 requirements.
Stand 8
KLEVER is a framework for checking models extracted from the source code of large software systems developed in the C
programming language. Klever provides means for automatic checking of a variety of security, robustness, and performance
requirements.
Stand 9
LINGVODOC - is a system intended for collaborative multi-user documentation of endangered languages, creating multi-
layered dictionaries and performing scientific work with the received sound and text data. It is a result of a joint project with the
Institute of Linguistics of the Russian Academy of Sciences and Tomsk State University. Lingvodoc is under active development
since 2012 and can be found on lingvodoc.ispras.ru.
Stand 10 MASIW is a toolset for developing highly reliable hardware and software systems for avionics, medicine, and other safety
critical areas. It is designed for engineers creating airborne hardware– software systems that are developed using the
integrated modular avionics (IMA) approach. MASIW can be easily adapted for other application areas.
Stand 11
MICROTESK - is an industry-targeted framework for generating test programs in the assembly language for functional
verification of microprocessors. It includes the modeling framework (building microprocessors models based on formal
specifications) and the generation framework (building test programs based on test templates).
Stand 12
PROTOSPHERE - is a system of deep packet inspection (DPI). It is the part of intrusion and information leak protection
systems. Protosphere detects inconsistencies between a protocol specification and a specific implementation. It allows to add
support quickly for new protocols (either open or closed) due to the flexibility of its internal representation.
Stand 13
RETRASCOPE is a functional verification toolkit for digital hardware designs. Retrascope provides automated engines for code
analysis, formal model extraction and functional test generation. The toolkit accepts as inputs digital hardware module
descriptions, written on the synthesizable subset of Verilog and VHDL languages, as well as their behavioral specifications.
Stand 14
SCINOON is a system for collaborative exploration of scientific papers. This software is essential for a group of researchers to
dive quickly into the new area of knowledge and to find answers on their questions, following up with tracking new research on
the topic of interest with highly customizable alerts.
Stand 15
SVACE is an essential tool of the secure software development life cycle, the main static analyzer that is used in Samsung Corp.
It detects more than 50 critical error types as well as hundreds of coding issues. Svace supports C, C++, C#, and Java. Support
for Kotlin and Go programming languages is in progress and is planned for Q4 of 2020. Svace is included in the Unified Register
of Russian Programs (№ 4047).
Stand 16
TEXTERRA is a scalable platform for extracting semantics from text. It contains the complete set of technologies for creating
multifunctional applications for text analysis. Texterra bases its semantic analysis approach in the concept identification. It is
included in the Unified Register of Russian Programs (№ 4048).
Stand 17
ISP OBFUSCATOR is a set of technologies to prevent mass exploitation of vulnerabilities resulting from errors or backdoors.
When a hacker is capable of attacking one of the devices that has a certain software installed, the rest will remain protected by
changes made by the tool to the software code.
Stand 18
SOLUTIONS FOR CREATING SERVICE ORIENTED DATA CENTERS. The software and performing complex, resource-
intensive calculations using both containers and virtual machines. They are designed especially for the deployment of cloud
environments.
Stand 19
TALISMAN is a framework for data analysis that is designed for retrieving people, community, and company data. It utilizes
modern approaches for machine learning, computer linguistics, complex network analysis and big data processing. Talisman is
capable of finding relations and their patterns by analyzing large graphs consisting of hundreds of millions of nodes.
Stand 20
ISP RAS FOUNDATION PLATFORM BASED ON QEMU. ISP RAS Foundation Platform for creating program analysis systems is
built on top of open source QEMU emulator. The software is essential for organizing multi and cross platform development. It
also supports reverse debugging and introspection features, as well as the full system emulation mode for debugging low-level
software.
Stand 21
Natalya Fursova and Pavel Dovgalyuk (NovSU)
Method for automatic recognition and classification of 12-lead ECG.
Stand 22
Evgeny Karpulevich (ISP RAS)
Early prediction of retinal organoid differentiation using neural networks.
December 6th 2019, 11:20-13:20, Open source software in continuum mechanics problems solving
(GREEN HALL - LOBBY)
Report 1
Maxim Khomenko (ILIT RAS — Branch of FSRC "Crystallography and Photonics" RAS)
Computation efficiency of S-CLSVOF method for additive manufacturing applications.
Report 2
Tatiana Stenina (MSU), Elizarova Tatiana (Keldysh Institute of Applied Mathematics, RAS), Daniil Ryazanov (ISP RAS) and
Eugene Ryabinkin (NRC «Kurchatov Institute»)
Implementation of regularized equations for the disk pump simulation problem in OpenFOAM.
Report 3
Artem Nuriev and Airat Kamalutdinov (Kazan Federal University)
Study of hydrodynamics near oscillating beams in OpenFOAM package.
Report 4
Daniil Ryazanov and Ilias Sibgatullin (ISP RAS)
Regularized Equations for Biharmonic Attractors of Internal Gravity Waves.
Report 5
Artem Kuvshinnikov and Alexander Bondarev (Keldysh Institute of Applied Mathematics, RAS)
Parametric study of the accuracy of OpenFOAM solvers for the oblique shock wave problem.
Report 6
Elena Malinovskaya (Institute of Atmospheric Physics A.M. Obukhov RAS)
Study of the conditions for the occurrence of aeolian microrelief.
Report 7
Maria Komarova (Bauman Moscow State Technical University)
Verification of SolidDisplacementFoam calculation core of OpenFOAM software.
Report 8
Daria Romanova, Sergei Strijhak, Konstantin Koshelev and Matvey Kraposhin (ISP RAS)
Modeling the reservoir flooding problem using the extended version of the porousMultiphaseFoam library.
Report 9
Mikhail Chmykhov and Victor Kozlov (NRNU MEPhI)
On numerical modeling of natural convection based on the OpenFOAM solver.
Report 10
Daria Romanova (ISP RAS)
The study of the capture of material by the flow on a slope using OpenFOAM.
Report 11
Mikhail Levin (ISP RAS)
Data selection from Big Data to design of substantial mathematical models.