Системное программирование


Публикации

2015

  1. С.П. Вартанов, М.К. Ермаков Применение статической инструментации байт-кода языка Java для динамического анализа программ Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 25-38.
  2. М.К. Ермаков, С.П. Вартанов Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM Труды Института системного программирования РАН. Том 27, выпуск 1, 2015 г. Стр. 5-24.
  3. А. И. Гетьман, В.П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов Модель представления данных при проведении глубокого анализа сетевого трафика Труды Института системного программирования РАН. Том 27, выпуск 4, 2015 г. Стр. 5-22.

2014

  1. С.П. Вартанов, А.Ю. Герасимов. Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 375-394.
  2. С.В. Сыромятников, И.Е. Бронштейн, Н.Л. Луговской. Рефакторинг в рамках программного проекта. Труды Института системного программирования РАН. Том 26, выпуск 1, 2014 г. Стр. 395-402.

2013

  1. И.Е. Бронштейн. Вывод типов для языка Python. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 161-190.
  2. В.П. Иванников, С.П. Вартанов, М.К. Ермаков. Автоматический поиск ошибок синхронизации в приложениях на платформе Android. Труды Института системного программирования РАН. Том 24, 2013 г. Стр. 191-206.
  3. М.К. Ермаков, А.Ю. Герасимов. Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 29-38.
  4. Н.Г. Зельцер. Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 39-50.
  5. Н.Л. Луговской, С.В. Сыромятников. Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 51-66.
  6. И.Е. Бронштейн. Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования. Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 67-84.
  7. С.П. Вартанов, А.Ю. Герасимов. Применение динамического анализа для поиска дефектов в программах на языке Java Труды Института системного программирования РАН. Том 25, 2013 г. Стр. 9-28.

2012

  1. В.О. Савицкий, Д.В. Сидоров. Инкрементальный анализ исходного кода на языках C/C++. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 119-130.
  2. С. П. Вартанов, Д.В. Сидоров. Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов. Труды Института системного программирования РАН. Том 22, 2012 г. Стр. 281-292.

2011

  1. С.В. Сыромятников. Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST. Труды Института системного программирования РАН. Том 20, 2011 г. Стр. 51-68.
  2. И.К. Исаев, Д.В. Сидоров, А.Ю. Герасимов, М.К. Ермаков. Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах, использующих сетевые сокеты. Труды Института системного программирования РАН. Том 21, 2011 г. Стр. 55-70.

2010

  1. А.В. Филоненко, И.К. Исаев, Д.В. Сидоров, Ю.М. Туманов. Поиск уязвимостей по бинарному коду с помощью проверки выполнимости ограничений. Безопасность информационных технологий, №3, 2010.
  2. Исаев И.К., Сидоров Д.В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах. Программирование, №4, 2010.

2006

  1. А. Волков. Использование ролей в сценариях взаимодействия. Труды Института системного программирования РАН. Том 9, 2006 г. Стр. 193-222.

2004

  1. К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 199-210.
  2. М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Труды Института системного программирования РАН. Том 8, часть 1, 2004 г. Стр. 211-228.