Научная программа


Общая часть

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

Дата: 30.05.2018
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
10:00-11:00 Пленарный доклад 1 К. Марше Дедуктивная верификация в Frama-C и SPARK: прошлое, настоящее и будущее

Дата: 31.05.2018

09:00-10:00 Пленарный доклад 2 Д. Бейер Верификация драйверов Linux
10:00-11:00 Пленарный доклад 3 Б. Позин Система сдана. Тестирование продолжается

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

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

Дата: 30.05.2018
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
11:30-11:45 Устный доклад 1 А. Головашкин Генерация устойчивых парсеров для островных грамматик со специальным видом Any-символаА. Головашкин (ИММИ ЮФУ), С. Михалкович (ИММИ ЮФУ)
11:45-12:00 Устный доклад 2 И. Адамович Интерактивный специализатор для подмножества Java, основанный на частичных вычисленияхИ. Адамович (ИПС РАН), А. Климов (ИПМ им. Келдыша РАН)
12:00-12:15 Устный доклад 3 А. Маркин Чувствительный к полям анализ алиасов для C и C++ с использованием путей доступаА. Маркин (МЦСТ), А. Ермолицкий (МЦСТ)
12:15-12:30 Устный доклад 4 С. Гречаник Полипрограммы: будущее насыщения равенствамиС. Гречаник (ИПМ им. Келдыша)
12:30-12:45 Устный доклад 5 А. Гудиев Графический DSL для разработки мобильных приложенийА. Гудиев (СПбГУ)

Секция «Динамический и статический анализ программ»

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

Дата: 30.05.2018

Время

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

ФИО докладчика

Название доклада

14:00-14:15

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

А. Чебыкин

Применение глубокого обучения для синтеза последовательностей вызовов в C#

А. Чебыкин (СПбГУ), Я. Кириленко (СПбГУ)

14:15-14:30

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

М. Абакумов

Скрытая отладка программ в эмуляторе Qemu с помощью отладчика WinDbg

М. Абакумов (ИСП РАН)

14:30-14:45

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

А. Иванов

Настраиваемый трассировщик системных вызовов в эмуляторе Qemu

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

14:45-15:00

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

С. Лесной

Применение подхода CEGAR для извлечения архитектурной информации из исходного кода ARINC653-совместимых приложений

С. Лесной (ИСП РАН)

15:00-15:15

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

П. Путро

Сочетание ACSL-спецификаций и машинного кода

П. Путро (ИСП РАН, ВШЭ)

Секция «Верификация и тестирование аппаратуры»

Секция посвящена верификации и тестированию цифровой микроэлектронной аппаратуры (микропроцессоров, контроллеров и т.п.). 

Дата: 30.05.2018

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

15:45-16:00

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

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

Проверка контроллеров связи в системах на кристаллеМ. Петроченков (МЦСТ), Р. Муштаков (МЦСТ), Д. Шпагилев (МЦСТ)

16:00-16:15

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

Е. Дроздова

Подход к имитационной верификации контроллеров шинМ. Чупилко (ИСП РАН), Е. Дроздова (МГУ), А. Камкин (ИСП РАН)

16:15-16:30

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

Д. Лебедев

Подходы к разработке чекеров для автономной верификации коммуникационных контроллеров многоядерных микропроцессоровД. Лебедев (МЦСТ), И. Стотланд (МЦСТ)

16:30-16:45

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

П. Фролов

Генерация тестовых данных на основе функционального покрытия для микропроцессорного блока управленияП. Фролов (МЦСТ)

16:45-17:00

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

Е. Данилова

Tadis: система тестирования диагностических алгоритмов для FPGAЕ. Данилова (ПГУ), А. Городилов (ПГУ)

Секция «Финансовые приложения»

Секция посвящена проектам программных систем в финансовой сфере.

Дата: 30.05.2018

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

17:15-19:00

Стендовый доклад 1

Л. Бачина

Проект платежных карт на топливо/бензинЛ. Бачина (ВШЭ), Д. Гришин (ВШЭ)

17:15-19:00

Стендовый доклад 2

Л. Бачина

Проект PSD2 (Payments System Directive 2 )Л. Бачина (ВШЭ)

17:15-19:00

Стендовый доклад 3

Л. Бачина

Проект Сash by Сode (наличные по коду)Л. Бачина (ВШЭ), Д. Гришин (ВШЭ)

17:15-19:00

Стендовый доклад 4

П. Замолоцких

Глобальная биржа собственностиП. Замолоцких (Университет Мангейма)

17:15-19:00

Стендовый доклад 5

Н. Зубкова

Универсальный сервис для открытого банкинга в области PSD2Д. Гришин (ВШЭ), Н. Зубкова (ВШЭ)

17:15-19:00

Стендовый доклад 6

А. Полудницын

Система совершения покупок с использованием смартфона с NFCА. Полудницын (ВШЭ), М. Лысенко (ВШЭ)

17:15-19:00

Стендовый доклад 7

А. Топтунов

Платежный ассистент: серсис выставления и оплаты счетовА. Топтунов (ВШЭ), Н. Зубкова (ВШЭ), Д. Олейник (ВШЭ), М. Мариампиллай (ВШЭ), Д. Уткин (ВШЭ), П. Замолоцких (Университет Мангейма)

Секция «Параллельные и распределенные системы»

Секция посвящена проектированию и разработке параллельных и распределенных компьютерных систем. 

Дата: 31.05.2018
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
11:30-11:45 Устный доклад 1 Г. Киргизов Библиотека для программирования гетерогенных архитектурГ. Киргизов (СПбГУ)
11:45-12:00 Устный доклад 2 С. Тутельян Распределение рабочей нагрузки по нескольким критериям для обеспечения планируемости в IMA-системахВ. Балашов (МГУ), С. Тутельян (МГУ)
12:00-12:15 Устный доклад 3 А. Ковалев Автоматическая регулировка контроля перегрузки для каждого транспортного соединенияА. Ковалев (МГУ), Е. Чемерицкий (МГУ)
12:15-12:30 Устный доклад 4 И. Дмитриев Лингвистические и программные инструменты для построения случайных графов в симуляционной системе TriadNSИ. Дмитриев (ПГУ)
12:30-12:45 Устный доклад 5 А. Кудрявцев Лингвистические инструменты для описания сообщений в симуляционной системе TriadNSА. Кудрявцев (ПГУ)
12:45-13:00 Устный доклад 6 Б. Бугаев Эффективная GPU-реализация алгоритма обнаружения граничных ребер в 3D-сеткахБ. Бугаев (СПбАУ РАН), А. Крыщенко (СПбАУ РАН)
13:00-13:15 Устный доклад 7 А. Лапутенко К Verilog-реализации искусственного нейрона.А. Лапутенко (ТГУ), В. Белых (ТГУ), Н. Шабалдина (ТГУ), М. Громов (ТГУ)

Секция «Операционные системы: разработка и верификация»

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

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

14:00-14:15

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

Е. Новиков

Инкрементальная разработка модели окружения и спецификаций требований для подсистем Linux

Е. Новиков (ИСП РАН), И. Захаров (ИСП РАН)

14:15-14:30

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

В. Чепцов

Эмуляция отображаемого на память устройства ввода-вывода в ядре ОС

В. Чепцов (ИСП РАН, ВШЭ), А. Хорошилов (ИСП РАН)

14:30-14:45

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

К. Маллачиев

Методы автоматизации разработки и проверки драйверов ОС реального времени на основе формальных моделей

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

14:45-15:00

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

А. Емеленко

Поддержка асимметричных мультипроцессоров в ОС реального времени

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

Секция «Анализ данных, текстов и социальных сетей»

Секция посвящена анализу данных, текстов на естественном языке и социальных сетей. 

Дата: 31.05.2018

Время

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

ФИО докладчика

Название доклада

15:30-15:45

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

К. Ляушун

Методы обработки текстов на естественном языке для новостных статей

К. Ляушун (БГУ)

15:45-16:00

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

С. Сметанин

Анализ настроений с использованием семантических свойств на основе методов машинного обучения

С. Сметанин (ВШЭ), М. Комаров (ВШЭ)

16:00-16:15

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

Н. Федоров

Обнаружение ботов, распространяющих негативную информацию в социальных сетях

Н. Федоров (СПбГУ)

16:15-16:30

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

С. Петрова

Персонализация на основе глобальной истории активности пользователей

В. Ананьев (НовГУ), С. Петрова (НовГУ), М. Бойкова (НовГУ)

16:30-16:45

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

Е. Никитина

Оценка уровня зрелости государственной открытости на основе анализа репозиториев Github

Е. Никитина (ВШЭ), Р. Яворский (ВШЭ)

16:45-17:00

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

Н. Фокина

Статический анализ зависимостей для валидации семантических данных

Н. Фокина (ИСП РАН)

Секция «Конечные автоматы и их приложения»

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

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

17:00-17:15

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

А. Гнатенко

О проверке моделей конечно-автоматных преобразователей над полугруппамиА. Гнатенко (МГУ), В. Захаров (МГУ)

17:15-17:30

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

А. Твардовский

Получение адаптивных различающих последовательностей для временных конечных автоматовА. Твардовский (ТГУ), Н. Евтушенко (ТГУ)

17:30-17:45

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

Е. Винарский

О минимизации строго детерминированных временных конечных автоматовЕ. Винарский (МГУ), В. Захаров (МГУ)

17:45-18:00

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

А. Никитин

Компьютерные представления расширенных конечных автоматовА. Никитин (ВШЭ)

Секция «Безопасность и защищенность компьютерных систем»

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

Дата: 01.06.2018
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
09:45-10:00 Устный доклад 1 А. Андрюхин Методы защиты децентрализованных автономных организаций от сбоев и атакА. Андрюхин (KCD)
10:00-10:15 Устный доклад 2 А. Ханов Алгоритм идентификации процесса для обнаружения вредоносного ПОА. Ханова (СПбГУ, ИТМО), М. Баклановский (СПбГУ), К. Комаров (ИТМО), Р. Шалымов (ИТМО)
10:15-10:30 Устный доклад 3 А. Сотников К санитизации входных данных веб-приложенийА. Сотников (ТГУ), Н. Шабалдина (ТГУ)
10:30-10:45 Устный доклад 4 И. Дудина Обнаружение переполнений буферов через статический анализ: ожидания и реальностьИ. Дудина (ИСП РАН)
10:45-11:00 Устный доклад 5 А. Васильев Статическая проверка безопасности памяти в модулях ядра LinuxА. Васильев (ИСП РАН)

Секция «Моделирование процессов и анализ логов событий»

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

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

Секция «Анализ требований и стандартов»

Секция посвящена анализу и управлению требованиями к ПО. 

Дата: 01.06.2018
Время Тип доклада (пленарный, устный, стендовый) ФИО докладчика Название доклада
14:00-14:15 Устный доклад 1 Д. Кильдышев Построение системы управления требованиямиД. Кильдышев (ИСП РАН)
14:15-14:30 Устный доклад 2 Н. Горелиц Критерии к ПО, используемого в разработке критически важных и сложных сертифицируемых системН. Горелиц (ГосНИИАС), А. Гукова (ГосНИИАС)
14:30-14:45 Устный доклад 3 Т. Кулик Ранняя формальная верификация стандартов кибербезопасностиТ. Кулик (Орхусский университет)

Секция «Блокчейн-технологии и криптовалюты»

Секция посвящена блокчейн-технологиям и криптовалютам.

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

Секция «Транспортные приложения»

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

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

16:30-16:45

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

М. Буянов

Модель железной дороги, основанная на сетях Петри, и ее применение к ПО управления локомотивамиМ. Буянов (МАИ), А. Кибзун (МАИ)

16:45-17:00

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

Е. Береснева

Анализ математических формулировок проблемы маршрутизации транспортных средств и способов их решенияЕ. Береснева (ВШЭ), С. Авдошин (ВШЭ)

17:00-17:15

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

К. Монежин

Динамическая задача коммивояжераМ. Горденко (ВШЭ), К. Монежин (ВШЭ)

17:15-17:30

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

Д. Коротков

Экспериментальное исследование времени и эффективности работы алгоритма Memetic для решения асимметричной задачи коммивояжераМ. Горденко (ВШЭ), Д. Коротков (ВШЭ)

17:30-17:15

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

М. Горденко

Некоторые методы решения обобщенной задачи коммивояжераМ. Горденко (ВШЭ), С. Авдошин (ВШЭ)

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

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

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

17:30-17:45

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

М. Юсуфов

Автоматизированная система обучения вычислительной сложности алгоритмов

М. Юсуфов (ЯрГУ), В. Рублев (ЯрГУ)

17:45-18:00

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

А. Поляков

Автоматическая калибровка и синхронизация камеры и MEMS-датчиков

А. Поляков (СПбГУ), А. Корнилова (СПбГУ), Я. Кириленко (СПбГУ)

18:00-18:15

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

А. Чусовлянкин

Алгоритмы для диабетиков: калькулятор дозы инсулина

А. Чусовлянкин (ВШЭ, Пермь), В. Морозенко (ВШЭ, Пермь)

18:15-18:30

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

А. Минитаева

Умный сервис космической навигации

А. Минитаева (МГТУ), С. Шайтура (РГУТС), Ю. Герасимова (РГУТС)

18:30-18:45

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

А. Нагаев

Система классификации опухолей головного мозга на основе нейронных сетей с использованием МРТ

А. Нагаев (СПбГУ)

18:45-19:00

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

В. Костенко

Экспериментальное сравнение обобщенной линейной интерполяции и триангуляции

В. Костенко (ТГУ), М. Громов (ТГУ)

19:00-19:15

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

М. Сагипова

Система автоматизации архитектуры предприятия
М. Сагипова (ВШЭ), А. Дерябин (ВШЭ)