Технологии анализа, моделирования и трансформации программ

Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:

1. Обратная инженерия бинарного (исполняемого) кода

  • Методы и технологии восстановления алгоритмов;
  • Анализ исполняемого кода встроенного ПО, кода операционных систем и BIOS;
  • Анализ системного ПО и приложений мобильных платформ;
  • Технологии декомпиляции;
  • Практика применения инструментов обратной инженерии.

2. Выполнение программ в контролируемом окружении

  • Программные эмуляторы: перспективные направления развития;
  • Программно-аппаратные средства виртуализации, отладки, трассировки;
  • Технологии онлайн-анализа исполняемого кода.

3. Поиск ошибок и уязвимостей в исполняемом коде

  • Статические и динамические методы поиска ошибок в бинарном коде;
  • Целенаправленный фаззинг, символьное выполнение бинарного кода;
  • Эффективные SMT-решатели;
  • Формализация нарушений безопасности на уровне бинарного кода.

4. Анализ сетевого трафика

  • Глубокий анализ контента, методы и технические средства;
  • Обратная инженерия протоколов;
  • Инфраструктура программных средств анализа сетевого трафика.

5. Оптимизации в компиляторе и генерация кода

  • Оптимизации для статических и динамических языков;
  • Оптимизации для улучшения производительности, размера кода и энергопотребления;
  • Оптимизации, основанные на использовании профиля программы, а также техник машинного обучения;
  • Внутреннее представление программ и уровни абстракции, используемые в компиляторе.

6. Статический и динамический анализ программ

  • Техники профилирования и инструментирования кода;
  • Статические оптимизации, а также оптимизации с использованием профиля;
  • Инструменты для анализа энергопотребления, производительности, а также для отладки и тестирования.

7. Методы и инструменты анализа и тестирования программ

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

8. Запутывание программ (обфускация)

  • Технологии обфускации;
  • Технологии деобфускации;
  • Применение технологий обфускации для решения различных прикладных задач (водяные знаки, диверсификация кода, защита от обратной инженерии и др.).

Мы приглашаем исследователей присылать свои ранее не опубликованные и не представленные на других конференциях статьи и тезисы на вышеперечисленные темы. Подробнее см. раздел Публикации.

Программный комитет

Руководящий комитет

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Гарбук С.В., к.т.н., директор по научным проектам НИУ ВШЭ.
  • Гергель В.П., д.т.н., директор Института информационных технологий, математики и механики ННГУ.
  • Каляев И.А., д.т.н., академик РАН, научный руководитель направления НИИ многопроцессорных вычислительных систем ЮФУ.
  • Лютиков В.С., заместитель директора ФСТЭК России.
  • Федосов Е.А., д.т.н., академик РАН, научный руководитель ФГУП «ГосНИИАС».
  • Шустер Ассаф, профессор факультета информационных технологий Израильского технологического института «Технион».
  • Касахара Хиронори, профессор (Университет Васэда, Токио), президент IEEE Computer Society (2018).
  • Миложичич Деян, HP Labs, президент IEEE Computer Society (2014).
  • Аржанцев И.В., д.ф-м.н., декан Факультета компьютерных наук ВШЭ.
  • Погосян М.А., академик РАН, д.т.н., ректор Московского авиационного института (МАИ).
  • Райгородский А.М., д.ф.-м.н., директор Физтех-школы прикладной математики и информатики МФТИ.
  • В.В. Рубанов, к.ф.м.-н., главный технический директор (CTO) по разработке программного обеспечения Huawei R&D Russia.

Организационный комитет

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Волков Д.В., «Открытые системы», ИПМ им. М.В. Келдыша РАН.
  • Прохоров С.П., к.ф.-м.н., ведущий научный сотрудник Института истории естествознания и техники им С.И. Вавилова РАН.

Программные комитеты секций

I. Технологии анализа, моделирования и трансформации программ.

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
  • Бьорнер Н., главный научный сотрудник Microsoft Research (США).
  • Волконский В.Ю., к.т.н., АО МЦСТ.
  • Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
  • Девянин П.Н., главный научный сотрудник «РусБИТех-Астра».
  • Дроздов А.Ю., д.т.н., РЭПИ ФРТК МФТИ.
  • Козачок А.В., д.т.н., сотрудник Академии ФСО России, заведующий Лабораторией системного программирования в Орле.
  • Макаров В.А., к.т.н., ИТиС НовГУ, заведующий Лабораторией системного программирования в Великом Новгороде.
  • Якушкин С.И., руководитель направления компиляторов Huawei R&D Russia.
  • Мельник Д.М., ИСП РАН.
  • Падарян В.А., к.ф.-м.н., руководитель направления обратной инженерии бинарного кода ИСП РАН.
  • Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
  • Курмангалеев Ш.Ф., к.ф.-м.н., ИСП РАН.

II. Управление данными и информационные системы.

  • Турдаков Д.Ю., к.ф.-м.н., заведующий отделом информационных систем ИСП РАН.
  • Лукашевич Н.В., д.т.н., НИВЦ МГУ.
  • Усталов Д.А., к.ф.-м.н., «Яндекс».
  • Кузнецов С.Д., д.ф.-м.н., ИСП РАН.
  • Коршунов А.В., к.ф.-м.н., Quantum.uk.
  • Астраханцев Н.А., к.ф.-м.н., Microsoft.
  • Лизоркин Д.А., к.ф.-м.н., Google.
  • Добров Б.В., к.ф.-м.н., НИВЦ МГУ.
  • Тутубалина Е.В., к.ф.-м.н., КФУ.
  • Черных А.Н., к.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Фильченков А.А., к.ф.-м.н., ИТМО.
  • Соченков И.В., к.ф.-м.-н., ФИЦ ИУ РАН.
  • Шустер Ассаф, профессор факультета информационных технологий Израильского технологического института «Технион».

III. Решение задач механики сплошных сред с использованием СПО.

  • Крапошин М.В., к.ф.-м.н., ИСП РАН.
  • Корнев Н.В., Prof. Dr-Ing. habil., профессор Universitat Rostock.
  • Марчевский И.К., к.ф.-м.н., МГТУ им. Н.Э. Баумана.
  • Нуриев А.Н., к.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
  • Сибгатуллин И.Н., к.ф.-м.н., ИСП РАН; ИО РАН.
  • Чашечкин Ю.Д., д.ф.-м.н., ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Стрижак С.В., к.т.н., ИСП РАН.
  • Якобовский М.В., член-корр. РАН, д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
  • Елизарова Т.Г., д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
  • Терехов К.М., к.ф.-м.н., ИВМ РАН.
  • Епихин А.С., к.т.н., ИСП РАН.
  • Dr. Rusche Henrik, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Prof. Redondo J.M., Universitat Politècnica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Jackson Tellez Alvarez, Flumen Institute, Universitat Politècnica de Catalunya – Consorci Besòs Tordera.

Организаторы и партнеры

Место проведения

E-mail и телефон

По всем вопросам, связанным с участием, можно обращаться по e-mail scsec@ispras.ru или по телефону +7(495) 912-44-25.

Адрес места проведения

Москва, Ленинский проспект, дом 32А (подъезд 1, этаж 3, Синий, Зеленый и Бежевый залы). Место может быть изменено в зависимости от эпидемиологической ситуации; возможно проведение конференции в онлайн-режиме.

Детали

Конференция проводится с 9:00 до 18:00. Для гостей и участников предусмотрены кофе-брейки и обед.