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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Для участия в конференции необходимо зарегистрироваться и прислать на рассмотрение Программного комитета статью или тезисы доклада (подробнее см. раздел Публикации).

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

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

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Гарбук С.В., к.т.н., ФПИ.
  • Гергель В.П., д.т.н., профессор, ННГУ.
  • Жижченко А.Б., д.ф.-м.н., профессор, академик РАН, МСЦ РАН.
  • Каляев И.А., д.т.н., академик РАН, НИИ МВС ЮФУ.
  • Лютиков В.С., ФСТЭК России.
  • Федосов Е.А., академик РАН, ФГУП "ГосНИИАС".
  • Деннис Цикридис, президент Греческого фонда исследований и инноваций (ELIDEK).

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

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Белоусов Игорь, д.ф.-м.н., SAP.
  • Волков Д.В., "Открытые системы", с.н.с. ИПМ им. М.В.Келдыша РАН.
  • Иванов Сергей, Hewlett Packard Enterprise.
  • Конягин Д.Б., NVIDIA.
  • Лучинин Н.Ю., Dell.
  • Пакулин Н.В., к.ф.-м.н., ИСП РАН.
  • Прохоров С.П., к.ф.-м.н., профессор, МФТИ.
  • Самоваров О.И., к.т.н., ИСП РАН.

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

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

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Белеванцев А.А., к.ф.-м.н., ИСП РАН.
  • Волконский В.Ю., к.т.н., АО МЦСТ.
  • Гайсарян С.С., к.ф.-м.н., ИСП РАН.
  • Девянин П.Н., доцент, д.т.н., УМС УМО ИБ.
  • Дроздов А.Ю., д.т.н., РЭПИ ФРТК МФТИ.
  • Канатов А.В., Samsung.
  • Ковернинский И.В., ФГУП "ГосНИИАС".
  • Кузнецов С.Д., д.т.н., профессор, ИСП РАН.
  • Макаров В.А., к.т.н., ИТИС, НовГУ.
  • Останевич С.Ю., Intel.
  • Петренко А.К., д.ф.-м.н., профессор, ИСП РАН.
  • Проскурин В.Г., доцент, к.т.н., УМО ИБ.

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

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

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

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

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

Регистрация

Публикации


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


Правила подачи статей

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

Оформление статей должно быть выполнено в одном из двух форматов (на выбор авторов):

1. Статьи на русском языке оформляются в соответствии с требованиями, предъявляемыми к оформлению материалов для сборника трудов ИСП РАН и должны быть объемом 8-20 страниц.

2. Статьи на английском языке оформляются в соответствии с шаблоном IEEE для трудов конференций или в соответствии с требованиями сборника трудов ИСП РАН и должны быть объемом 3-7 страниц.

Работы, получившие положительные отзывы экспертов и при условии представления результатов на конференции одним из авторов, публикуются в одном из следующих сборников:

  • «Proceedings of Ivannikov ISPRAS Open Conference» (статьи сборника размещаются в электронной библиотеке IEEE Xplore и индексируются в международных индексах научного цитирования Web of Science и Scopus);
  • «Труды ИСП РАН» (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), который входит в список научных журналов ВАК, а также индексируется в Российском индексе научного цитирования (РИНЦ) и КиберЛенинке.

Окончательное решение о выборе издания для размещения публикации принимает Программный комитет Открытой конференции. Изначальный формат оформления при этом не учитывается. Авторы принятой статьи должны подготовить ее окончательную версию в соответствующем формате с учетом всех замечаний экспертов.

Заочное участие в конференции не допускается.


Правила подачи тезисов

Тезисы подаются на рецензирование в том случае, если планируется сделать доклад о начальных или промежуточных результатах незавершенного научного исследования, о ходе реализации проекта или об опыте внедрения технологии.

Тезисы необходимо представить на русском языке. Требуемый объем – 3 страницы, оформление – в соответствии с требованиями сборника трудов ИСП РАН.

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

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

Расположение

Открытая конференция ИСП РАН им. В.П. Иванникова пройдет в Москве в Главном здании Российской академии наук по адресу: Москва, Ленинский проспект, дом 32А (подъезд 1, этаж 3, Синий, Зеленый и Бежевый залы).

Транcпорт

Главное здание РАН находится в пешей доступности от станции метро «Ленинский проспект» и станции МЦК «Площадь Гагарина».

Детали

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