Открытая конференция ИСП РАН им. В.П. Иванникова

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

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

"ИСП РАН: 25 лет развития и роста"

Асаф Шустер¹

¹ Научный отдел Technion, Израильский технологический институт, Израиль

"Задачи машинного обучения в применении к здравоохранению"

Каран Бхатия¹, Леонид Кулигин²

¹глава отдела глобальной политики и правительственных отношений, Google, Нью-Йорк, США, ² специалист по машинному обучению, Google Cloud

"Ускорение научного прогресса с помощью облачных инфраструктур"

Петр Плешачков¹

¹ ведущий инженер-программист, распределенные системы, Hazlecast

"Hazelcast: распределенные структуры данных для масштабирования ваших приложений"

Андрей Демичев¹, Александр Крюков¹, Николай Приходько¹

¹ НИИЯФ МГУ

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

Антон Теслюк¹, Сергей Бобков¹, Вячеслав Ильин¹, Василий Велихов¹

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

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

Валентина Литовченко¹, Евгений Ивашко²

¹ Петрозаводский государственный университет, ² Институт прикладных математических исследований КарНЦ РАН

"Динамическое предсказание времени завершения вычислительных экспериментов в Desktop Grid"

Виктор Кучуков¹, Михаил Бабенко¹

¹ СКФУ

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

Андрей Скобцов¹, Анна Каленкова¹

¹ НИУ ВШЭ

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

Максим Рындин¹, Денис Турдаков¹

¹ ИСП РАН

"Проактивная разметка примеров для адаптации к домену"

И.Б. Петров¹, Н.И. Хохлов²

¹ член-корреспондент РАН, д.ф.м.н, Заведующий кафедрой информатики МФТИ, ² к.ф.-м.н., с.н.с, Заместитель заведующего лабораторией прикладной вычислительной геофизики МФТИ

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

Томас Боднар¹

¹ Профессор в Чешском техническом университете в Праге (Машиностроительный факультет, Кафедра технической математики), Институт термомеханики Чешской академии наук.

"Граничные условия дальнего поля для устойчиво стратифицированных течений"

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

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

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

Владимир Судаков¹, Владимир Осипов¹, Юрий Нечаев¹, Александр Васильев¹

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

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

Михаил Зайцев¹

¹ ИБРАЭ РАН

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

Наталья Тучкова¹, Константин Беляев¹, Гурий Михайлов¹

¹ ФИЦ ИУ РАН, ² Институт Океанологии им. П.П. Ширшова

"Численные эксперименты с сопряженной моделью циркуляции океан-Земля-атмосфера и анализ декадной изменчивости ее основных физических характеристик"

Константин Беляев¹, Андрей Кулешов², Илья Смирнов³

¹ Институт Океанологии им. П.П. Ширшова, ² ИПМ им. М.В. Келдыша РАН, ³ ВМиК, МГУ

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

Константин Кошелев¹, Сергей Стрижак¹

¹ ИСП РАН

"Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке"

Александр Иванов¹, Сергей Стрижак²

¹ ИПМ им. М.В. Келдыша РАН, ² ИСП РАН

"Моделирование метеоусловий в районе порта и в прибрежной зоне залива Тикси"

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

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

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

Юил Ким¹

¹ Samsung Research

"Проблемы внедрения жизненного цикла разработки безопасного ПО" (опыт компании Samsung)

Алексей Недоря¹

¹ руководитель направления Languages and Frameworks, Huawei Technologies Co., Ltd, Российский научно-исследовательский институт, Санкт-Петербург

"Дизайн языков: ООП или не ООП, или нечто лучше ООП?"

Павел Косов¹, Сергей Якушкин²

¹ главный инженер Huawei R&D Center, ² технический руководитель, Huawei R&D Center

"Управляемые профилем оптимизации для мобильных устройств в компиляторе LLVM"

Никита Малышев¹, Ирина Дудина¹, Даниил Куц¹, Александр Новиков¹, Сергей Вартанов¹

¹ ИСП РАН

"Применение SMT-солверов в статическом и динамическом символьном выполнении: экспериментальное исследование"

Евгений Клименков¹

¹ Белорусский государственный университет информатики и радиоэлектроники

"Constexpr: большое благо, выраженное в неправильной идее"

Глеб Моргачев¹, Валерий Игнатьев¹, Андрей Белеванцев¹

¹ ИСП РАН

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

Егор Намаконов¹, Антон Подкопаев¹

¹ СПбГУ

"Компиляция модели памяти OCaml в Power"

Anxiety — среда для обнаружения ошибок и потенциально опасных ситуаций в процессе разработки, приёмочного тестирования и эксплуатации ПО. Работает на основе динамического символьного выполнения, позволяющего автоматически генерировать входные данные без наличия исходного кода и отладочной информации. Подходит для реализации обеспечительных мер ГОСТ Р 56939-2016.

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

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

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

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

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

ИСП Фаззер — инструмент проведения фаззинг-тестирования. Позволяет осуществлять динамический анализ ПО. Обнаруживает ошибки или закладки как при наличии, так и при отсутствии исходного кода. Позволяет построить процесс разработки в соответствии с ГОСТ Р 56939-2016.

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

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

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

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

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

Retrascope — инструмент функциональной верификации модулей цифровой аппаратуры. Retrascope предоставляет автоматизированные средства анализа кода, извлечения формальных моделей и генерации функциональных тестов. В качестве входных данных инструмент принимает описания модулей цифровой аппаратуры на синтезируемых подмножествах языков Verilog и VHDL, а также спецификации поведения.

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

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

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

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

Комплекс решений для создания сервисориентированных ЦОД. Комплекс предоставляет возможность хранения данных и совершения сложных ресурсоёмких вычислений с использованием как контейнеров, так и виртуальных машин. В частности, предназначен для развёртывания облачных сред.

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

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

Интроспекция конфигурации периферийных устройств эмулятора QEMU.

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