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


Открытая конференция ИСП РАН 2016

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

Четверг, 1 декабря 2016 года.

08:30 - 09:30

Регистрация участников конференции.

09:30 - 09:50

Открытие конференции. Выступления А.Б. Жижченко, В.В. Козлов, А.И. Аветисян.

09:50 - 10:10

А.И. Аветисян, член-корреспондент РАН, директор ИСП РАН, Россия

«ИСП РАН - Экосистема инноваций».

10:10 - 10:30

В.С. Лютиков, заместитель директора ФСТЭК России

«Разработка безопасного программного обеспечения как составляющая информационной безопасности».

10:30 - 10:50

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

«Разработка безопасного программного обеспечения как составляющая информационной безопасности».

10:50 - 11:10

Dr. Chul-Joo Kim, Software R&D Center Samsung Electronics

«Samsung SW R&D Directions».

11:10 - 11:30

Ли Цзян, директор научно-исследовательского центра Huawei

«ИКТ Инновации и Математика».

11:30 - 11:50

Михаил Орленко, руководитель департамента технологических решений, DELL

«Технологии и решения Dell EMC для распределенных систем».

11:50 - 13:00

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

13:00 - 14:00

Обед.

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

14:00 - 14:40

А.А. Белеванцев, ИСП РАН, Россия

«Технологии статического анализа в безопасном цикле разработки программ: требования, задачи, возможности».

Презентация

14:40 - 15:00

Е.А. Рыжков, А.Н. Карпов, ООО "СиПроВер", Россия

«Принципы работы статического анализатора кода PVS-Studio».

15:00 - 15:20

В.К. Кошелев, ИСП РАН, Россия

«Формализация определения ошибок при статическом символьном выполнении».

Презентация

15:20 - 15:40

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

«Mechanically Proved Practical Local Null Safety».

Презентация

15:40 - 16:00

Чай, кофе.

16:00 - 16:20

И.A. Дудина, МГУ, Россия

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

Презентация

16:20 - 16:40

Д.Н. Бочарников, Samsung R&D Institute RUS

«Проблемы отладки динамически компилируемых языков на примере отладчика для C# на платформе Tizen».

Презентация

16:40 - 17:00

П.С. Андрианов, В.С. Мутилин, А.В. Хорошилов, ИСП РАН, Россия

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

Презентация

17:00 - 17:20

Р.Р. Мулюков, А.Е. Бородин, ИСП РАН, Россия

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

Презентация

17:20 - 17:40

А.Р. Нурмухаметов, ИСП РАН, Россия

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

Презентация

17:40 - 18:00

К.Ю. Долгорукова, С.В. Аришин, ИСП РАН, Россия

«Ускорение оптимизации программ во время связывания».

Презентация

18:00 - 18:20

Р.А. Бучацкий, Е.Ю. Шарыгин, Л.В. Скворцов, Р.А. Жуйков, Д.М. Мельник, Р.В. Баев, МГУ, МФТИ, Россия

«Динамическая компиляция SQL-запросов для СУБД PostgreSQL».

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

14:00 - 14:40

К.А. Осипов, Tarantool, Россия

«Разбираем работу write optimized storage на примере Vinyl storage engine в Tarantool».

Презентация

14:40 - 15:00

Д. Колмаков, К. Книжник, А. Чепкунов, А. Слесаренко, Huawei, Китай

«Speed-up Spark applications by offloading computation to native kernels».

15:00 - 15:20

О.Д. Борисенко, ИСП РАН, Россия

«Проблемы масштабируемости Openstack Keystone и методы их решения».

Презентация

15:20 - 15:40

А. Черных, CICESE Research Center, Ensenada, Baja California, Mexico

«Применение облачных вычислений для анализа данных большого объема в умных городах ».

15:40 - 16:00

Чай, кофе.

16:00 - 16:20

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

«Parallel modularity computation for directed weighted graphs with overlapping communities».

16:20 - 16:40

Д.Ю. Игнатов, А.Филлипов, А.Д. Игнатов, Xuecang Zhang, Russian Research Center, Huawei Technologies, Russia; Swiss Federal Institute of Technology in Zurich, Department of Computer Science, Switzerland

«Automatic Analysis, Decomposition and Parallel Optimization of Large Homogeneous Networks».

Презентация

16:40 - 17:00

А.Г. Гомзин, ИСП РАН, Россия

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

Презентация

17:00 - 17:20

Ю.С. Трофимович, И.С. Козлов, Д.Ю. Турдаков, ИСП РАН, Россия

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

Презентация

17:20 - 17:40

К.А.Казаков, В.А. Семенов, ИСП РАН, Россия

«Planning movement in dynamic global environment».

17:40 - 18:00

Д.А. Усталов, Институт математики и механики им. Н.Н. Красовского, Россия

«Inducing a Thesaurus Structure by Joining Dictionaries and Word Embeddings».

Презентация

18:00 - 18:20

И.С. Алимова, В.Д. Соловьев, И.З. Батыршин, Казанский федеральный университет, Россия; Instituto PolitecnicoNacional, Mexico

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

Презентация

18:20 - 18:40

Д.О. Машкин, Е.В. Котельников, Вятский государственный университет, Россия

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

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

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

08:30 - 09:30

Регистрация участников конференции.

10:10 - 10:50

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

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

Презентация

10:50 - 11:30

А.Ю. Герасимов, Л.В. Круглов, ИСП РАН, Россия

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

Презентация

11:30 - 11:50

Чай, кофе.

11:50 - 12:10

Е.М. Лаврищева, А.К. Петренко, ИСП РАН, Россия

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

Презентация

12:10 - 12:30

В.В. Каушан, ИСП РАН, Россия

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

Презентация

12:30 - 12:50

В.В. Вишняков, ИСП РАН, Россия

«Классификация ROP гаджетов».

Презентация

12:50 - 13:10

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

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

Презентация

13:00 - 14:00

Обед.

14:10 - 14:30

К.А. Батузов, ИСП РАН, Россия

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

Презентация

14:30 - 14:50

Н.А. Белов, МГУ, Россия

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

Презентация

14:50 - 15:10

П.М. Довгалюк, В.А. Макаров, НовГУ, Россия

«When stack protection does not protect the stack?».

Презентация

15:10 - 15:30

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

«Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах».

Презентация

15:30 - 15:50

А.С. Камкин, А.М. Коцыняк, А.Д. Татарников, М.М. Чупилко, А. Проценко, ИСП РАН, Россия

«MicroTESK: Среда разработки генераторов тестовых программ для микропроцессоров».

Презентация

15:50 - 16:10

Чай, кофе.

16:10 - 16:30

И. Якимов, А. Кузнецов, Сибирский федеральный университет, Россия

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

Презентация

16:30 - 16:50

А.Е. Хмельнов, И.В. Бычков, А.А. Михайлов, Институт динамики систем и теории управления имени Матросова СО РАН

«Декларативный язык FlexT – инструмент анализа и документирования бинарных форматов данных».

Презентация

16:50 - 17:10

А.И. Гетьман, Ю.В. Маркин, Д.О. Обыденков, В.А. Падарян, А.Ю. Тихонов , ИСП РАН, Россия

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

Презентация

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

08:30 - 09:30

Регистрация участников конференции.

09:30 - 10:10

Prof. Hrvoje Jasak, Wikki, United Kingdom and Germany, Faculty of Mechanical Engineering and Naval Architecture University of Zagreb, Croatia

«Numerics Improvements in OpenFOAM with Examples of Industrial CFD Applications».

Презентация

10:10 - 10:50

J.M. Redondo , Dept. Fisica, UPC Barcelona Tech, Barcelona, Spain

«SAR Analysis of the ocean surface: Application to marine pollution and detection of dynamic features».

10:50 - 11:30

И.В. Ткаченко, Н.В. Тряскин, С.И. Чепурко, СПБМТУ, Россия

«The experience of the applying the open-source software in ship hydrodynamics».

Презентация

11:30 - 11:50

Чай, кофе.

11:50 - 12:10

Д.И. Романова, МГУ, Россия

«М3D flow modeling of Herschel-Bulkley fluid on the slope in OpenFOAM».

Презентация

12:10 - 12:30

А.С. Епихин , МГТУ, Россия

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

Презентация

12:30 - 12:50

M. Banholzer, Institute for Thermodynamics, Universit?t der Bundeswehr M?nchen, Germany

«A computational study of the influence of real-gas effects in under-expanded hydrogen and methane jets».

Презентация

12:50 - 13:10

Е.В. Смирнова, МГТУ, Россия

«The validation of open-source code Gerris on the problems of hydrodynamic instabilities».

Презентация

13:10 - 14:00

Обед.

14:10 - 14:30

П.С. Лукашин, С.В. Стрижак (ИСП РАН, Россия), Г.А. Щеглов , МГТУ, Россия

«Тестирование возможностей решения задач акустики в открытом коде BEM++».

Презентация

14:30 - 14:50

И.Е. Евдокимов, М.Д. Калугин , ИСП РАН, Россия

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

14:50 - 15:10

Ю.Н. Корниенко, АО ГНЦ РФ ФЭИ имени А.И. Лейпунского, Россия

«Аналитический квазиодномерный метод и критерии перехода от 2D/3D к 1D моделям расчёта динамики двухфазных неравновесных турбулентных потоков».

Презентация

15:10 - 15:30

Е.В. Варсеев, Ю.Н. Корниенко, IPPE, Россия, АО ГНЦ РФ ФЭИ имени А.И. Лейпунского, Россия

«Numerical study of saddle-shaped void fraction profiles effect on thermal hydraulic parameters of the channel with two-phase flow using OpenFOAM and comparison with experiments».

Презентация

15:30 - 15:50

М.П. Галанин, В.В. Лукин, А.С. Родин, ИПМ им. М.В.Келдыша РАН, Россия

«Платформа сопровождения вычислительного эксперимента Теметос: архитектура и решатели».

15:50 - 16:10

Чай, кофе.

16:10 - 16:25

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

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

16:25 - 16:40

В.В. Пузикова, МГТУ, Россия

«The LS-STAG Immersed Boundary Method Modification for Viscoelastic Flow Computations».

16:40 - 16:55

В.Н. Корчагова, ИСП РАН, Россия

«An Implementation of Hybrid CFD/BEM Technology For Prediction Acoustic Environments Using Open-Source Software».

Презентация

16:55 - 17:10

О.С. Коцур, В.Г. Мельникова, Г.А. Щеглов, МГТУ, Россия

«Numerical simulation of the flow in the flow rate regulator valve using OpenFOAM».

17:10 - 17:25

А. Нуриев, А. Юнусова, О. Зайцева, Казанский национальный исследовательский технологический университет, Россия

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

Презентация

17:25 - 17:40

К.С. Кузьмина, И.К. Марчевский, МГТУ, Россия

«On computational complexity of vortex element method for 2D incompressible flows simulation».

Презентация

17:40 - 17:55

P. Fraunie, MIO Toulon Univerity, France

«Fast 3D parallel numerical model for air-sea interface including breaking waves and floating bodies».