Program


Научная программа (предварительный вариант)

Общая часть

Торжественное открытие, пленарные доклады

Дата: 05.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
10:00-11:00 Пленарный доклад 1 Б. Мейер Проблемы программной инженерии Б. Мейер (ETH Zurich)

Дата: 06.06.2017

10:00-11:00 Пленарный доклад 2 А. Белеванцев Технологии статического анализа в безопасном цикле разработки программ: требования, задачи, возможности А. Белеванцев (ИСП РАН)
Дата: 07.06.2017
10:00-11:00 Пленарный доклад 3

Секция «Языки программирования и инструменты разработки программ»

Секция посвящена языкам программирования высокого уровня, а также инструментам разработки программ (компиляторам, инструментам статического анализа и т.п.) 

Дата: 05.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
11:30-12:00 Устный доклад 1 И. Адамович Принципы построения интерактивной системы частичных вычислений для языка Java в рамках среды программирования Eclipse И. Адамович (ИПС им. А.К. Айламазяна РАН), Ю. Климов ИПМ им. М.В. Келдыша РАН)
12:00-12:30 Устный доклад 2 Г. Крикун Генерация Eiffel-кода для Event-B Г. Крикун, В. Ривиера (Университет Иннополис)
12:30-13:00 Устный доклад 3 Н. Трошков Сравнение подходов к статической проверке типов в Jolie Б. Мингела, Н. Трошков, М. Маццара, Л. Сафина, А. Чичигин (Университет Иннополис)

Секция «Верификация микропроцессоров»

Секция посвящена вопросам анализа, верификации и тестирования микропроцессоров и другой цифровой микроэлектронной аппаратуры

Дата: 05.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада

14:00-14:30

Устный доклад 1

А. Коцыняк

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

А. Камкин, А. Коцыняк (ИСП РАН)

14:30-15:00

Устный доклад 2

М. Петроченков

Методика автономной верификации устройств микропроцессора

М. Петроченков, И. Стотланд (АО «МЦСТ»)

15:00-15:30

Устный доклад 3

С. Смолов

Обратная инженерия HDL-описаний

М. Лебедев, С. Смолов (ИСП РАН)

15:30-16:00

Устный доклад 4

А. Татарников

Поддержка тестирования многоядерных микропроцессоров в инструменте MicroTESK

А. Татарников (ИСП РАН)

Секция «Встроенные системы»

Секция посвящена проблемам проектирования и валидации встроенных программно-аппаратных систем, в том числе систем авионики

Дата: 05.06.2017

Время

Тип доклада (пленарный, устный, стендовый)

ФИО докладчика Название доклада

16:30-17:00

Устный доклад 1

А. Страх

Моделирование и валидация систем авионики

Д. Буздалов, А. Страх, С. Зеленов (ИСП РАН)

17:00-17:30

Устный доклад 2

А. Карнов

Стохастические методы анализа сложных программно-аппаратных систем

А. Карнов (ИСП РАН)

17:30-18:00

Устный доклад 3

А. Останков

Инфраструктура для управления и интеграции программно-аппаратных систем

А. Останков (ВШЭ), А. Угненко, С. Зеленов (ИСП РАН)

Секция «Спецификация требований»

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

Дата: 06.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
11:30-12:00 Устный доклад 1 А. Бормотова Семантическое отображение между требованиями на естественном языке и спецификационными драйверами. А. Бормотова, В. Скуков (Университет Иннополис)
12:00-12:30 Устный доклад 2 А. Наумчев Задание темпоральных свойств через спецификационные драйверы А. Наумчев (Университет Иннополис)
12:30-13:00 Устный доклад 3 Н. Шехов Спецификация и верификация простого торгового автомата с использованием USM Н. Шехов (Университет Иннополис)

Секция «Операционные системы»

Секция посвящена вопросам разработки и верификации операционных систем, в том числе операционных систем реального времени 

Дата: 06.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада

14:00-14:30

Устный доклад 1

К. Маллачиев

Межпартиционные вызовы процессов в операционной системе реального времени

А. Цыварев, К. Маллачиев (ИСП РАН)

14:30-15:00

Устный доклад 2

А. Емеленко

Вопросы портируемости для операционных систем реального времени

А. Емеленко (МФТИ), К. Маллачиев, А. Цыварев (ИСП РАН)

15:00-15:30

Устный доклад 3

А. Волков

Подходы к многомодульной верификации драйверов Linux

А. Волков (МГУ), И. Захаров (ИСП РАН)

15:30-16:00

Устный доклад 4

А. Васильев

Верификация ошибок использования памяти в модулях ядра операционной системы Linux с помощью символьных графов памяти

А. Васильев (ИСП РАН)

Секция «Анализ данных»

Секция посвящена анализу данных и информационному поиску 

Дата: 06.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада

16:30-17:00

Устный доклад 1

Д. Кознов

Обнаружение и управление вариативными повторами в документации программного обеспечения

Д. Луцив, Д. Кознов, К. Романовский (СПбГУ)

17:00-17:30

Устный доклад 2

Ю. Костюков

Анализ семантики документов с целью выделения архетипов

Ю. Костюков, Л. Кантеев, К. Смирнов, Д. Луцив (СПбГУ)

17:30-18:00

Устный доклад 3

Д. Давлетшина

Поисковое приложение на основе техник ранжирования и кластеризации

Д. Давлетшина (Университет Иннополис)

Секция «Формальные методы»

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

Дата: 07.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
11:30-12:00 Устный доклад 1 М. Хазеев Программная корректность М. Хазеев (Университет Иннополис)
12:00-12:30 Устный доклад 2 С. Гречаник Доказательство свойств функциональных программ методом насыщения равенствами С. Гречаник, С. Романенко (ИПМ им. М.В. Келдыша РАН)
12:30-13:00 Устный доклад 3 П. Мельниченко Извлечение предусловий безопасного использования памяти для С-программ П. Мельниченко, В. Мутилин, А. Хорошилов (ИСП РАН)
14:00-14:30 Устный доклад 4 Г. Волков Об автоматическом построении контрпримеров для условий верификации Г. Волков (ВШЭ), М. Мандрыкин (ИСП РАН)
14:30-15:00 Устный доклад 5 А. Полушкин Анализ внутреннего состояния статического верификатора А. Полушкин (МГУ)

Секция «Методы и инструменты в разных областях»

Секция посвящена применению методов и инструментов программной инженерии в разных предметных областях

Дата: 07.06.2017
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада

15:30-16:00

Устный доклад 1

С. Солонец

Анонимизация социальных сетей: подход на основе программирования в ограничениях

С. Солонец, В. Ривиера (Университет Иннополис)

16:00-16:30

Устный доклад 2

Н. Бородулин

Проектирование решателя логических головоломок

Н. Бородулин (Университет Иннополис)

16:30-17:00

Устный доклад 3

Л. Сафина

Реализация алгоритма извлечения хореографии

Л. Сафина, Ф. Монтези, М. Маццара (Университет Иннополис)

17:00-17:30

Устный доклад 4

К.Т. Хансен

Модельный подход к разработке кибер-физических систем
К.Т. Хансен