Онлайн-режим

Внимание! В этом году конференция частично переведена в онлайн-режим.

Полностью в онлайне пройдут три научные секции и Выставка технологий.

В РАН состоятся только мероприятия с ограниченным числом докладчиков:

  • Пленарная сессия (10 декабря, 9:30-12:00).
  • Круглый стол по цифровой медицине (10 декабря, 13:00-15:30).
  • Круглый стол по кибербезопасности (10 декабря, 16:00-18:30).

Трансляция научных треков, пленарной сессии и круглых столов будет осуществляться на сайте online.isprasopen.ru (сейчас в разработке).

Для получения доступа необходимо зарегистрироваться. Ссылка на доступ будет предоставлена на указанный при регистрации e-mail.

О конференции

Конференция проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) при поддержке ряда российских и зарубежных партнеров:

  • IEEE
  • IEEE Computer Society
  • Российская академия наук (РАН)
  • Федеральная служба по техническому и экспортному контролю РФ (ФСТЭК России)
  • Фонд перспективных исследований (ФПИ)
  • Samsung Group
  • Huawei Technologies Co. Ltd.
  • Hewlett Packard Enterprise
  • Dell Technologies Inc.
  • NVIDIA Corporation

Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки IT-технологий и их использования в сферах образования, науки и промышленности.

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

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



Четверг, 10 декабря 2020 года

8:30 - 9:30

Регистрация. Приветственный кофе

9:30 - 12:00

Пленарная сессия (Синий зал)

К участию приглашены: руководство РАН, члены Правительства РФ, а также представители отраслевых НИИ, вузов, международных научно-образовательных организаций и бизнес-партнёров ИСП РАН.

"ИСП РАН: 80 лет со дня рождения В.П. Иванникова"

12:00 - 13:00

Обед-фуршет

12:00 - 13:00

Виртуальная выставка технологий на сайте online.isprasopen.ru

13:00 - 15:30

Круглый стол по цифровой медицине (Синий зал)

К участию приглашены представители Университетской клиники МГУ, Сеченовского университета, НМХЦ им Н.И. Пирогова, ГКБ №67 им. Л.А. Ворохобова, НИИ акушерства, гинекологии и репродуктологии имени Д.О. Отта, НМИЦ Эндокринологии МЗ РФ, ФГБНУ "НИИ морфологии человека" и др.

15:30 - 16:00

Кофе-брейк

16:00 - 18:30

Круглый стол по кибербезопасности (Синий зал)

К участию приглашены представители ФСТЭК России, а также АО "Лаборатория Касперского", компаний "ИВК", "Код безопасности", Postgres Professional, "Беллсофт", "АЙДЕКО" и др.


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

13:00 - 13:50

Филипп Франье1

1 почетный профессор Университета Тулона (Франция) и научный руководитель Средиземноморского института океанографии (Mediterranean Institute of Oceanography)

"Исследование процессов диссипации энергии на поверхности океана"

13:50 - 14:10

Бо Янг, PhD1, Кинь Жанг, PhD1 Бингчен Лианг, PhD1, Cинь Лю, PhD1, Менханг Ку1, Матвей Крапошин, к.ф.-м.н.2, Эрван Бертевас, PhD3

1 Инженерный колледж Океанологического университета Китая, 2 ИСП РАН, 3 Корпоративная лаборатория Keppel-NUS Национального университета Сингапура

"Численное моделирование взаимодействия взвеси и движущейся платформы на основе модели потока дрейфа"

14:10 - 14:30

Тяньюань Ван, Dr.-Ing.1, Хонгда Ши, PhD1, Цинь Чжан, PhD1, Бо Янг1, Синь Лю PhD1, Матвей Крапошин, к.ф.-м.н.2

1 Инженерный колледж Океанологического университета Китая, 2 ИСП РАН

"Исследование следа канального винта методами POD и DMD"

14:30 - 14:40

Перерыв

14:40 - 15:00

Константин Беляев, д.ф.-м.н.1, Андрей Кулешов, д.ф.-м.н.2, Илья Смирнов3

1 ИО РАН, 2 ИПМ им. М.В.Келдыша РАН, 3 МГУ, факультет ВМК

"Пространственное разложение ковариационной функции в процессе ассимиляции данных методом обобщенного фильтра Калмана"

15:00 - 15:20

Юлий Чашечкин, д.ф.-м.н.1, Ярослав Загуменный, к.ф.-м.н.2

1 ИПМех РАН, 2 Институт гидромеханики НАН Украины

"Численное и экспериментальное исследование потока вблизи наклонной пластины"

15:20 - 15:40

Сергей Стрижак, к.т.н.1, Джексон Тельес-Альварес, PhD2

1 ИСП РАН, 2 Научно-исследовательский Институт Флюмен, департамент гражданской и экологической инженерии Политехнического университета Каталонии, Испания

"Мультифрактальный анализ геофизических потоков. Памяти проф. Хосе Мануэля Редондо"

15:40 - 16:00

Кофе-брейк

16:00 - 16:20

Ильяс Сибгатуллин, к.ф.-м.н.1, Степан Елистратов2, Кирилл Ватутин3, Евгений Ерманюк, д.ф.-м.н4, Евгений Михайлов5

1 ИО РАН, 2 МГУ, 3 ИСП РАН, 4 Институт гидродинамики им. М.А. Лаврентьева Сибирского отделения РАН, 5 МГУ, физический факультет

"Моделирование аккумуляции кинетической энергии внутренних волн в областях с большим отношением горизонтального и вертикального масштабов"

16:00 - 16:20

Артем Нуриев, к.ф.-м.н.1

1 Казанский федеральный университет

"Трехмерное численное моделирование гидродинамики около колеблющихся балок"


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

13:00 - 13:25

Алексей Бородин, к.ф.-м.н.1, Ирина Дудина, к.ф.-м.н.1

1 ИСП РАН

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

13:25 - 13:50

Пётр Советов1

1 РТУ МИРЭА

"Разработка компиляторов предметно-ориентированных языков для спецпроцессоров"

13:50 - 14:15

Александра Сорока1

1 Исследовательский центр Samsung, Москва

"Подбор оптимизаций Clang для уменьшения размера бинарного кода с помощью машинного обучения"

14:15 - 14:40

Вячеслав Баринов1, Михаил Кашкаров1, Андрей Казмин1

1 Исследовательский центр Samsung, Москва

"Внедрение компилятором водяных знаков в бинарный код для обеспечения бинарной совместимости в дистрибутивах GNU/Linux"

14:40 - 15:05

Петр Привалов11, Вероника Буткевич1, Александр Герасимов, к.ф.-м.н., Сергей Владимиров1, Анна Горелова1, Наталья Чернова1

1 Huawei, Россия

"Метод обеспечения качества автоматических анализаторов"

15:05 - 15:30

Рафаэль Садыков1, Михаил Мандрыкин, к.ф.-м.н.2

1 ИСП РАН

"Формально верифицированная полная стратегия инстанциации квантификаторов для теории ограниченной линейной целочисленной арифметики"

15:30 - 16:00

Кофе-брейк

16:00 - 16:50

Николай Бьорнер1

1 главный научный сотрудник Microsoft Research, Редмонд, США

тема уточняется

16:50 - 17:15

Сергей Поляков1, Алексей Бородин, к.ф.-м.н.1

1 ИСП РАН

"Обнаружение дефекта взаимной блокировки с помощью статического анализа"

17:15 - 17:40

Марвин Хаузер1, Виталий Чепцов2

1 Технический университет Кайзерслаутерна, Германия, 2 ИСП РАН

"Обеспечение безопасности загрузчика образов EDK II"


10 декабря 2020 года, начало в 12:00, Виртуальная выставка технологий на сайте online.isprasopen.ru


12:00, 14:00

Asperitas и другие облачные решения ИСП РАН

Asperitas – платформа, предназначенная для хранения данных и совершения сложных ресурсоёмких вычислений по запросу. Дистрибутив включает в себя одноимённую облачную среду (№5921 в Едином реестре российского ПО), а также PaaS- и IaaS- оркестраторы (Michman и Clouni). В число облачных решений ИСП РАН входит также Fanlight (№6066 в Едином реестре российского ПО) – платформа для организации web-лабораторий.


12:00, 14:00

Система верификации AstraVer Toolset

AstraVer Toolset – система дедуктивной верификации ключевых компонентов. Позволяет разрабатывать и верифицировать модели политик безопасности, а также проводить доказательство корректности компонентов на языке С. Необходимый инструмент достижения целей семейств доверия ADV_SPM и ADV_FSP, определённых в ГОСТ Р ИСО/МЭК 15408-3-2013.


13:00, 15:00

BinSide: статический анализатор бинарного кода

BinSide – платформа обнаружения дефектов в программе методами статического анализа исполняемого кода. Необходима, когда нет доступа к исходному коду (например, при анализе закрытых библиотек).


13:20, 15:20

Casr: инструмент формирования отчётов об ошибках

Casr – это инструмент, позволяющий автоматически формировать отчёты об аварийных завершениях, возникающих во время эксплуатации и тестирования ПО, на основе анализа coredump файлов в ОС Linux. В отчётах содержатся сведения о степени критичности аварийного завершения, а также дополнительная информация, которая помогает установить его причины.


12:00, 14:00

Constructivity 4D: Технология индексирования, поиска и анализа больших пространственно-временных данных

Constructivity 4D – технология для создания перспективных программных систем и сервисов, оперирующих динамическими сценами и большими массивами пространственно-временных данных. Способна проводить визуальный анализ миллионов объектов с различным геометрическим представлением и индивидуальным динамическим поведением. Внедрена в систему Synchro, предназначенную для 4D-моделирования крупных строительных объектов.


12:40, 14:40

ИСП Crusher: комплекс динамического анализа программ

ИСП Crusher – программный комплекс, комбинирующий несколько методов динамического анализа. Состоит из двух инструментов: ИСП Fuzzer для проведения фаззинг-тестирования и Sydr, отвечающий за автоматическую генерацию тестов для сложных программных систем. В ближайшие 1-2 года в комплекс планируется включить ещё две технологии ИСП РАН: BinSide и Casr. ИСП Crusher позволяет построить процесс разработки в соответствии с ГОСТ Р 56939-2016 и «Методикой выявления уязвимостей и недекларированных возможностей в программном обеспечении» ФСТЭК России.


12:40, 14:40

Dedoc: система извлечения структуры документов

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


12:20, 14:20

Платформа для создания цифровых двойников DigiTEF

DigiTEF – программный комплекс на базе OpenFOAM и утилит других открытых проектов, а также уникальных модулей и библиотек ИСП РАН. Платформа позволяет решать прикладные задачи газовой динамики, аэродинамики, гидродинамики и акустики. Предназначена для создания сложных цифровых моделей промышленных устройств. Включена в Единый реестр российского ПО (№ 5377).


13:00, 15:00

Klever: система верификации моделей крупных программных систем

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


12:20, 14:20

Lingvodoc: виртуальная лаборатория для документации исчезающих языков

Lingvodoc – система для совместной многопользовательской документации исчезающих языков, создания многослойных словарей и научной работы с полученными звуковыми и текстовыми данными. Совместный проект с Институтом языкознания РАН и Томским государственным университетом. Разрабатывается с 2012 года. Сайт – lingvodoc.ispras.ru.


12:20, 14:20

MASIW: поддержка проектирования ответственных систем

MASIW – набор инструментов для разработки программно-аппаратных комплексов ответственных систем в сфере авиации, медицины и др. Создан для инженеров-конструкторов комплексов бортового оборудования для авиационных судов, разрабатываемого с применением интегрированной модульной авионики (ИМА). Оперативно адаптируется под другие предметные области.


12:40, 14:40

Генератор тестовых программ MicroTESK

MicroTESK – реконфигурируемая и расширяемая среда генерации тестовых программ для функциональной верификации микропроцессоров. Позволяет автоматически конструировать генераторы тестовых программ для целевых архитектур микропроцессоров на основе их формальных спецификаций. MicroTESK применим для широкого спектра архитектур (RISC, CISC, VLIW, DSP). Поддерживает онлайн-генерацию тестовых программ.


12:20, 14:20

Система анализа сетевого трафика Protosphere

Protosphere – система глубокого анализа сетевого трафика (DPI). Может встраиваться как компонент в системы мониторинга, классификации, защиты от вторжений и утечек информации. Регистрирует несоответствия между реализацией протокола и фактическим трафиком. Позволяет быстро добавлять поддержку новых (в том числе закрытых) протоколов благодаря универсальности внутреннего представления.


12:40, 14:40

Платформа для анализа программ на основе эмулятора QEMU

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


13:00, 15:00

Система исследовательского поиска SciNoon

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


12:00, 14:00

Статический анализатор SVACE

Svace – необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 50 классов критических ошибок в исходном коде. Поддерживает языки C, C++, C#, Java; Kotlin и Go – в предварительной версии. Включён в Единый реестр российского ПО (№4047).


13:20, 15:20

Базовый семантический анализатор Texterra

Texterra – масштабируемая платформа для извлечения семантики из текста. Базовый комплекс технологий для создания многофункциональных прикладных приложений. Анализирует тексты с помощью выделения концептов. Включена в Единый реестр российского ПО (№4048).


12:20, 14:20

ИСП Обфускатор

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


12:00, 14:00

ТРАЛ: среда анализа бинарного кода

ТРАЛ – уникальный промышленный инструмент для анализа свойств бинарного кода. Позволяет работать с кодом различных целевых процессорных архитектур. Не требует наличия отладочной информации и исходных кодов. Применим для анализа всего программного стека от загрузчика до прикладного ПО. Включён в Единый реестр российского ПО (№5323).

Пятница, 11 декабря 2020

12:40 - 14:00

Решение задач механики сплошных сред с использованием СПО: стендовая сессия на сайте online.isprasopen.ru.

Представление участников: 10:50 - 11:00


Управление данными и информационные системы (Синий зал)

10:30 - 11:00

Андрей Фомичев1

1 Руководитель службы "Яндекс"

"Yandex Database Serverless — подход к виртуализации базы данных"

11:00 - 11:30

Константин Авраченков1

1 Исследовательский центр Inria Sophia Antipolis-Méditerranée

"Обучение на графах с частичным привлечением учителя"

11:30 - 12:00

Сергей Кузнецов, д.т.н.1, Павел Велихов2, Кянг Фу2

1 ИСП РАН, 2 Российский Исследовательский Институт Huawei

"Аналитика в реальном времени, гибридная транзакционно-аналитическая обработка данных, управление данными в основной памяти и энергонезависимая основная память"

12:00 - 12:20

Александр Шмид1

1 ЗАО "ЕС-Лизинг"

"Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM"

12:20 - 12:30

Перерыв

12:30 - 12:50

Артем Поляков1, Александр Ефимов2, Константин Крамаренко3

1 СибГУТИ

"Оптимизация доступа к ассоциативной базе данных для реализации стандарта PMIx"

12:50 - 13:10

Михаил Бабенко, к.ф.-м.н.1, Андрей Черных, к.т.н.2, Бернардо Пулидо-Гейтан, Ph.D3, Елена Голимблевская4, Хорхе Марио Кортес-Мендоза4, Арутюн Аветисян, д.ф.-м.н.2

1 СКФУ, 2 ИСП РАН, 3 Исследовательский центр CICESE Энсенада, Мексика, 4 СКФУ, 5 Южно-Уральский государственный университет

"Экспериментальная оценка методов гомоморфного сравнения"

13:10 - 13:30

Максим Рындин1, Денис Турдаков, к.ф.-м.н.1, Сергей Кузнецов, д.т.н.1

1 ИСП РАН

"Catalyst: Использование совместного и активного обучения для непрерывной классификации"

13:30 - 13:50

Андрей Саховский1, Валерий Соловьев, д.ф.-м.н.1, Марина Солнышкина, к.ф.н.1

1 ФГАОУ ВО КФУ

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

13:50 - 14:00

Перерыв

14:00 - 14:20

Андрей Михайлов, к.т.н.1, Алексей Шигаров, к.т.н.1, Егор Рожков2, Игорь Черепанов1

1 ИДСТУ СО РАН, 2 ИГУ

"Верификация результатов обнаружения таблиц в PDF документах на основе графового представления"

14:20 - 14:40

Хорхе Марио Кортес-Мендоза1, Андрей Черных, к.т.н.2, Андриан Фасио Медина3, Бернардо Пулидо-Гейтан, Ph.D3, Глеб Радченко1, Михаил Бабенко, к.ф.-м.н.4, Игорь Черных, к.ф.-м.н.5, Игорь Куликов, д.ф.-м.н.5, Серхио Несмачноу, Ph.D6, Рауль Ривера Родригез6

1 Южно-Уральский государственный университет, 2 ИСП РАН, 3 Исследовательский центр CICESE Энсенада, Мексика, 4 СКФУ, 5 ИВМиМГ СО РАН, 6 Республиканский университет, Уругвай

"Распределение рабочей нагрузки цифровых близнецов с потоковым взаимодействием микросервисов на облака с низкой стоимостью"

14:40 - 15:00

Елена Аксенова1, Никита Лазарев1, Давид Бадалян1, Олег Борисенко1, Роман Пастухов1

1 ИСП РАН

"Michman: оркестратор для развертывания распределенных сервисов в облачных средах"

15:00 - 15:20

Валерия Швецова1, Олег Борисенко1, Максим Полищук2

1 ИСП РАН, 2 МГТУ им. Н.Э.Баумана

"Использование Ansible в реализации TOSCA-оркестратора"

15:20 - 15:40

Ирина Енягина1, Андрей Поляков, к.т.н.1

1 НИЦ "Курчатовский институт"

Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт»

15:40 - 16:00

Перерыв

16:00 - 16:20

Полтавцева Мария, к.т.н.1

1 СПбПУ

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

16:20 - 16:40

Владислав Ананьев1, Павел Андреев1, Арам Аветисян1, Владимир Макаров1, Вадим Глинер 2, Ассаф Шустер 2, Евгений Карпулевич1

1 ИСП РАН, 2 Технион, Израиль

"Неархитектурные улучшения для классификации ЭКГ с использованием глубокой нейронной сети"

16:40 - 17:00

Мария Акименкова1, Анна Мазнина2, Антон Наумов1, Евгений Карпулевич1

1 ИСП РАН, 2 МФТИ

"Применение метода HDBSCAN для кластеризации данных РНК-секвенирования единичных клеток"


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

10:00 - 10:50

Александр Георгиевич Петров, д.ф.-м.н.1

1 ИпМех РАН

"О сверхсходящихся численных схемах метода граничных элементов"

10:50 - 11:00

Представление докладов стендовой сессии

11:00 - 11:20

Матвей Крапошин, к.ф.-м.н.1

1 ИСП РАН

"QGDsolver – открытый фреймворк для разработки моделей течений жидкости и газа на основе регуляризованных уравнений"

11:20 - 11:40

Дмитрий Головин1

1 ВНИИФТРИ

"Моделирование инфразвукового пистонфона"

11:40 - 12:00

Андрей Епихин, к.т.н.1

1 ИСП РАН

"Численное моделирование натекания сильно недорасширенных струй на преграду"

12:00 - 12:20

Иван Широков, к.ф.-м.н.1

1 МГУ, факультет ВМК

"Метод построения аккуратной пространственной сетки для моделирования внешнего обтекания"

12:20 - 12:40

Кирилл Ватутин1, Андрей Епихин к.т.н.1, Матвей Крапошин к.ф.-м.н.1

1 ИСП РАН

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

12:40 - 14:00

Стендовая сессия и обед

14:00 - 14:20

Виктория Корчагова1

1 ИСП РАН

"О реализации численных схем на основе разрывного метода Галеркина для решения газодинамических задач средствами открытого программного обеспечения"

14:20 - 14:40

Анатолий Рябинин1, Александр Кузьмин1

1 СПБГУ, кафедра гидроаэродинамики

"Моделирование трансзвукового потока в изогнутом канале программным комплексом SU2"

14:40 - 15:00

Виктор Игнатенко1, Денис Базаревский2

1 STR-Soft

"Опыт замены компонентов коммерческого САПР на свободные аналоги"

15:00 - 15:10

Перерыв

15:10 - 15:30

Евдокимов Илья, к.т.н.1, Хэнш Сьюзан1

1 Центр им. Гельмгольца Дрезден-Россендорф

"Масштабируемые рабочие процессы в работе с OpenFOAM"

15:30 - 15:50

Мария Комарова1, Владимир Зенкин1, Максим Кулабухов1

1 МГТУ им. Н.Э.Баумана

"Многокритериальная оптимизация формы охлаждающего поршня для двигателя внутреннего сгорания"

15:50 - 16:10

Дарья Романова1

1 ИСП РАН

"Сравнение односкоростной и многоскоростной многофазных моделей для моделирования потоков на склонах"


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

10:30 - 10:55

Евгений Новиков, к.ф.-м.н.1, Владимир Гратинский1, Илья Захаров, к.ф.-м.н.1

1 ИСП РАН

"Экспертная оценка результатов верификации инструментов верификации моделей программ"

10:55 - 11:20

Денис Стражков1

1 ИСП РАН

"Описание методов и реализованных на их основе программных средств, позволяющих эмулировать UEFI модули"

11:20 - 11:45

Д.А. Рыболовлев1, М.Н. Горюнов1, А.Г. Мацкевич1

1 Академия ФСО России

"Синтез модели машинного обучения для обнаружения компьютерных атак на основе набора данных CICIDS2017"

11:45 - 12:10

Алексей Вишняков1, Андрей Федотов, к.т.н.1, Даниил Куц1, Александр Новиков1, Дарья Парыгина1, Эли Кобрин1, Влада Логунова1, Павел Белецкий1, Шамиль Курмангалеев, к.ф.-м.н.1

1 ИСП РАН

"Sydr: передовой инструмент динамического символьного исполнения"

12:10 - 12:35

Севак Саргсян, к.ф.-м.н.1, Вааг Варданян, к.ф.-м.н.1, Айк Асланян, к.ф.-м.н.1, Мариам Арутюнян1, Матевос Мерабьян1, Карен Саргсян1, Рипсиме Ованнесян1, Ованнес Мовсисян1, Дживан Акобян1, Шамиль Курмангалеев, к.ф.-м.н.2

1 Лаборатория системного программирования РАУ, Ереван, 2 ИСП РАН

"GΕΝΕS ISP — платформа для анализа программ"

12:35 - 13:00

Екатерина Лаврищева, д.ф.-м.н.1

1 ИСП РАН

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

13:00 - 14:00

Перерыв (обед)

14:00 - 14:25

Михаил Соловьев, к.ф.-м.н.1, Максим Бакулин1, Сергей Макаров1, Дмитрий Манушин1, Вартан Падарян, к.ф.-м.н.1

1 ИСП РАН

"Практическая абстрактная интерпретация бинарного кода"

14:25 - 14:50

Сергей Козлов, к.т.н.1, Сергей Копылов1, Борис Кондратьев2, Дмитрий Обыденков3

1 Академия ФСО, 2 Министерство обороны РФ, 3 ИСП РАН

"Реализация маркирования в подсистеме печати ОС семейства Windows на основе виртуального XPS-принтера"

14:50 - 15:15

Максим Мишечкин1, Шамиль Курмангалеев, к.ф.-м.н.1, Виталий Акользин1

1 ИСП РАН

"Архитектура и функциональные возможности инструмента ИСП Фаззер"

15:15 - 15:40

Виталий Акользин1, Шамиль Курмангалеев, к.ф.-м.н.1, Максим Мишечкин1

1 ИСП РАН

"Разработка эффективного метода фаззинга приложений, работающих со сложными форматами данных"

15:40 - 16:00

Перерыв

16:00 - 16:25

Тхиен Чан1, Шамиль Курмангалеев, к.ф.-м.н.1

1 ИСП РАН

"Автоматизированная генерация фаззинг тестов"

16:25 - 16:50

Сергей Зеленов, к.ф.-м.н.1, Екатерина Лаврищева, д.ф.-м.н.1

1 ИСП РАН

"Модельный подход к обеспечению безопасности и надежности Web-сервисов"


11 декабря 2020 года, 12:00 - 14:00, Решение задач механики сплошных сред с использованием СПО: стендовая сессия на сайте online.isprasopen.ru

10:50 - 11:00

Представление участников

12:40

Артем Водениктов1, Валерия Мельникова2

1 КГЭУ, 2 ИСП РАН

"Исследование эффективности режимов работы устройств подготовки потока с использованием численного моделирования"

12:40

Михаил Ермаков, к.т.н.1

1 ИПМех РАН

"Генерация сеток с помощью открытого пакета Gmsh"

12:40

Михаил Левин, к.ф.-м.н.1, Александр Иванов1, Татьяна Стенина1, Сергей Стрижак, к.т.н.1

1 ИСП РАН

"Об использовании решения регуляризованной задачи Стефана для моделирования процессов обледенения"

12:40

Альбина Гиззатуллина1, Мария Королева2, Ольга Мищенкова1, Алена Чернова1

1 ИжГТУ имени М. Т. Калашникова, 2 UdFRC UB RAS

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

13:00

Матвей Крапошин, к.ф.-м.н.1

1 ИСП РАН

"Открытое программное обеспечение как конструктор комплексных цифровых моделей технических систем"

13:00

Владимир Судаков, д.т.н.1, Владимир Осипов1

1 ИПМ им.М.В.Келдыша РАН

" Оценка нечеткой матрицы "источник-назначение" применительно к планированию пассажиропотоков в авиации"

13:00

Дарья Романова1, Сергей Стрижак, к.т.н.1, Матвей Крапошин, к.ф.-м.н.1

1 ИСП РАН

"Разработка решателя snowYadeFoam для моделирования динамики снежных частиц"

13:00

Мария Кирюхина, к.ф.-м.н.1, Татьяна Елизарова, д.ф.-м.н.1

1 ИПМ им.М.В.Келдыша РАН

"Моделирование процесса запуска сопла и истечения струи в область низкого давления"

13:20

Ильяс Сибгатуллин, к.ф.-м.н.1, Даниил Рязанов2, Матвей Крапошин, к.ф.-м.н.2, Евгений Ерманюк, д.ф.-м.н.3

1 Институт Океанологии им. П.П. Ширшова, 2 ИСП РАН, 3 Институт гидродинамики им. М.А. Лаврентьева Сибирского отделения РАН

"Прямое численное моделирования аттракторов внутренних волн в стратифицированных и вращающихся средах"

13:20

Михаил Зайцев, к.ф.-м.н.1

1 ИБРАЭ РАН

"Применение метода КАБАРЕ для треугольных плоских ячеек"

13:20

Булат Кашфутдинов1

1 ИСП РАН

"Исследование изменения собственных частот колебаний резервуара при разном уровне заполнения жидкостью с использованием СПО Code_Aster"

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

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

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Гарбук С.В., к.т.н., директор по научным проектам НИУ ВШЭ.
  • Гергель В.П., д.т.н., директор Института информационных технологий, математики и механики ННГУ.
  • Каляев И.А., д.т.н., академик РАН, научный руководитель направления НИИ многопроцессорных вычислительных систем ЮФУ.
  • Лютиков В.С., заместитель директора ФСТЭК России.
  • Федосов Е.А., д.т.н., академик РАН, научный руководитель ФГУП «ГосНИИАС».
  • Шустер Ассаф, профессор факультета информационных технологий Израильского технологического института «Технион».
  • Касахара Хиронори, профессор (Университет Васэда, Токио), президент 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.

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

Регистрация

*
*
*
*
*



Публикации


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


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

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

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

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

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

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

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

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

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


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

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

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

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

В случае возникновения дополнительных вопросов, пожалуйста, напишите письмо на адрес электронной почты scsec@ispras.ru.

Важные даты

  • Срок подачи статей: до 2 ноября 2020 г. (23:59, GMT+3).
  • Уведомление о включении в программу: до 5 ноября 16 ноября 2020 г.
  • Готовые к публикации статьи: до 15 ноября 21 ноября 2020 г.

Прошедшие конференции


2019, 2018, 2017, 2016, 2015 (1, 2), 2014, 2013, 2012, 2011, 2010

Контакты и другая информация

E-mail и телефон

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

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

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

Детали

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