JOURNAL ISSUE published 2016 in Proceedings of the Institute for System Programming of the RAS

Support tools for creation and transformation of functional-dataflow parallel programs

JOURNAL ARTICLE published 2017 in Proceedings of the Institute for System Programming of the RAS

Authors: Legalov A.I. | Vasilyev V.S. | Matkovskii I.V. | Ushakova M.S.

Building obfuscation compiler based on LLVM infrastructure

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: S.F. Kurmangaleev | V.P. Korchagin | V.V. Savchenko | S.S. Sargsyan

Searching for missing library function calls using machine learning

JOURNAL ARTICLE published 2017 in Proceedings of the Institute for System Programming of the RAS

Authors: I.A. Yakimov | A.S. Kuznetsov

JOURNAL ISSUE published 2019 in Proceedings of the Institute for System Programming of the RAS

Testing of Linux File System Drivers

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: A.V. Tsyvarev | V.A. Martirosyan

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

JOURNAL ARTICLE published 2018 in Proceedings of the Institute for System Programming of the RAS

Authors: I.S. Alimova | E.V. Tutubalina

Digital Modelling of Production Engineering for Metalworking Machine Shops

JOURNAL ARTICLE published 2019 in Proceedings of the Institute for System Programming of the RAS

Authors: V.P. Kotlyarov | A.P. Maslakov | A.A. Tolstoles

Survey of memory modeling methods in static verification tools

JOURNAL ARTICLE published 2017 in Proceedings of the Institute for System Programming of the RAS

Authors: M.U. Mandrykin | V.S. Mutilin

Static detection of error of double locking of mutex

JOURNAL ARTICLE published 2014 in Proceedings of the Institute for System Programming of RAS

Authors: Alexey Borodin

Delphi object files decompiler

JOURNAL ARTICLE published 2017 in Proceedings of the Institute for System Programming of the RAS

Authors: A.A. Mikhailov | A.E. Hmelnov

JOURNAL ISSUE published 2020 in Proceedings of the Institute for System Programming of the RAS

Deriving checking sequences for nondeterministic FSMs

JOURNAL ARTICLE published 2014 in Proceedings of the Institute for System Programming of RAS

Authors: Anton Ermakov

Description of the approach to development of the obfuscating compiler

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: S.F. Kurmangaleev | V.P. Korchagin | H.A. Matevosyan

Instruction scheduling and software pipelining for modern architectures

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: Arutyun Avetisyan

Application of machine learning technology to analyze the probability of winning a tender for a project

JOURNAL ARTICLE published 2020 in Proceedings of the Institute for System Programming of the RAS

Authors: Nikita Kultin | Danila Kultin | Roman Bauer

Study of capabilities of hybrid scheme for advection terms approximation in mathematical models of compressible flows

JOURNAL ARTICLE published 2016 in Proceedings of the Institute for System Programming of the RAS

Authors: M.V. Kraposhin

Method of Symbolic Test Scenarios Automated Concretization

JOURNAL ARTICLE published 2015 in Proceedings of the Institute for System Programming of the RAS

Authors: N.V. Voinov | P.D. Drobintsev | I.V. Nikiforov | V.P. Kotlyarov | A.V. Kolchin

Dynamic compilation of expressions in SQL queries for PostgreSQL

JOURNAL ARTICLE published 2016 in Proceedings of the Institute for System Programming of the RAS

Authors: E.Y. Sharygin | R.A. Buchatskiy | L.V. Skvortsov | R.A. Zhuykov | D.M. Melnik

Recovery the structure of binary data on the program traces

JOURNAL ARTICLE published 2012 in Proceedings of the Institute for System Programming of RAS

Authors: A.I. Avetisyan | A.I. Getman