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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Гарбук С.В., к.т.н., ФПИ.
  • Гергель В.П., д.т.н., профессор, ННГУ.
  • Дэвид Алан Грир, 2013 IEEE Computer Society President, Университет Джорджа Вашингтона.
  • Жижченко А.Б., д.ф.-м.н., профессор, академик РАН, МСЦ РАН.
  • Каляев И.А., д.т.н., академик РАН, НИИ МВС ЮФУ.
  • Хиронори Касахара, IEEE CS President Elect 2017, President 2018, Университет Васэда.
  • Лютиков В.С., ФСТЭК России.
  • Костас Стасопулос, IEEE Director Region 8, Electricity Authority of Cyprus.
  • Федосов Е.А., академик РАН, ФГУП "ГосНИИАС".
  • Деннис Цикридис, президент Греческого фонда исследований и инноваций (ELIDEK).

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

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

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

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

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

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

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

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

  • Корнев Н.В., Prof. Dr-Ing. habil., профессор, Universitat Rostock.
  • Крапошин М.В., к.ф.-м.н., ИСП РАН.
  • Марчевский И.К., к.ф.-м.н., доцент, МГТУ им. Н.Э. Баумана.
  • Нуриев А., к.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
  • Сибгатуллин И.Н., к.ф.-м.н., доцент, механико-математический факультет МГУ имени М.В. Ломоносова.
  • Стрижак С.В., к.т.н., Hewlett Packard Enterprise, ИСП РАН.
  • Ткаченко И.В., д.т.н., СПбМТУ.
  • Чашечкин Ю.Д., д.ф.-м.н., профессор, ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Якобовский М.В., д.ф.-м.н., ИПМ РАН им. М.В. Келдыша.
  • Dr. Henrik Rusche, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Prof J.M. Redondo, Universitat Politenica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Banholzer M., Universität der Bundeswehr München.

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

Регистрация

Публикации


Приглашаем Вас представить результаты своей работы на одной из секций Открытой конференции ИСП РАН им. В.П. Иванникова, подготовив и прислав на рецензирование статью.

Все представленные статьи проходят тщательное независимое двойное слепое рецензирование.

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

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

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

Тезисы публиковаться не будут.

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

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

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

2. По остальным требованиям оформление статьи должно быть выполнено в одном из 2-х форматов (на выбор авторов).

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

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

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

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

4. Тезисы представляются на русском языке в соответствии с требованиями сборника трудов ИСП РАН и должны быть объемом 3 страницы.

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

Тезисы публиковаться не будут.

5. Статьи и тезисы подаются через интернет-систему EasyChair по ссылке. Срок подачи: 19 сентября 2018 г. 5 сентября 2018 г.

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

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

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

Транcпорт

Добраться до места проведения можно на городском транспорте, включая Московский метрополитен и МЦК.

Отели

Подходящие отели и рестораны находятся в шаговой доступности. Здесь вы найдете наши рекомендации.