Ivannikov ISP RAS Open Conference

Participants represent Russian government, Russian academy of sciences, executives of research institutes, universities, leading Russian and international IT-companies, IEEE and IEEE Computer Society executives

Plenary session: "History of continuous innovation". Devoted to the 70th anniversary of Russia’s computer science.

Start of the Conference

Tsolak Ghukasyan¹, Garnik Davtyan¹, Karen Avetisyan¹, Ivan Andrianov²

¹ System Programming Laboratory at Russian-Armenian University, ² ISP RAS

"pioNER: Datasets and Baselines for Armenian Named Entity Recognition"

N. Lazarev¹, O. Borisenko²

¹ Lomonosov Moscow State University, ² ISP RAS

"Implementing JSON operations for In-memory Data Grid as pass-through cache layer to RDBMS"

O. Borisenko ¹, D. Badalyan ¹

¹ ISP RAS

"Evaluation of SQL benchmark for distributed in-memory Database Management Systems"

I. Alimova¹, E. Tutubalina¹

¹ Kazan Federal University

"Entity-level classification of adverse drug reactions: a comparison of neural network models"

Andrei Tchernykh¹, Rewer Canosa¹, Jorge M. Cortés-Mendoza¹, Raul Rivera-Rodriguez¹, Jose Lozano Rizk¹, Zhihui Du², Arutyun Avetisyan³, Eduardo Concepción-Morales⁴

¹ CICESE Research Center, ² Tsinghua University, ³ ISP RAS, ⁴ UMET

"Energy consumption and quality of service optimization in containerized cloud computing"

Valentin Malykh¹, Taras Khakhulin¹

¹ MIPT

"Noise Robustness in Aspect Extraction Task"

Valentin Malykh¹, V. Lyalin¹

¹ MIPT

"Named Entity Recognition in Noisy Domains"

Kristina Pivovarova¹, Irina Bolodurina¹, Denis Parfenov¹

¹ Federal State Budgetary Educational Institution of Higher Education "Orenburg State University"

"Development and research of models of time mixed-frequency data on an example of the analysis of productivity of grain crops"

Suzanne Habashi¹, Cherif Salama¹, Ahmed H. Yousef¹, Hossam Fahmy¹

¹ Ain Shams University

"Adaptive Diversifying Hyper-Heuristic Based Approach for Timetabling Problems"

Prof. Leo Maas¹

¹ Utrecht University

"Wave Attractors"

Matthias Banholzer¹, Christoph Traxinger¹, Michael Pfitzner¹

¹ Bundeswehr University, Munich, Germany

"Numerical investigation of phase separation effects under high-pressure, engine-like conditions"

Sergei Strijhak¹, Arina Kryuchkova¹, Konstantin Koshelev¹

¹ ISP RAS

"Computation of flow parameters in model wind farm based on wind measurement data"

Mikhail Levin¹

¹ ISP RAS

"Numerical Investigation of Two-Phase Flows Through Essentially Heterogeneous Porous Media by High-Order Quasi-Characteristics Scheme"

Igor Kulikov¹, Igor Chernykh¹, Dmitry Karavaev¹, Viktor Protasov¹, Aleksandr Serenko¹, Vladimir Prigarin¹, Ivan Ulyanichev¹, Alexander Tutukov²

¹ Institute of Computational Mathematics and Mathematical Geophysics SB RAS, ² Institute of Astronomy RAS

"Using adaptive nested mesh code HydroBox3D for numerical simulation of Type Ia supernovae: merger of carbon-oxygen white dwarf stars, collapse, and non-central explosion"

Kirill Terekhov¹, Igor Konshin¹, Yuri Vassilevski¹

¹ Marchuk Institute of Numerical Mathematics of the RAS

"INMOST — a software platform for distributed mathematical modeling"

Mikhail Zaitsev¹, Vasilij Goloviznin¹, Sergey Karabasov²

¹ NSI RAS, ² Queen Mary University of London

"Implementation of CABARET method for polyhedral cells in OpenFOAM"

Artem Kuvshinnikov¹, Alexander Bondarev¹

¹ Keldysh Institute of Applied Mathematics

"Comparative estimation of QGDFoam solver accuracy for inviscid flow around a cone"

Vladislav Ivanishin¹, Evgeny Kudryashov¹, Alexander Monakov¹, Dmitry Melnik¹, Jehyung Lee²

¹ ISP RAS, ² Samsung Electronics, Software Center

"Pruning ELF: Size Optimization of Dynamic Shared Objects at Post-link Time"

Irina Dudina¹, Nikita Malyshev¹

¹ ISP RAS

"An approach to the C string analysis for buffer overflow detection"

Vitaly Cheptsov¹, Alexey Khoroshilov¹

¹ ISP RAS

"Dynamic Analysis of ARINC-653 RTOS with LLVM"

Grigoriy Volkov¹, Mikhail Mandrykin², Denis Efremov¹

¹ NRU HSE, ² ISP RAS

"Lemma Functions for Frama-C: C Programs as Proofs"

E.M. Lavrischeva¹

¹ ISP RAS

"Informatics and Computer-70. Analysis and development aspects"

A.V. Kozachok¹

¹ Academy of the Federal Guard Service

"TLA + based access control model specification"

Nikolay Shilov¹, Igor Anureev², Evgeny Bodin², Dmitry Kondratyev², Alexei Promsky²

¹ Innopolis University, ² A.P. Ershov Institute of Informatics Systems

"Towards platform-independent specification and verification of the standard mathematical functions"

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. Svace supports C, C++, C#, and Java. Svace is registered in the National Software Unified Register, which is kept by the Ministry of Digital Development.

BINSIDE is a tool for detecting flaws in a program using static analysis of executable code.

Anxiety is a framework for detecting errors and potentially dangerous cases in the process of development, acceptance testing and operating the software.

Binary code analysis platform based on QEMU emulator. The ISP RAS platform for program analysis is built on the basis of an open QEMU emulator, which is used when crossplatform development is needed.

ISP Obfuscator is a set of technologies to prevent mass exploitation of vulnerabilities resulting from errors or bookmarks. If the hacker is able to attack one of the devices with the common software, the rest will remain protected by changes made to the code.

Protosphere is a system of deep packet inspection (DPI). It is the part of intrusions and information leaks protection. Detects inconsistencies between protocol specification and specific implementation. Allows you to quickly add support for new (including closed) protocols due to the flexibility of the internal representation.

Klever is a static verification system that uses advanced tools to thoroughly check the security, reliability and performance of software systems developed in the GNU C language. In particular, it is used to verify the real-time OS.

MicroTESK is a reconfigurable and expandable test program generation environment for functional microprocessors verification. It allows automatically constructing test program generators for target microprocessor architectures based on their formal specifications. MicroTESK is applicable for a wide range of architectures (RISC, CISC, VLIW, DSP).

Retrascope is a tool for reverse engineering and functional verification of digital equipment descriptions. It provides automated tools for extracting and analyzing formal source code models. The tool supports synthesized subsets of Verilog and VHDL languages.

AstraVer Toolset is a system for deductive verification of key components. It allows developing and verifying security policy models, as well as providing evidence of the correctness of key components in C language. The necessary tool to achieve the goals of the ADV_SPM and ADV_FSP trust families defined in GOST R ISO / IEC 15408-3-2013.

MASIW is a set of tools for developing software and hardware packages for mission-critical systems in the field of aviation, medicine, and others. It is created for design engineers of aircraft on-board equipment developed using integrated modular avionics (IMA). It quickly adapts to other subject areas.

Constructivity 4D is a technology for creating ambitious software systems and services operating with large arrays of spatio-temporal data and dynamic scenes. It is able to conduct a visual analysis of millions of objects with different geometric representations and individual dynamic behavior. The technology is implemented in the Synchro system, designed for 4D-modeling of large industrial sites.

Texterra is a scalable platform for extracting semantics from text. It is the basic set of technologies for creating multifunctional applications. It analyzes texts using concept identification. It is included in the Unified Register of Russian software.

Talisman – big data processing solution for social and commercial information retrieval. It recognizes patterns in relationships by analyzing large graphs from hundreds of millions of nodes.

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. Joint project with the Institute of Linguistics of the Russian Academy of Sciences and Tomsk State University. Under development since 2012. Project website – lingvodoc.ispras.ru.

SciNoon is a system for researcher’s inquiry of scientific articles. Combines a number of unique features to optimize the process of searching and analyzing the results. It particularly allows you to work in a team and keep a history of user actions. Can work with big data.

Complex of solutions for creating service-oriented data processing center provides the ability to store data and perform complex, resource-intensive calculations using both containers and virtual machines. It is particularly intended for the deployment of cloud environments.