Buffer overrun detection method in binary code

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

Authors: V.V. Kaushan

Stealth debugging of programs in Qemu emulator with WinDbg debugger

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

Authors: Abakumov M.A. | Dovgalyuk P.M.

Classification of ROP gadgets

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

Authors: A.V. Vishnyakov

Identification of transparent, compressed and encrypted data in network traffic

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

Authors: Aleksandr Igorevich Getman | Maria Kirillovna Ikonnikova

Numerical Smulation of Internal Waves and Effects of Accumulation of Kinetic Energy in Large Aspect Ratio Domains

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

Authors: Stepan Alekseevich Elistratov | Kirill Alexandrovich Vatutin | Ilias Nailevich Sibgatullin | Evgeniy Valerievich Ermanyuk | Evgeny Aleksandrovich Mikhailov

HPC cloud system design and implementation

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

Authors: A.O. Kudryavtsev | V.K. Koshelev | A.O. Izbyshev | I.A. Dudina | Sh.F. Kurmangaleev | A.I. Avetisyan | V.P. Ivannikov | V.E. Velikhov | E.A. Ryabinkin

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

Applying two-stage LLVM-based compilation approach to application deployment via cloud storage

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

Authors: Sergey Gaissaryan | Shamil Kurmangaleev | Kseniya Dolgorukova | Valery Savchenko | Sevak Sargsyan

Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages

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

Authors: Nikita Alexandrovich Starovoytov | Nikolay Andreevich Golovnev | Sergey Mikhailovich Staroletov

Testing of Operating Systems

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

Authors: E.A. Gerlits | V.V. Kuliamin | A.V. Maksimov | A.K. Petrenko | A.V. Khoroshilov | A.V. Tsyvarev

In anticipation of native DBMS architectures based on non-volatile main memory

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

Authors: Sergey Dmitrievich Kuznetsov

Static verification of operating system monolithic kernels

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

Authors: E.M. Novikov

Automatic API fuzzing framework

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

Authors: Sevak Senikovich Sargsyan | Vahagn Gevorgovich Vardanyan | Jivan Andranikovich Hakobyan | Anna Martirosovna Aghabalyan | Matevos Sargisovich Mehrabyan | Shamil Faimovich Kurmangaleev | Alexander Yurievich Gerasimov | Mikhail Kirilovich Ermakov | Sergey Pavlovitch Vartanov

Efficient Number Comparison in the Residue Number System based on Positional Characteristics

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

Authors: M.G. Babenko | A.N. Tchernykh | N.I. Chervyakov | V.A. Kuchukov | V. Miranda-López | R. Rivera-Rodriguez | Z. Du

ODMG and SQL object models ten years later: there are no contradictions

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

Authors: S.D. Kuznetsov

Validation Automation of UML Diagrams Created by Students

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

Authors: Tatiana Sergeevna Gasheva | Dmitry Igorevich Vlasov | Andrei Valerievich Otinov | Nataliya Nickolaevna Datsun

“Symcrete” memory Model with Lazy Initialization and Objects of Symbolic Sizes in KLEE

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

Authors: Sergey Antonovich Morozov | Aleksandr Vladimirovich Misonizhnik | Dmitry Aleksandrovich Mordvinov | Dmitry Vladimirovich Koznov | Dmitry Arkadevich Ivanov

Mathematical Modeling and Software for Calculating Regimes of Galvanic Wastewater Purification from Heavy and Nonferrous Metals in Devices with Flow-Through Three-Dimensional Electrodes

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

Authors: Valentina Vladimirovna Kuzina | Valery Konstantinovich Varentsov | Alexander Nikolaevich Koshev | Gleb Mikhailovich Kupriyankо

Application of Design Patterns in the Development of the Architecture of Monitoring Systems

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

Authors: Alexandra Alekseevna Pasinkova | Olga Leonidovna Vikentyeva

Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents

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

Authors: R.A. Nesterov | A.A. Mitsyuk | I.A. Lomazova