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

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

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

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

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

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

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

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