Компиляторные технологии


Публикации

Диссертации

  1. Аветисян А.И. Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения Диссертация на соискание ученой степени доктора физико-математических наук. Москва, 2012.

Другие публикации

2016

  1. Natalia Fursova Introspection of the virtual machines with system calls monitoring: student research abstract. SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pages 1582-1583, ACM New York.
  2. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 11404 GDT к Big Data. «Актуальные проблемы в современной науке и пути их решения» , 27 октября 2016.
  3. Е.А. Кудряшов, Д.М. Мельник, А.В. Монаков Оптимизация динамической загрузки библиотек на архитектуре ARM Труды Института системного программирования РАН. Том 28, выпуск 1, 2016 г. Стр. 63-80.

2015

  1. В.А. Падарян, В.В. Каушан, А.Н. Федотов. Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке. Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 373–380.
  2. Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 39-50.
  3. В.В. Каушан, А.Ю. Мамонтов, В.А. Падарян, А.Н. Федотов Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 105-126.
  4. М.С. Акопян Использование многопоточных процессов в среде ParJava Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 5-22.
  5. А.А. Белеванцев, Е.А. Велесевич Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 53-64.
  6. В.Ю.Ефимов, К.А. Батузов, В.А.Падарян Об особенностях детерминированного воспроизведения при минимальном наборе устройств Труды Института системного программирования РАН. Том 27, выпуск 2, 2015 г. Стр. 65-92.
  7. И.А. Вахрушев, В.В. Каушан, В.А. Падарян, А.Н. Федотов Метод поиска уязвимости форматной строки Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 23-38.
  8. Евгений Велесевич Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 39-48.
  9. А. И. Гетьман, В.П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов Модель представления данных при проведении глубокого анализа сетевого трафика Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 5-22.
  10. С.В. Морозов, Д.В. Ильин, В.А. Семенов, О.А. Тарлапан Библиотека ограничений для спецификации индустриальных моделей данных. Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 69-110.
  11. В.К. Кошелев, И.А. Дудина, В.И. Игнатьев, А.И. Борзилов Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Труды Института системного программирования РАН. Том 27, выпуск 5, 2015 г. Стр. 59-86.
  12. А.Е. Бородин, А.А. Белеванцев. Статический анализатор Svace как коллекция анализаторов разных уровней сложности Труды Института системного программирования РАН. Том 27, выпуск 6, 2015 г. Стр. 111-134.

2014

  1. А.И. Гетьман, В.А. Падарян Восстановление формата данных путём анализа бинарного кода: cостояние и перспективы. Журнал «Проблемы информационной безопасности. Компьютерные системы», №3, 2014.
  2. В.П. Иванников, А.А. Белеванцев, А.Е. Бородин, В.Н. Игнатьев, Д.М. Журихин, А.И. Аветисян, М.И. Леонов. Статический анализатор Svace для поиска дефектов в исходном коде программ. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 231-250.
  3. В.А. Падарян, А.И. Гетьман, М.А. Соловьев, М.Г. Бакулин, А.И. Борзилов, В.В. Каушан, И.Н. Ледовских, Ю.В. Маркин, С.С. Панасенко. Методы и программные средства, поддерживающие комбинированный анализ бинарного кода. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 251-276.
  4. П.М. Довгалюк, В.А. Макаров, В.А. Падарян, М.С. Романеев, Н.И. Фурсова. Применение программных эмуляторов в задачах анализа бинарного кода. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 277-296.
  5. Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин. Методы динамической и предварительной оптимизации программ на языке JavaScript. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 297-314.
  6. С.С. Гайсарян, Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, С.С. Саргсян. Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 315-326.
  7. Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян. Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 327-342.
  8. Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян. Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 343-356.
  9. Александр Монаков, Евгений Велесевич, Владимир Платонов, Арутюн Аветисян. Инструменты анализа и разработки эффективного кода для параллельных архитектур. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 357-374.
  10. О.И. Самоваров, С.С. Гайсарян. Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 403-420.
  11. П.М. Довгалюк, Ю.В. Маркин. Внесение неисправностей в программу с использованием детерминированного воспроизведения. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 119-136.
  12. О.В. Горемыкин. Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 87-96.
  13. В.К. Кошелев, А.О. Избышев, И.А. Дудина. Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM. Труды Института системного программирования РАН. Том 26, выпуск 2, 2014 г. Стр. 97-118.
  14. А.Е. Бородин. Статический поиск ошибок повторной блокировки семафора. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 103-112.
  15. А.Р.Нурмухаметов. Ш.Ф. Курмангалеев, В.В. Каушан, С.С. Гайсарян. Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 113-126.
  16. В.А. Падарян, В.В. Каушан, А.Н. Федотов. Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 127-144.
  17. К.Ю. Долгорукова. Обзор масштабируемых систем межмодульных оптимизаций. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 69-90.
  18. А.В. Монаков, В.А. Платонов. Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA. Труды Института системного программирования РАН. Том 26, выпуск 3, 2014 г. Стр. 91-102.
  19. А.И. Аветисян. Предисловие. Труды Института системного программирования РАН. Том 26, выпуск 5, 2014 г. Стр. 5-6.

2013

  1. С.С. Гайсарян, В.А. Падарян, А.Ю. Тихонов. Комбинированный анализ бинарного кода в задачах информационной безопасности. Материалы 22-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2013.
  2. Alexander Getman, Vartan Padaryan, Mikhail Solovyev Combined approach to solving problems in binary code analysis. Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), 2013.
  3. Ш.Ф. Курмангалеев. Методы оптимизации Cи/Cи++ - приложений распространяемых в биткоде LLVM с учетом специфики оборудования. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 127-144.
  4. А.О. Кудрявцев, В.К. Кошелев, А.О. Избышев, И.А. Дудина, Ш.Ф. Курмангалеев, А.И. Аветисян, В.П. Иванников, В.Е. Велихов, Е.А. Рябинкин. Разработка и реализация облачной системы для решения высокопроизводительных задач. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 13-34.
  5. Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, А.Р. Нурмухаметов, Р.А. Матевосян, В.П. Корчагин. О методах деобфускации программ. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 145-160.
  6. И.А. Дудина, А.О. Кудрявцев, С.С. Гайсарян. Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 35-48.
  7. М.С. Акопян, Н.Е. Андреев. Исследование и разработка шаблонов неэффективного поведения в параллельных MPI, UPC приложениях. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 49-70.

2012

  1. Pavel Dovgalyuk. Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging. Proceedings of 16th European Conference on Software Maintenance and Reengineering (CSMR’2012), 2012.
  2. Калугин М.Д., Самоваров О.И., Стрижак С.В., Лушников А.В., Каштанова Е.Н. Решение оптимизационных задач газовой динамики с использованием облачных и параллельных вычислений. Естественные и технические науки, т. 6, 2012.
  3. А.И. Аветисян. Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 11-18.
  4. А.Ю.Тихонов, А.И. Аветисян. Комбинированный (статический и динамический) анализ бинарного кода. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 131-152.
  5. И.Н. Ледовских, М.Г. Бакулин. Подход к восстановлению потока управления запутанной программы. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 153-168.
  6. В.Н. Игнатьев. Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 169-188.
  7. А.О. Кудрявцев, В.К. Кошелев, А.И. Аветисян. Перспективы виртуализации высокопроизводительных систем архитектуры x64. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 189-210.
  8. А.И. Аветисян. Планирование команд и конвейеризация циклов на современных архитектурах. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 19-32.
  9. А. Белеванцев, А. Меркулов, В. Платонов. Использование стандарта OpenCL для программирования ПЛИС. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 211-222.
  10. А.В. Монаков. Оптимизация расчётов в пакете OpenFOAM на GPU. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 223-232.
  11. Р. Жуйков, Д. Мельник, Р. Бучацкий. Программная конвейеризация циклов на платформе ARM. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 33-48.
  12. Р. Жуйков, Д. Плотников, М. Варданян. Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 49-66.
  13. К. Батузов. Задача локального распределения регистров во время динамической двоичной трансляции. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 67-76.
  14. К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян. Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 77-94.
  15. А.И. Аветисян, А.И. Гетьман. Восстановление структуры бинарных данных по трассам программ. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 95-118.
  16. М.Г. Бакулин, С.С. Гайсарян, Ш.Ф. Курмангалеев, И.Н. Ледовских, В.А. Падарян, С.М. Щевьева. Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 49-66.
  17. М.С. Акопян. Расширение модели ParJava для случая кластеров с многоядерными узлами. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 13-32.
  18. Алексей Меркулов, Андрей Белеванцев. Реализация конвейеризации циклов и встраивания присваиваний в трансляторе C-to-HDL. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 33-48.
  19. Ш.Ф. Курмангалеев, В.П. Корчагин, Р.А. Матевосян. Описание подхода к разработке обфусцирующего компилятора. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 67-76.
  20. Ш.Ф. Курмангалеев, В.П. Корчагин, В.В. Савченко, С.С. Саргсян. Построение обфусцирующего компилятора на основе инфраструктуры LLVM. Труды Института системного программирования РАН. Том 23, 2012 г. Стр. 77-92.

2011

  1. А.И. Аветисян, А.И. Гетьман, В.А. Падарян, М.А. Соловьев, А.Ю. Тихонов. Возможности среды анализа бинарного кода ТРАЛ и актуальные направления её развития. Материалы 20-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2011.
  2. В.А. Падарян, М.А. Соловьев, А.И. Кононов. Моделирование операционной семантики машинных инструкций. Журнал "Программирование", №3, 2011.
  3. К. Батузов, А. Меркулов. Оптимизация динамической двоичной трансляции. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 37-50.
  4. А.Ю.Тихонов, А.И. Аветисян. Развитие taint-анализа для решения задачи поиска программных закладок. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 9-24.
  5. Дмитрий Мельник, Александр Монаков, Арутюн Аветисян. Поддержка команд с условным выполнением в селективном планировщике команд. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 103-118.
  6. М.А. Климушенкова, В.А. Макаров. Метод автоматического восстановления переменных из трассы исполнения программы. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 119-122.
  7. Павел Довгалюк. Детерминированное воспроизведение процесса выполнения программ в виртуальной машине. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 123-132.
  8. Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов. Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 23-38.
  9. Арутюн Аветисян, Алексей Бородин. Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 39-54.
  10. Андрей Белеванцев, Алексей Кравец, Александр Монаков. Автоматическая генерация OpenCL-кода из гнезд циклов с помощью полиэдральной модели. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 5-22.
  11. А.И. Аветисян, К. Ю. Долгорукова; Ш. Ф. Курмангалеев. Динамическое профилирование программы для системы LLVM. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 71-82.
  12. А.И. Аветисян, М.С. Акопян, С.С. Гайсарян. Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 83-102.

2010

  1. П.М. Довгалюк, М.А. Климушенкова, А.М. Мухина. Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 81-90.
  2. В.А. Падарян, М.А. Соловьев, А.И. Кононов. Моделирование операционной семантики машинных инструкций. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 165-186.
  3. И.И. Каретин, В.А. Макаров. Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 187-194.
  4. А.И. Гетьман, Ю.В. Маркин, В.А. Падарян, Е.И. Щетинин. Восстановление формата данных. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 195-214.

2009

  1. Иванников, В.П., Аветисян, А.И., Гайсарян, С.С., Акопян, М.С. Особенности реализации интерпретатора параллельных программ в среде ParJava. Программирование том 35, номер 1, год 2009 , С. 10-25.
  2. Калугин М.Д., Теплухин А.В. Моделирование взаимодействия кофеина и ДНК в водном растворе. Труды международного IEEE-симпозиума по параллельным и распределнным вычислениям, 2009.
  3. Калугин М.Д., Теплухин А.В. Изучение взаимодействия кофеина с ДНК в водном растворе методом Монте-Карло с использованием параллельных вычислений. Журнал структурной химии. 2009. Т. 50. № 5. С. 878-889.
  4. А. Белеванцев, Д. Журихин, Д. Мельник. Компиляция программ для современных архитектур. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 31-50.
  5. В.А. Падарян, А.И. Гетьман, М.А. Соловьев. Программная среда для динамического анализа бинарного кода. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 51-72.
  6. А.И. Аветисян, В.В. Бабкова, А.В. Монаков. Обеспечение высокопродуктивного программирования для современных параллельных платформ. Труды Института системного программирования РАН. Том 16, 2009 г. Стр. 9-24.

2008

  1. А.И. Аветисян, С.С. Гайсарян, М.Д. Калугин, А.В. Теплухин Разработка параллельного алгоритма компьютерного моделирования водно-ионной оболочки ДНК. Труды XIII Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть I. - Иркутск: ИСЭМ СО РАН, 2008, с. 195-206.
  2. М.С. Акопян Интерпретация как средство исследования динамических свойств параллельной программы на инструментальном компьютере. Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики, сборник тезисов V Всероссийской межвузовской конференции молодых ученых, 2008 г., № 54, с. 166-168.
  3. К.Н. Долгова, А.В. Чернов. О некоторых задачах обратной инженерии. Труды Института системного программирования РАН. Том 15, 2008 г. Стр. 119-134.

2007

  1. М.Д. Калугин Разработка параллельного алгоритма компьютерного моделирования теплового движения молекул воды в среде ParJava. IV Российско-Германская школа по параллельному программированию и высокопроизводительным вычислительным системам, Новосибирск, Академгородок, 9-20 июля 2007 года, Аннотации докладов научной сессии. Вычислительные технологии. 2007. Т. 12. № 6. С. 138-142
  2. Г.Т. Маракаева. Система классификации химических проб. Труды Института системного программирования РАН. Том 13, часть 2, 2007 г. Стр. 59-76.

2006

  1. Andrey Belevantsev, Oleg Malikov. Using data flow analysis for detecting security vulnerabilities. Труды Института системного программирования РАН. Том 11, 2006 г. Стр. 83-98.
  2. Г.Т. Маракаева. Применение методов выявления закономерностей для классификации химических соединений. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 223-236.
  3. П.М. Довгалюк. Разреженная модель базовых блоков для оптимизации потоков команд. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 23-28.
  4. С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 29-42.
  5. П.В. Бойко. Метод виртуального процессора в защите программного обеспечения. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 43-50.
  6. В.С. Несов, О.Р. Маликов. Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 51-56.
  7. А. Белеванцев, М. Кувырков, Д. Мельник. Использование параллелизма на уровне команд в компиляторе для Intel Itanium. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 9-22.

2004

  1. П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 15-21.
  2. Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 169-180.
  3. С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 181-200.
  4. П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления. Труды Института системного программирования РАН. Том 8, часть 2, 2004 г. Стр. 7-14.
  5. А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 269-280.
  6. В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 41-62.
  7. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев, М.А. Миткевич. Динамическая поддержка расширений процессора в кросс-системе. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 63-88.
  8. С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. Труды Института системного программирования РАН. Том 5, 2004 г. Стр. 7-40.

2003

  1. Д.Н. Волков. Вопросы организации распределенного хранения данных в системах обработки изображений. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 177-190.
  2. А.В. Чернов. Об одном методе маскировки программ. Труды Института системного программирования РАН. Том 4, 2003 г. Стр. 85-119.

2002

  1. В.Н. Юдин. Система информационной поддержки врачебных решений, основанная на модифицированном методе динамического кластерного анализа. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 103-119.
  2. А.И. Аветисян, Д. А. Грушин, А.Г. Рыжов. Системы управления кластерами. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 39-62.
  3. П.Н. Яковенко. Средства анализа параллельных SPMD программ. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 63-85.
  4. А.В. Чернов. Анализ запутывающих преобразований программ. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 7-38.
  5. О.И. Самоваров, И.В. Арапов, В.В. Бабкова. Объектная модель JSCALA. Труды Института системного программирования РАН. Том 3, 2002 г. Стр. 87-102.

2001

  1. А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. Среда ParJava для разработки SPMD-программ для однородных и неоднородных сетей JavaVM. Труды Института системного программирования РАН. Том 2, 2001 г. Стр. 27-48.
  2. А.И. Аветисян, В.А. Падарян. Библиотека интерфейсов и классов, расширяющих язык Java средствами разработки параллельных программ в модели SPMD. Труды Института системного программирования РАН. Том 2, 2001 г. Стр. 49-64.
  3. О.И. Самоваров, С.С. Гайсарян, В.В. Бабкова. Объектные модели высокого уровня для разработки эффективных программ с параллелизмом по данным. Труды Института системного программирования РАН. Том 2, 2001 г. Стр. 5-26.
  4. К.В. Антипин, В.В. Рубанов. Проблемы организации объектно-ориентированного доступа к реляционным базам данных. Труды Института системного программирования РАН. Том 2, 2001 г. Стр. 75-88.
  5. В.П. Иванников, С.С. Гайсарян, К.В. Антипин, В.В. Рубанов. Объектно-ориентированное окружение, обеспечивающее доступ к реляционным СУБД. Труды Института системного программирования РАН. Том 2, 2001 г. Стр. 89-114.

2000

  1. С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Труды Института системного программирования РАН. Том 1, 2000 г. Стр. 26-38.