Ivannikov ISP RAS Open Conference

Main track (Blue Hall)

Discussion: RAS leaders, members of Russian government, RAS institutes, universities, ISP RAS scientific and business partners.

"ISP RAS: 25 years of development and growth"

Assaf Schuster¹

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

"Challenges in applying Machine Learning for Healthcare"

Karan Bhatia¹, Leonid Kuligin²

¹Head of Global Public Policy and Government Relations, New-York, USA, ² Machine Learning Engineer, Google, Google Cloud

"Accelerating Scientific Advances with Cloud Infrastructures"

Peter Pleshachkov¹

¹ Core Software Engineer (Distributed Systems) at Hazelcast

"Hazelcast: distributed data structures to scale your app out"

Andrey Demichev¹, Alexander Kryukov¹, Nikolai Prikhod'ko¹

¹ SINP MSU

"Metadata driven data management in distributed computing environments with partial or complete lack of trust between user groups"

Anton Teslyuk¹, Sergey Bobkov¹, Viacheslav Ilyin¹, Vasily Velikhov¹

¹ NRC "Kurchatov Institute"

"Kubernetes container orchestration as a framework for flexible and effective scientific data analysis pipelines"

Valentina Litovchenko¹, Evgeniy Ivashko²

¹ Petrozavodsk State University, ² Institute of Applied Mathematical Research, KarRC RAS

"Dynamic forecasting of the completion time of a computational experiment in a Desktop Grid"

Viktor Kuchukov¹, Mikhail Babenko¹

¹ NCFU

"The application of modular arithmetic for matrix calculations"

Andrey Skobtsov¹, Anna Kalenkova¹

¹ HSE

"Efficient Algorithms for Finding Differences Between Process Models"

Maxim Ryndin¹, Denis Turdakov¹

¹ ISP RAS

"Domain adaptation by proactive labeling"

I.B. Petrov¹, N.I. Khokhlov²

¹ Corresponding member of RAS, Doctor of Science, Head of Chair of Informatics, MIPT, ² 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"

Tomáš Bodnár¹

¹ Czech Technical University in Prague and Institute of Mathematics.

"Far-Field Boundary Conditions for Stably Stratified Flows"

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"

Vladimir Sudakov¹, Vladimir Osipov¹, Yury Nechaev¹, Alexander Vasilyev¹

¹ Keldysh Institute of Applied Mathematics, RAS

"The study of neurodynamic systems of continuous adaptive control"

Mikhail Zaitsev¹

¹ IBRAE RAS

"Numerical studies of unsteady motion of continuous flows"

Natalia Tuchkova¹, Konstantin Belyaev¹, Gury Mickailov¹

¹ FITS IU RAS, ² Institute of Oceanology P.P. Shirshova

"Numerical Experiments with the coupled ocean-earth-atmosphere circulation model and analysis of decadal variability of its main physical characteristics"

Konstantin Belyaev¹, Andrey Kuleshov², Ilya Smirnov³

¹ Institute of Oceanology P.P. Shirshova, ² Keldysh Institute of Applied Mathematics, RAS, ³ 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"

Konstantin Koshelev¹, Sergei Strijhak¹

¹ ISP RAS

"Simulation of particle dynamics in planetary boundary layer and in a model wind farm"

Aleksandr Ivanov¹, Sergei Strijhak²

¹ Keldysh Institute of Applied Mathematics, RAS, ² ISP RAS

"Modeling weather conditions in the port area and in the coastal zone of Tiksi Bay"

Nikolaj Bjørner¹

¹ 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"

Youil Kim¹

¹ Samsung Research

"Using Svace static analysis tool in Samsung environments"

Aleksei Nedoria¹

¹ Languages and Frameworks Head, Huawei Russian Research Institute, St. Petersburg

"Language Design: OOP or not OOP or better OOP"

Pavel Kosov¹, Sergey Yakushkin²

¹ Head Engineer, Huawei R&D Center, ² TechLead, Huawei R&D Center

"Profile guided optimizations for mobile devices in LLVM"

Nikita Malyshev¹, Irina Dudina¹, Daniil Kutz¹, Alexander Novikov¹, Sergey Vartanov¹

¹ ISP RAS

"SMT Solvers in Application to Static and Dynamic Symbolic Execution: a Case Study"

Yauhen Klimiankou¹

¹ Belarusian State University of Informatics and Radioelectronics

"Constexpr: a Great Good but Wrong Idea"

Gleb Morgachev¹, Valery Ignatyev¹, Andrey Belevantsev¹

¹ ISP RAS

"Detection of Variable Misuse Using Static Analysis Combined with Machine Learning"

Egor Namakonov¹, Anton Podkopaev¹

¹ SPbSU

"Compiling OCaml memory model for Power"

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.

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.

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.

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.

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

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

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.

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.

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.

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.

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

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.

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.

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.

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

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

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.

The software and performing complex, resource-intensive calculations using both containers and virtual machines. They are designed especially for the deployment of cloud environments.

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.

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.

Method for automatic recognition and classification of 12-lead ECG.

Early prediction of retinal organoid differentiation using neural networks.