Труды института системного программирования РАН

Труды ИСП РАН – это издание с двойной анонимной системой рецензирования, публикующее научные статьи, которые относятся ко всем областях системного программирования, технологий программирования и вычислительной техники. Целью издания является формирование научно-информационной среды в этих областях путем публикации высококачественных статей в открытом доступе.

Издание предназначено для исследователей, студентов и аспирантов, а также практиков. Оно охватывает широкий спектр тем, включая, в частности, следующие:

• операционные системы;
• компиляторные технологии;
• базы данных и информационные системы;
• параллельные и распределенные системы;
• автоматизированная разработка программ;
• верификация, валидация и тестирование;
• статический и динамический анализ;
• защита и обеспечение безопасности ПО;
• компьютерные алгоритмы;
• искусственный интеллект.

Журнал издается по одному тому в год, по шесть выпусков (номеров) в каждом томе.

Главный редактор
Аветисян Арутюн Ишханович

Заместитель главного редактора
Карпов Леонид Евгеньевич

Редакционная коллегия
Вирбицкайте Ирина Бонавентуровна
Воронков Андрей Анатольевич
Коннов Игорь Владимирович
Ластовецкий Алексей Леонидович
Ломазова Ирина Александровна
Новиков Борис Асенович
Петренко Александр Федорович
Черных Андрей Николаевич
Шустер Ассаф