Институт системного программирования им. В.П. Иванникова РАН


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

Программа конференции (на русском, на английском).

Краткий отчет о конференции

Фотографии с конференции

Четверг, 30 ноября 2017 года.

08:30 - 09:30

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

09:30 - 13:00

Выставка технологий ИСП РАН

09:30 - 09:40

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

09:40 - 10:20

Профессор Дионисиос Цикридзис, президент Учёного совета Греческого фонда исследований и инноваций (Афины, Греция)

«Виктор Иванников: взгляд на его наследие за пределами России».

Презентация

10:20 - 11:00

Профессор Аcаф Шустер, факультет Компьютерных Наук Техниона, член ACM

«Угрозы безопасности Интернета вещей и их решения».

11:00 - 11:40

Кофе, чай.

11:40 - 12:20

Яэль Янив, доцент кафедры биомедицинской инженерии Техниона, глава Лаборатории биоэлектрических и биоэнергетических систем

«IT-устройства для предсказания аритмогенных событий и классифицированных сердечных заболеваний».

Презентация

11:10 - 11:30

Костас Стасопулос, IEEE Region 8 Past Director, Electricity Authority of Cyprus

«Обзор IEEE».

Презентация

13:00 - 14:00

Обед.

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

14:00 - 14:25

В.А. Иванишин, Е.А. Кудряшов, А.В. Монаков, Д.М. Мельник, Дж. Ли, ИСП РАН

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

Презентация

14:25 - 14:50

А.В. Подкопаев1, О. Лахав2, В. Вафеядис3, 1 - СПбГУ, JetBrains Research, 2 - Tel Aviv University, Израиль, 3 - Max Planck Institute for Software Systems, Германия

«Обещающая компиляция в ARMv8.3».

Презентация

14:50 - 15:15

А. Михайлов, А. Хмельнов, ИДСТУ СО РАН

«Декомпилятор объектных файлов Delphi».

Презентация

15:15 - 15:40

А.В. Когтенков, Швейцарская высшая техническая школа Цюриха

«Эталонные тесты безопасности нулевых ссылок при инициализации объекта».

Презентация

15:40 - 16:00

Кофе, чай.

16:00 - 16:25

А.А. Мицюк, Лаборатория ПОИС

«Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа».

Презентация

16:25 - 16:50

Е.А. Аксёнова, А.В. Соколов, ИПМИ КарНЦ РАН

«Моделирование процесса управления памятью для динамических перехватывающих планировщиков».

Презентация

16:50 - 17:15

И.А. Якимов, А.С. Кузнецов, Институт космических и информационных технологий СФУ

«Поиск недостающих вызовов библиотечных функций с использованием машинного обучения».

Презентация

17:15 - 17:40

Д.В. Ефремов1, М.У. Мандрыкин2, 1 - НИУ ВШЭ, 2 - ИСП РАН

«Формальная верификация библиотечных функций ядра Linux».

17:50 - 18:05

Е. Моисеенко, А. Подкопаев, СПбГУ, JetBrains Research

«Реляционная интерпретация многопоточности».

Презентация

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

Анализ текстов

14:00 - 14:25

И. Андрианов, В. Майоров, ИСП РАН

«Перенос знаний в задаче морфологической разметки русского языка».

Презентация

14:25 - 14:50

И. Алимова, Е. Тутубалина, Казанский федеральный университет

«Подход машинного обучения к классификации русскоязычных обзоров лекарственных средств».

Презентация

14:50 - 15:15

А. Хаджийская, А. Сысоев, ИСП РАН

«Разрешение кореферентности для русского языка: подведение итогов и дальнейшие шаги».

Презентация

15:15 - 15:40

А. Бакаров, А. Кутузов, 1- НИУ ВШЭ, 2- University of Oslo, Норвегия

«Проблемы оценки модели дистрибутивной семантики».

Презентация

15:40 - 16:00

Кофе, чай.

Анализ сложных сетей

16:00 - 16:25

К. Чихрадзе, И. Малышев, Д. Турдаков, А. Коршунов, ИСП РАН

«Распределенная генерация мобильных графов с DPLN распределением степеней».

Презентация

16:25 - 16:50

М. Дробышевский, Д. Турдаков, С. Кузнецов, ИСП РАН

«Воспроизведение структуры сети: сравнительное исследование генераторов случайных графов».

Презентация

16:50 - 17:15

И. Козицын, В. Сушко, Т. Бабкина, А. Белолипецкий

«Динамика мнения в случае разных каналов связи и неполной осведомленности».

Презентация

Искусственный интеллект и машинное обучение

17:15 - 17:40

Ю. Словохотов1, 2, И.С.Неретин31 - Химический факультет МГУ, 2,3 - Институт элементоорганических соединений РАН

«К построению модульной модели распределенного интеллекта».

Презентация

17:40 - 18:05

А. Лепендин, Я. Филин

«Слияние нескольких бинарных классификаторов для противодействия атаке подмены с речевым воспроизведением».

Презентация



Пятница, 1 декабря 2017 года.

08:30 - 09:30

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

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

09:30 - 10:10

А. Черных, исследовательский центр CICESE, Энсенада, Нижняя Калифорния, Мексика

«Уменьшение неопределенности потребления энергии в облачных вычислениях».

10:10 - 10:35

А. Герасимов, С. Вартанов, М. Ермаков, Л. Круглов, Д. Куц, А. Новиков, С. Асрян, ИСП РАН

«Anxiety: среда динамического символьного исполнения».

Презентация

10:35 - 11:00

А. Федотов, В. Каушан, С.С. Гайсарян, Ш. Курмангалеев, ИСП РАН, Россия

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

Презентация

11:25 - 11:50

Кофе, чай.

11:50 - 12:15

А. Нурмухаметов, Ш. Курмангалеев, Е. Жаботинский, С. Гайсарян, А. Вишняков, ИСП РАН

«Мелко-гранулярная рандомизация адресного пространства программы при запуске».

Презентация

12:15 - 12:40

А. Легалов, В. Васильев, И. Матковский, М. Ушакова, Сибирский федеральный университет

«Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ».

Презентация

12:40 - 13:15

М. Бакулин, М. Климушенкова, Д. Егоров, ИСП РАН

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

Презентация

12:50 - 13:15

М.А. Климушенкова, М.Г. Бакулин, В.А. Падарян, П.М. Довгалюк, Н.И. Фурсова, И.А. Васильев, НовГУ, Россия

«О некоторых ограничениях полносистемного анализа помеченных данных».

13:15 - 14:10

Обед.

14:10 - 14:35

А. Беззубиков, Н. Белов, К. Батузов, ИСП РАН

«Автоматическая генерация динамического двоичного транслятора по описанию набора инструкций».

Презентация

14:35 - 15:00

А. Асланян, А. Аветисян, М. Арутюнян, Г. Керопян, Ш. Курмангалеев, В. Варданян, ИСП РАН

«Масштабируемый инструмент для точного сравнения двоичного кода».

Презентация

15:00 - 15:25

А. Козачок, Е. Кочетков, Академия ФСО России

«Подход к реализации системы верифицированного исполнения программного кода».

Презентация

15:25 - 15:50

В. Ефимов, О. Горемыкин, Д.Богомолов, А. Беззубиков, В. Падарян

«Автоматизация разработки устройств и машин для QEMU».

Презентация

15:50 - 16:10

Кофе, чай.

16:10 - 16:30

Р. Айрапетян, А. Квочко, Samsung R&D Institute, Россия

«Профилировщик памяти Tizen .NET».

Презентация

16:35 - 17:00

В. Баринов, М. Остапенко, В. Гарбузов, Samsung R&D Institute, Россия

«Применение технологии "Address Sanitizer" для динамического анализа кода операционной системы Tizen».

Презентация

17:00 - 17:25

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

«Управление памятью M-M/S-CD: концептуальные и системные модели».

Презентация

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

09:30 - 10:10

И.В. Ткаченко, Н.В. Тряскин, С.И. Чепурко, СПбГМТУ, Санкт-Петербург

«Суперкомпьютерные технологии в задачах корабельной гидромеханики».

Презентация

10:10 - 10:50

Тьерри Доксуа

«Аттракторы внутренних волн».

10:50 - 11:30

Д. Нечипуренко

«Избранные биофизические проблемы биореологии».

11:30 - 11:50

Кофе, чай.

11:50 - 12:30

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

12:30 - 12:50

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

«Открытый исходный код для моделирования двумерного несжимаемого потока с использованием методов бессеточных лагранжевых вихрей».

12:50 - 13:10

Р. Степанов, А. Теймуразов, В.Титов, Махендра К. Верма, С. Барман, А. Кумар, Ф. Плуниан, МГТУ, Россия

«Прямое численное моделирование спиральной магнитогидродинамической турбулентности с кодом Таранга».

13:10 - 14:10

Обед.

14:10 - 14:30

В. Головизнин, М. Зайцев, С. Карабасов, ИБРАЭ РАН

«Математическое моделирование нестационарных задач движения сплошной среды методом "кабаре" с использованием СПО OpenFOAM».

Презентация

14:30 - 14:50

А. Семакин, МГТУ им. Баумана

«Программный пакет вейвлетной адаптивной сетки».

Презентация

14:50 - 15:10

И. Куликов, И. Черных

«Численное моделирование медузообразной галактики на суперкомпьютере Intel Xeon Phi».

Презентация

15:10 - 15:30

А. Крючкова, С. Стрижак, Д. Теллез-Альварез, Хосе М. Редондо

«Оценка турбулентного следа для двух модельных ветряных турбин с использованием мультифрактального анализа».

Презентация

15:30 - 15:50

М. Крапошин, В. Корчагова, Джоэм Беилке, Ахмад Аль-Зуби

«Сравнение возможностей Star CCM и OpenFOAM для моделирования вязких потоков сжатого газа».

15:50 - 16:10

Кофе, чай.

16:10 - 16:30

К. Траксингер, М. Банхольцер, Bundeswehr University Department of Aerospace Engineering Institute for Thermodynamics, Германия

«Смешивание индуцированного разделения фаз при повышенных давлениях».

Презентация

16:30 - 16:50

Йенс Трюмнер, Bundeswehr University Department of Aerospace Engineering Institute for Thermodynamics, Германия

«Применение предварительно сконструированного плотностного решателя на потоках трансзвуковых сопел».

Презентация

16:50 - 17:10

В. Котеров, В. Кривцов, В. Зубов, Вычислительный центр им. А. А. Дородницына РАН

«Программный пакет для расчета аэродинамических характеристик летательных аппаратов».

Презентация

17:10 - 17:30

А. Аксенов, С. Жлуктов, В. Ильин, Д. Силаев, С. Харченко, А. Печенюк, Е. Рябинкин, В. Велихов, TESIS LTD, NRC Kurchatov Institute, IJHT of RAS (Russia, Moscow), DigitalMarine (Odessa, Ukraine)

«Исследование проблем судовых движений на суперкомпьютере».

Презентация

17:30 - 17:50

А. Ряховский, В. Антонов, А. Шмидт, ОНТИ ФТИ им. А.Ф. Иоффе, Сектор численного моделирования

«Численное моделирование высокоскоростного неравновесного потока с приложенным магнитным полем».

Презентация


30 Ноября 2017. Выставка технологий ИСП РАН (демонстрации)

Стенд 1. Svace. Промышленный инструмент статического анализа исходного кода C/C++, Java, и C# программ для поиска широкого набора критических ошибок, уязвимостей, недостатков кода.

Стенд 2. Obfuscating program code. ИСП ОБФУСКАТОР - технология, разработанная в ИСП РАН для обфускации (запутывания) программного кода.

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

Стенд 4. Detecting program errors and vulnerabilities. Технологии обнаружения критических ошибок времени исполнения и уязвимостей в программах.

Стенд 5. Инструменты анализа бинарного кода.

Стенд 6. SharpChecker. SharpChecker - статический анализатор C# кода для автоматического поиска различных ошибок и уязвимостей в исходном коде программ. Инструмент предназначен для разработчиков программ на языке C# и их руководителей. С его помощью можно как обнаруживать ошибки, так и отслеживать изменение качества создаваемого продукта.

Стенд 7. AstraVer. Инструменты дедуктивной верификации моделей и механизмов защиты ОС.

Стенд 8. Klever. Статическая верификация драйверов ядра Linux.

Стенд 9. Retrascope и MicroTESK. Реконфигурируемая и расширяемая среда генерации тестовых программ для микропроцессоров.

Стенд 10. MASIW. Автоматизированное рабочее место архитектора и интегратора системы интегрированной модульной авионики.

Стенд 11. Texterra. Технология автоматического построения онтологий и семантического анализа текста. Предоставляет пользователям инфраструктуру для извлечения знаний из различных ресурсов сети Интернет, систему управления знаниями и набор инструментов для обработки естественного языка.

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

Стенд 13. Облачная инфраструктура ИСП РАН.

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

Стенд 15. Облачная инфраструктура поддержки жизненного цикла операционной системы Tizen.Ru.

Стенд 16. SciNoon. Прототип системы исследовательского поиска по научным статьям.


Научно-практический семинар по теме "Моделирование и верификация политик безопасности управления доступом в операционных системах" (Бежевый зал)

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

Процесс верификации формальной модели управления доступом был разработан ИСП РАН по инициативе компании АО "НПО РусБИТех" в рамках научно-исследовательской работы, стартовавшей в 2013 году. В этом году АО "НПО РусБИТех" успешно использовала результаты 4-летней НИР для прохождения сертификационных испытаний ОС Astra Linux на соответствие новым требованиям безопасности информации к операционным системам, утвержденным ФСТЭК России в 2016 году.

Программа семинара:

  • Цели и задачи научных исследований.
    (А.К.Петренко, П.Н.Девянин, А.Л.Оружейников)
  • Описание процесса моделирования и верификации управления доступом операционной системы.
    (А.В.Хорошилов)
  • Базовый уровень МРОСЛ ДП-модели в математической нотации.
    (П.Н.Девянин)
  • Event-B спецификация базового уровня МРОСЛ ДП-модели и Спецификация системных вызовов ОС.
    (В.В.Кулямин и И.В.Щепетков)
  • Модуль безопасности LSM, его спецификация и верификация.
    (В.В.Кулямин и Д.В.Ефремов)
  • Мониторинг функционирования системы защиты информации операционной системы.
    (Д.В.Ефремов)
  • Вопросы и обсуждение.
  • Заключение.

1 Декабря 2017. Интерактивная сессия. Решение задач механики сплошных сред с использованием СПО.

И. Евдокимов, Д. Захаркин, А. Лебедев. "Разработка программного обеспечения для постобработки виртуальной реальности для шлемов виртуальной реальности".

А. Кувшинников, Александр Бондарев. "Сравнительное исследование точности для решателей OpenFOAM".

М.Д. Хоменко, Ф.Х. Мирзаде, В.Г. Низьев. "Планирование и оптимизация лазерной наплавки с учетом влияния гидродинамики и геометрии теплоотвода деталей".

В. Мельникова, П.Лукашин, С. Стрижак, Г. Щеглов. "Метод решения задач аэроупругости для лопастей с использованием программного обеспечения с открытым исходным кодом".

С. Дергачев. "Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель".

С. Рогозин. "Оптимизация параметров бытовой печи на основе высокопроизводительного моделирования процесса горения".

И.Н. Сибгатуллин, Д.А. Рязанов, Е.В. Ерманюк. "Бигармонические аттракторы внутренних волн".

И.Н. Сибгатуллин, K.А. Ватутин, Е.В. Ерманюк. "Трехмерные волновые аттракторы при локализованном волнопродукторе".

А. Исаев, К. Еврим, Р. Куленович, Е. Лауриен. "Экспериментальное и численное исследование явлений потока в вертикальной конфигурации t-перехода".

И. Сибгатуллин, Е. Ерманюк, Сюй Сюлинь, Тьерри Доксуа. "Прямое численное моделирование аттракторов инерционных волн с различными типами внешнего воздействия".

И. Евдокимов. "Управление симуляцией ситуаций в OpenFOAM с использованием графов".

Е. Авдеев, В. Овчинников, К. Волкова. "Моделирование смазываемости автомобильного редуктора".

К. Кошелев, Сергей Стрижак. Возможность взаимодействия решателя CentralFoam для моделирования потока в испытательной камере".

М. Крапошин, Д. Рязанов, Т. Елизарова, М. Истомина, Е. Смирнова. "Разработка решателя OpenFOAM для моделирования сжимаемых вязких течений с использованием квазигазовых динамических уравнений".

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

М. Н. Никитин. "Моделирование смешанной конвекции по горизонтальной пластине".

И. Марчевский, В. Пузикова. "Сравнение эффективности решателей для разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES".

А. Цынаева, С. Разоренов, В.Белая. "Численное моделирование теплообмена канала с неглубокими изогнутыми углублениями".