СМИ об итогах конференции

«Ведомости»: ИСП РАН и Huawei открыли совместную R&D-лабораторию по развитию средств разработки программного обеспечения

«АиФ»: Язык в цифре. Где применяются технологии системного программирования?

«Открытые системы»: Фундаментальное ядро цифровой экономики

«Научная Россия»: Программирование как наука: сотни учёных и разработчиков собрались на конференцию ИСП РАН

D.Russia: Программирование как наука: сотни учёных и разработчиков собрались на конференцию ИСП РАН

«Наука и жизнь»: Цифра в основе всего. В РАН прошла конференция по системному программированию

«Поиск»: Цифровая медицина стала одной из главных тем Открытой конференции ИСП РАН

«ComNews»: Открытая конференция ИСП РАН: повышение безопасности, цифровизация медицины и новые проекты с Samsung и Huawei

ICT-Online.ru: Обмен научным опытом и запуск новых проектов: ИСП РАН провёл Открытую конференцию

«Системный администратор»: На Открытой конференции ИСП РАН объявили о расширении сотрудничества института с Samsung и Huawei

«Бит»: Новые платформы, стандарты и проекты: в Москве прошла Открытая конференция ИСП РАН



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

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

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

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

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

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

Четверг, 5 декабря 2019 года

8:30 - 9:30

Регистрация. Приветственный кофе (Зеленый зал - фойе)

9:30 - 11:30

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

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

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

11:30 - 13:30

Выставка технологий, обед-фуршет (Зеленый зал - фойе)


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

13:30 - 14:00
Assaf Schuster

Асаф Шустер1

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

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

Подробнее
Download PDF
14:00 - 14:30

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

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

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

Подробнее
Download PDF
14:30 - 15:00
Петр Плешачков

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

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

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


Download PDF
15:00 - 15:20
Андрей Демичев

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

1 НИИЯФ МГУ

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


Download PDF
15:20 - 15:40
Антон Теслюк

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

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

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


Download PDF
15:40 - 16:00

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

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

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


Download PDF
16:00 - 16:20

Кофе, чай

16:20 - 16:40
Виктор Кучуков

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

1 СКФУ

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


Download PDF
16:40 - 17:00
Андрей Скобцов

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

1 НИУ ВШЭ

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


Download PDF
17:00 - 17:20
Максим Рындин

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

1 ИСП РАН

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


Download PDF

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

13:30 - 14:00
Н.И. Хохлов

Н.И. Хохлов1, И.Б. Петров2

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

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


Download PDF
14:00 - 14:30
Tomáš Bodnár

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

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

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


Download PDF
14:30 - 14:50
Филипп Франье

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

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

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


Download PDF
14:50 - 15:10
Владимир Судаков

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

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

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


Download PDF
15:10 - 15:30
Михаил Зайцев

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

1 ИБРАЭ РАН

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


Download PDF
15:30 - 15:50
Наталья Тучкова

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

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

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


Download PDF
15:50 - 16:10

Кофе, чай

16:10 - 16:30
Константин Беляев

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

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

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


Download PDF
16:30 - 16:50
Константин Кошелев

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

1 ИСП РАН

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


Download PDF
16:50 - 17:10
Александр Иванов

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

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

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


Download PDF

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

13:30 - 14:30
Nikolaj Bjørner

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

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

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

Подробнее
Download PDF
14:30 - 15:00
Youil Kim

Юил Ким1

1 Samsung Research

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

15:00 - 15:25
Алексей Недоря

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

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

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

15:25 - 15:50

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

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

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


Download PDF
15:50 - 16:10

Кофе, чай

16:10 - 16:35
Nikita Malyshev

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

1 ИСП РАН

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


Download PDF
16:35 - 17:00
Евгений Клименков

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

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

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

17:00 - 17:25
Gleb Morgachev

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

1 ИСП РАН

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


Download PDF
17:25 - 17:50
Егор Намаконов

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

1 СПбГУ

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


Download PDF

5 декабря 2019 года, 11:30-13:30, Выставка технологий (Зеленый зал - фойе)

Сборник технологий (pdf)

1. Anxiety

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

2. AstraVer Toolset

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

3. BINSIDE

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

4. Constructivity 4D

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

5. DIGITEF

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

6. ТРАЛ

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

7. ИСП Фаззер

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

8. Klever

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

9. Lingvodoc

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

10. MASIW

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

11. MicroTESK

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

12. Protosphere

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

13. Retrascope

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

14. SciNoon

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

15. SVACE

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

16. Texterra

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

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

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

18. Комплекс решений для создания сервисориентированных ЦОД

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

19. Talisman

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

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

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

21. Наталья Фурсова, Павел Довгалюк (НовГУ)

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

22. Евгений Карпулевич (ИСП РАН)

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

Пятница, 6 декабря 2019

9:30 - 10:00

Регистрация. Приветственный кофе (Зеленый зал - фойе)

11:20 - 13:20

Стендовая сессия: "Решение задач механики сплошных сред с использованием СПО" (Зеленый зал - фойе)


Специальный семинар: Особенности и перспективные разработки сбора, обработки данных и анализа метаданных на Большом адронном коллайдера (Бежевый зал)

10:00 - 10:20
Алексей Климентов

Алексей Климентов 1, Сергей Кулешов2

1 Брукхэвенская национальная лаборатория, Аптон, США, 2 профессор, Национальный университет имени Андреса Бельо, Сантьяго, Чили

"Системы управления и обработки данных в экзабайтном диапазоне для экспериментов на Большом адронном коллайдере"

10:20 - 10:50
Татьяна Корчуганова

Татьяна Корчуганова1

1 UNAB, ИСП РАН

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

10:50 - 11:20
Александр Алексеев

Александр Алексеев1

1 UNAB, ИСП РАН

"Аналитическая платформа для организации распределенной обработки и анализа данных эксперимента АТЛАС на БАК в гетерогенной компьютерной среде"

11:20 - 11:40

Кофе, чай, стендовая сессия


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

11:40 - 12:00
Денис Айвазов

Денис Айвазов1, Михаил Дробышевский1, Денис Турдаков1, Александр Яцков1, Максим Варламов1, Данил Шайхелисламов1

1 ИСП РАН

"Сбор влиятельных вершин: сравнительное исследование краулеров социальных сетей"

12:00 - 12:20
Арам Аветисян

Арам Аветисян1, Михаил Дробышевский1, Денис Турдаков1

1 ИСП РАН

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

12:20 - 12:40
Анастасия Рыжова

Анастасия Рыжова1, Илья Соченков1

1 Сколковский институт наук и технологий

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

12:40 - 13:00
Александр Лазаренко

Александр Лазаренко1, Сергей Авдошин1, Наталия Чичилева2, Павел Наумов3

1 НИУ ВШЭ, 2 Департамент инноваций и разработки продуктов ООО "Группа АйБи", 3 МГТУ им. Н. Э. Баумана

"Сценарии использования ИИ в сфере кибербезопасности"

13:00 - 14:00

Обед

14:00 - 14:20
Сергей Вычегжанин

Сергей Вычегжанин1, Евгений Колесников1

1 Вятский государственный университет

"Сравнение инструментов определения именованных сущностей на новостных статьях"

14:20 - 14:40
Денис Зубарев

Денис Зубарев1, Илья Соченков1

1 Федеральный исследовательский центр «Информатика и управление» РАН

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

14:40 - 15:00
Анс-Атаол Улдович Берзинь

Анс-Атаол Улдович Берзинь1

1 Латвийский университет

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

15:00 - 15:20

Михаил Дробышевский1

1 ИСП РАН

"Методы и программные средства моделирования и генерации сложных сетей с сохранением графовых свойств"

15:20 - 15:40
Ольга Атаева

Ольга Атаева1

1 ВЦ ФИЦ ИУ РАН

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

15:40 - 16:00

Кофе, чай, стендовая сессия


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

10:00 - 10:40
Бернхард Петерс

Бернхард Петерс1

1 профессор, Университет Люксембурга

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

10:40 - 11:20
Себастьян Гадаль

Себастьян Гадаль1

1 (профессор, Отдел географического развития окружающей среды, Университет Экс-Марсель

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


Download PDF
11:20 - 11:40

Кофе, чай, стендовая сессия

11:40 - 12:00
Тимофей Муха

Тимофей Муха1

1 Технологический университет Чалмерса, Гётеборг, Швеция

"Влияние численной диссипации на прогностическую точность LES моделирования на стенках"


Download PDF
12:00 - 12:20
Екатерина Калаушина

Екатерина Калаушина1, Александр Смирновский1, Дмитрий Бровин2, Елизавета Колесник1

1 СПбПУ, 2 STR Group, Inc.

"LES моделирование турбулентной круглой струи с помощью OpenFOAM"


Download PDF
12:20 - 12:40
Матвей Крапошин

Матвей Крапошин1

1 ИСП РАН

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


Download PDF
12:40 - 13:00

Даниил Рязанов1, Матвей Крапошин1, Виктория Корчагова1, Сергей Стрижак1, Кирилл Ватутин1, Валерия Мельникова1, Артем Коновальчик1, Олег Плаксенко1, Максим Конопелькин1, Максим Кудров1, Иван Мартынов1

1 ИСП РАН

"Инструмент автоматизации численного анализа аэродинамики и прочности конструкций РЛС на базе открытых решений"


Download PDF
13:00 - 14:00

Обед

14:00 - 14:20
Кирилл Овчинников

Кирилл Овчинников1

1 СПбГМТУ

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


Download PDF
14:20 - 14:40
Артем Нуриев

Артем Нуриев1, Ольга Зайцева1, Ольга Захарова1

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

"Численное исследование механизма вибрационного движения в вязкой жидкости"


Download PDF
14:40 - 15:00
Андрей Епихин

Андрей Епихин1, Даниил Рязанов1, Виктория Корчагова1, Максим Шацкий1, Матвей Крапошин1

1 ИСП РАН

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

15:00 - 15:20
Виктория Корчагова

Виктория Корчагова1, Софья Сауткина 2, Иван Фуфаев3

1 ИСП РАН, 2 МГТУ им. Н.Э. Баумана, 3 ИПМ им. М.В. Келдыша РАН

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


Download PDF
15:20 - 15:40
Евгения Рятина

Евгения Рятина1, Ксения Кузьмина1, Илья Марчевский1

1 ИСП РАН

"Об использовании возможностей технологии Nvidia CUDA при моделировании двумерных течений вихревыми методами"


Download PDF
15:40 - 16:00

Кофе, чай, стендовая сессия

16:00 - 16:20

Туфан Арслан1, Мурат Озбулут2

1 Норвежский университет науки и технологий, Тронхейм, Норвегия

"Моделирование плеска воды в вибрирующем резервуаре методом сглаженных частиц (SPH) на графических ядрах GPU"

16:20 - 16:40
Алексей Гурин

Алексей Гурин1, Алексей Байкин2

1 Институт гидродинамики им. М.А. Лаврентьева СО РАН

"FEMEngine: реализация метода конечных элементов на основе функционального и шаблонного метапрограммирования на языке C++"


Download PDF
16:40 - 17:00
Виктория Бондарчук

Виктория Бондарчук1, Андрей Попов1, Николай Твердохлеб1

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

"Решение связанных теплогидравлических задач методом конечных элементов с частицами PFEM-2 средствами свободного программного обеспечения"


Download PDF
17:00 - 17:20
Евгений Михайлов

Евгений Михайлов1, Ильяс Сибгатуллин2

1 МГУ им. М.В.Ломоносова, 2 ИСП РАН

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


Download PDF

Практический Семинар: Программирование в ограничениях с помощью Z3 (Синий зал)

10:00 - 11:20
Николай Бьорнер

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

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

Многие вопросы верификации, анализа, тестирования и синтеза программ сводятся к определению совместности логических формул. Однако есть и задачи, в которых совместность даже с доказывающей ее моделью недостаточна. Примерами полезной дополнительной информации являются интерполянты, модели, удовлетворяющие некоторому критерию оптимальности, стратегии решения формул с кванторами, перечисление и подсчет решений. В данном иллюстративном докладе демонстрируются упомянутые логические сервисы (с помощью Jupyter) с точки зрения SMT-решателя Ζ3.

11:20 - 11:40

Кофе, чай, стендовая сессия

11:40 - 12:05
Е.М. Лаврищева

Е.М. Лаврищева1

1 профессор, ИСП РАН

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


Download PDF
12:05 - 12:30
Илья Труб

Илья Труб1

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

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


Download PDF
12:30 - 12:55
Александр Самонов

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

1 Военно-космическая академия имени А.Ф. Можайского

"Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов"


Download PDF
12:55 - 14:00

Обед

14:00 - 14:25

Лев Гореликов1

1 НТЦ Модуль

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


Download PDF
14:25 - 14:50
Мовсисян Оганес

Мовсисян Оганес1, Дживан Акопян1, Севак Саргсян1

1 Ереванский государственный университет

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


Download PDF
14:50 - 15:15
Александр Попов

Александр Попов1

1 Positive Technologies

"Фаззинг ядра Linux на практике"

15:15 - 15:40

Лян Гуантай1

1 Huawei

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


Download PDF
15:40 - 16:00

Кофе, чай

16:00 - 16:25
Н.О. Бесшапошников

Н.О. Бесшапошников1

1 ФГУ ФНЦ НИИСИ РАН

"Бестекстовая учебная система программирования ПиктоМир и опыт ее массового внедрения"


Download PDF

6 декабря 2019 года, 11:20-13:20, Решение задач механики сплошных сред с использованием СПО - Стендовая сессия (Зеленый зал - фойе)

Доклад 1

Максим Хоменко1

1 ИПЛИТ РАН - филиал ФНИЦ "Кристаллография и фотоника" РАН

Вычислительная эффективность метода S-CLSVOF для приложений аддитивного производства.

Доклад 2

Татьяна Стенина1, Татьяна Елизарова2, Даниил Рязанов3, Евгений Рябинкин4

1 МГУ им. М.В. Ломоносова, 2 ИПМ им. М.В. Келдыша РАН, 3 ИСП РАН, 4 НИЦ "Курчатовский институт"

Реализация регуляризованных уравнений для задачи моделирования дискового насоса в OpenFOAM.

Доклад 3

Артем Нуриев1, Айрат Камалутдинов1

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

Исследование гидродинамики около колеблющихся балок в пакете OpenFOAM.

Доклад 4

Даниил Рязанов1, Ильяс Сибгатуллин1

1 ИСП РАН

Регуляризированные уравнения для моделирования бигармонических аттракторов внутренних волн.

Доклад 5

Артем Кувшинников1, Александр Бондарев1

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

Параметрическое исследование точности решателей OpenFOAM для задачи о косой ударной волне.

Доклад 6

Елена Малиновская1

1 Институт физики атмосферы им. А.М. Обухова РАН

Исследование условий возникновения эолова микрорельефа.

Доклад 7

Мария Комарова1

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

Верификация расчетного ядра SolidDisplacementFoam программного комплекса OpenFOAM.

Доклад 8

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

1 ИСП РАН

Моделирование заводнения пласта с использованием расширенной версии библиотеки porousMultiphaseFoam.

Доклад 9

Михаил Чмыхов1, Виктор Козлов1

1 НИЯУ МИФИ

О численном моделировании естественной конвекции на основе решателя OpenFOAM.

Доклад 10

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

1 ИСП РАН

Исследование захвата материала потоком на склоне в пакете OpenFOAM.

Доклад 11

Михаил Левин1

1 ИСП РАН

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

Пленарные доклады

Асаф Шустер

Асаф Шустер

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

Николай Бёрнер

Николай Бёрнер

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

Каран Бхатия

Каран Бхатия

Глава отдела глобальной политики и правительственных отношений в Google, Нью-Йорк, США.

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

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

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

И.Б. Петров

И.Б. Петров

Член-корреспондент РАН, д.ф.м.н. Заведующий кафедрой информатики МФТИ.

Томас Боднар

Томас Боднар

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

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

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

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

Алексей Климентов

Алексей Климентов

Брукхэвенская национальная лаборатория, Аптон, США.

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

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

  • Аветисян А.И., д.ф.-м.н., профессор РАН, академик РАН, директор ИСП РАН.
  • Гарбук С.В., к.т.н., директор по научным проектам в НИУ ВШЭ.
  • Гергель В.П., д.т.н., профессор, директор Института информационных технологий, математики и механики ННГУ.
  • Каляев И.А., д.т.н., профессор, академик РАН, научный руководитель направления (НИИ многопроцессорных вычислительных систем ЮФУ).
  • Лютиков В.С., заместитель директора ФСТЭК России.
  • Федосов Е.А., д.т.н., академик РАН, научный руководитель ФГУП «ГосНИИАС».
  • Асаф Шустер, профессор, глава центра искусственного интеллекта (факультет информационных технологий Израильского технологического института (Технион)).
  • Дэвид Алан Грир, профессор в университете Джорджа Вашингтона (США), президент IEEE Computer Society (2013).
  • Костас Стасопулос, директор IEEE Region 8 (Европа, Африка, Ближний Восток; 2015-2016), Electricity Authority of Cyprus.
  • Хиронори Касахара, профессор (Университет Васэда, Токио), президент IEEE Computer Society (2018).

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

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

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

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

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

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

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

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

  • Корнев Н.В., Prof. Dr-Ing. habil., профессор, Universitat Rostock.
  • Крапошин М.В., к.ф.-м.н., ИСП РАН.
  • Марчевский И.К., к.ф.-м.н., доцент, МГТУ им. Н.Э. Баумана.
  • Нуриев А., к.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
  • Сибгатуллин И.Н., к.ф.-м.н., доцент, механико-математический факультет МГУ имени М.В. Ломоносова.
  • Чашечкин Ю.Д., д.ф.-м.н., профессор, ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Стрижак С.В., к.т.н., ИСП РАН.
  • Якобовский М.В., член-корр. РАН, д.ф.-м.н., профессор, ИПМ им. М.В. Келдыша РАН.
  • Елизарова Т.Г., д.ф.-м.н., профессор, ИПМ им. М.В. Келдыша РАН.
  • Терехов К.М., к.ф.-м.н., ИВМ РАН.
  • Dr. Henrik Rusche, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Prof J.M. Redondo, Universitat Politècnica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Tellez Alvarez, Jackson, PhD., Flumen Institute, Universitat Politècnica de Catalunya – Consorci Besòs Tordera.

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

Регистрация

Публикации


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


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

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

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

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

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

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

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

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

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


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

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

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

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

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

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


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

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

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

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

Транcпорт

Главное здание РАН находится в пешей доступности от станции метро «Ленинский проспект» и станции МЦК «Площадь Гагарина».

Детали

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