Proceedings of the Institute for System Programming of the RAS

Proceedings of ISP RAS are a double-blind peer-reviewed journal publishing scientific articles in the areas of computer science, system programming, and software engineering. The journal's goal is to develop a respected network of knowledge in the mentioned above areas by publishing high quality articles on open access.

The journal is intended for researchers, students, and practitioners. It covers a wide variety of topics including (but not limited to):

• Operating Systems.
• Compiler Technology.
• Databases and Information Systems.
• Parallel and Distributed Systems.
• Software Engineering.
• Software Modeling and Design Tools.
• Verification, Validation, and Testing.
• Static and Dynamic Analysis.
• Software Safety and Security.
• Computer Algorithms.
• Artificial Intelligence.

The journal is published one volume per year, six issues in each volume.

Editor in Chief
Avetisyan, Arutyun Ishkhanovich

Deputy Editor
Karpov, Leonid Evgen'evich

Editorial Board
Burdonov, Igor' Borisovich
Evtushenko, Nina Vladimirovna
Gaysaryan, Sergei Surenovich
Karpov, Leonid Evgen'evich
Konnov, Igor' Vladimirovich
Kosachev, Aleksandr Sergeevich
Kuzyurin, Nikolai Nikolaevich
Lastovetskii, Aleksei Leonidovich
Lomazova, Irina Aleksandrovna
Novikov, Boris Asenovich
Petrenko, Aleksandr Fedorovich
Petrenko, Alexander Konstantinovich
Schuster, Assaf
Semenov, Vitalii Adol'fovich
Shnitman, V Z
Tchernykh, Andrei Nikolaevich
Tomilin, Aleksander Nikolaevich
Virbitskaite, Irina Bonaventurovna
Voronkov, Andrei Anatol'evich