Онлайн трансляция (с 09:30)

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

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

Встреча ведущих экспертов отрасли проводится ежегодно по инициативе Института системного программирования Российской академии наук (ИСП РАН) в память академика В.П. Иванникова – выдающегося ученого, основателя Института. Проведение конференции осуществляется при поддержке международной ассоциации IEEE и IEEE Computer Society.

Темы секций:

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

Темы круглых столов:

  • Цифровая медицина
  • Безопасная разработка ПО: компетенции, сообщество, сертификация

Чтобы принять участие в мероприятии, необходимо зарегистрироваться и прислать на рассмотрение статью или тезисы, отражающие результаты проделанной работы. На рассмотрение принимаются материалы на английском и русском языках, ранее не представленные на других конференциях. Статьи и тезисы подаются через интернет-систему https://easychair.org/.

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

Требования к материалам и другие подробности – в разделе «Публикации».

Важные даты:

  • Срок подачи материалов: до 26 августа 2022 г. (23:59, GMT+3)
  • Уведомление о включении в программу: до 5 сентября 2022 г. (23:59, GMT+3)
  • Готовые к публикации статьи: до 18 сентября 2022 г.
  • Регистрация участников: до 18 сентября 2022 г.

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

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

  • Обратная инженерия бинарного (исполняемого) кода.
  • Выполнение программ в контролируемом окружении.
  • Поиск ошибок и уязвимостей в исполняемом коде.
  • Анализ сетевого трафика.
  • Оптимизации в компиляторе.
  • Статический и динамический анализ программ.
  • Методы и инструменты анализа и тестирования программ.
  • Безопасность и конфиденциальность в ОС.
  • Жизненный цикл разработки: стандарты и сертификация.
  • ОС реального времени, интернет вещей.
  • Сетевые стеки и технологии.
  • Архитектура операционных систем (в том числе, ядра ОС).

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

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

  • Интеллектуальный анализ данных и извлечение знаний.
  • Математическая теория и методы машинного обучения и искусственного интеллекта.
  • Математические модели процессов и явлений реального мира.
  • Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
  • Анализ социальных сетей, хранение и анализ больших графов.
  • Обработка сигналов и анализ изображений.
  • Анализ контента, созданного пользователями Интернета.
  • Информационный поиск, рекомендательные системы.
  • Онтологии и базы знаний.
  • Информационные системы и технологии.
  • Масштабируемые алгоритмы анализа данных.
  • Прикладные задачи анализа данных.
  • Очистка данных, интеграция разнородных данных, дедупликация данных.
  • Инфраструктура для хранения и обработки больших объемов данных.
  • Ключевые технологии создания частных и гибридных облаков.
  • Высокопроизводительные вычисления и другие облачные сервисы.
  • Экосистема хранения и обработки больших массивов данных.
  • Распределенные базы данных и технологии Data/Web Mining.
  • Программные платформы интернета вещей.
  • Динамическая балансировка нагрузки в эластичных облаках.
  • Планирование потока задач в облачных центрах обработки данных.
  • Энергосберегающие облачные инфраструктуры.

Цифровая медицина

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

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

Безопасная разработка ПО: компетенции, сообщество, сертификация

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

Программа конференции

Скачать программу конференции

23 сентября 2022 г.

8:00 - 9:30

Регистрация

9:30 - 11:30

Пленарная сессия


К участию приглашены:

  • ректор Университета Иннополис А.Г. Тормасов
  • начальник управления ФСТЭК России Д.Н. Шевцов
  • министр здравоохранения республики Татарстан М.Н. Садыков
  • ректор ЧГУ им. И.Н. Ульянова А.Ю. Александров
  • директор НПЦ «КСБ» С.Н. Сергеев
  • директор ИСП РАН А.И. Аветисян и другие.

В рамках сессии предусмотрено также представление технологий ИСП РАН (демонстрация комплексного подхода к обеспечению безопасности)

11:30 - 12:00

Подписание соглашений

12:00 - 12:30

Перерыв


Круглый стол «Цифровая медицина. Интеллектуальный анализ ЭКГ»

12:30 - 15:00

К участию приглашены:

  • М.Н. Садыков, министр здравоохранения республики Татарстан
  • Ю.Э. Терегулов, заведующий отделением функциональной диагностики №1 Республиканской клинической больницы Министерства здравоохранения республики Татарстан
  • Р.И. Туишев, директор ГАУ РТ Диспетчерский центр Министерства здравоохранения Республики Татарстан
  • С.Т. Мацкеплишвили, заместитель директора по научной работе МНОЦ МГУ
  • Ф.Ю. Копылов, директор Института персонализированной кардиологии Сеченовского университета, профессор, д.м.н.
  • В.Б. Тихомиров, генеральный директор ООО «Телемедицинские информационные системы»
  • А.Ю. Юровский, президент ООО «АТЕС МЕДИКА софт»
  • Д.В. Шутов, руководитель проекта ГБУЗ «НПКЦ ДиТ ДЗМ»
  • А.Г. Армаганов, заведующий центром телемедицины и дистанционного обучения МНОЦ МГУ
  • Т.М. Газашвили, руководитель центра инструментальной диагностики ГБУЗ ГКБ №67 им. Л.А. Ворохобова Департамента здравоохранения г. Москвы


Круглый стол «Безопасная разработка ПО: компетенции, сообщество, сертификация»

15:30 - 18:30

К участию приглашены:

представители ФСТЭК России, ведущих российских ИТ-компаний (АО «Лаборатория Касперского», R-vision, «Гарда Технологии», АО «Синклит», «Айдеко», НПЦ «КСБ», «Аладдин Р.Д.», «Ростелеком-Солар», Yadro, CodeScoring), российских вузов (ЧГУ, ОГУ) и другие.


Секция «Трансформация и анализ программ»

12:30 - 12:50

Александр Мисонижник1, Алексей Бабушкин1, Сергей Морозов1, Юрий Костюков2, Дмитрий Мордвинов2, Дмитрий Кознов2

1 IT Solutions Inc.,2 СПбГУ

Автоматическое тестирование LLVM-программ со сложными входными структурами данных

12:50 - 13:10

Виктория Егорова1, Алексей Панов1, Петр Девянин1, Владимир Тележников1

1 ООО «РусБИТех-Астра»

Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС

13:10 - 13:30

Мариам Арутюнян1,2, Севак Саргсян1,2

1 Центр передовых программных технологий, 2Российско-Армянский университет

Усовершенствованный фаззинг на основе грамматик

13:30 - 13:50

Дарья Парыгина1, Алексей Вишняков1, Андрей Федотов1

1 ИСП РАН

Сильно оптимистичные решения для динамической символьной интерпретации

13:50 - 14:10

Алексей Макаров1, Роман Коваленко1

1 ИСП РАН

Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений

14:10 - 14:30

Перерыв

14:30 - 14:50

Полина Рагозина1, Валерий Игнатьев1

1 ИСП РАН

Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа

14:50 - 15:10

Виталий Афанасьев1, Варвара Дворцова1, Алексей Бородин1

1 ИСП РАН

Статический анализатор для языков с поддержкой исключений

15:10 - 15:30

Ульяна Тяжкороб1, Валерий Игнатьев1

1 ИСП РАН

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

15:30 - 15:50

Вадим Карцев1, Валерий Игнатьев1

1 ИСП РАН

Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение

15:50 - 16:10

Айк Асланян1, Ованнес Мовсисян1, Севак Саргсян2

1 Российско-Армянский университет, 2 Ереванский государственный университет

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

16:10 - 16:30

Перерыв

16:30 - 16:50

Данил Корябкин1, Валерий Игнатьев1

1 ИСП РАН

Генерация шаблонов исправлений кода на основе репозиториев

16:50 - 17:10

Герман Арутюнов1, Сергей Авдошин1

1 ВШЭ

Большие трансформеры для генерации кода

17:10 - 17:30

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

1 Huawei technologies Inc.

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

17:30 - 17:50

Никита Катаев1, Александр Колганов1

1 Институт прикладной математики им. М.В. Келдыша РАН

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

17:50 - 18:10

Никита Гнилозуб-Волобуев1

1 ИСП РАН

Автоматизация создания окружения при динамическом анализе ПО на основе полносистемного анализа с использованием QEMU


Секция «Управление данными и информационные системы»

12:30 - 12:50

Aлексей Неганов1

1 МФТИ

Мультиверсионный лог-структурированный индекс

12:50 - 13:10

Андрей Лепендин1, Рауф Насретдинов1, Илья Ильяшенко1

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

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

13:10 - 13:30

Екатерина Курденкова1, Мария Черепнина1, Анна Чистякова1, Константин Архипенко1

1 ИСП РАН

Влияние трансформаций на успешность состязательных атак для классификаторов изображений Clipped BagNet и ResNet

13:30 - 13:50

Александр Козачок1, Василий Козачок1, Сергей Копылов1, Павел Горбачев1, Юрий Маркин2, Дмитрий Обыденков2

1 Академия ФСО, 2 ИСП РАН

Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменения интервалов между словами

13:50 - 14:10

Александр Козачок1, Андрей Спирин1, Елена Козачок2

1 ИСП РАН, 2 Орловская областная клиническая больница

Обзор методов раннего обнаружения меланомы c использованием методов компьютерного зрения

14:10 - 14:30

Перерыв

14:30 - 14:50

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

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

Медицинский ИТ-сервис для выявления нейрокогнитивных патологий по результатам МРТ головного мозга человека

14:50 - 15:10

Оксана Беляева1, Андрей Перминов1, Анастасия Богатенкова1

1 ИСП РАН

Dr. Dedoc: построение универсальной модели документа

15:10 - 15:30

Никита Дородных1, Александр Юрин1

1 Институт динамики систем и теории управления им. В.М. Матросова СО РАН

Извлечение фактов из веб-таблиц на основе семантической интерпретации табличных данных

15:30 - 15:50

Герман Грицай1, Андрей Грабовой1,2, Юрий Чехович3

1 МФТИ, 2 «Антиплагиат», 3 ФИЦ ИУ РАН

Автоматическое обнаружение машинно-сгенерированных текстов: длина последовательности важна

15:50 - 16:10

Татевик Тер-Оганесян1,2, Карен Аветисян1,2

1 Российско-Армянский университет, 1 ИСП РАН

Мультиязычные модели на основе трансформеров для поиска межъязыкового плагиата

16:10 - 16:30

Перерыв

16:30 - 16:50

Владимир Шелехов1

1 Институт систем информатики им. А.П. Ершова СО РАН

Расширение языка предикатного программирования для эффективной обработки графов

16:50 - 17:10

Виталий Романов1, Владимир Иванов1

1 Университет Иннополис

Предсказание типов в Python на основе предтренированных графовых нейронных сетей

17:10 - 17:30

Никита Лазарев1, Олег Борисенко1

1 ИСП РАН

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

17:30 - 17:50

Александр Леонов1, Андрей Лаптев1, Анастасия Лаушкина1, Михаил Синько1, Олег Басов1

1 Университет ИТМО

Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа

17:50 - 18:10

Ислам Александров1, Владимир Куклин1, Александр Муранов1, Аслан Татарканов1

1 Институт конструкторско-технологической информатики РАН

Теоретические основы алгоритма визуализации множества точек многомерного пространства для СППР в антропотехнических системах

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

  1. А.И. Аветисян, академик РАН, директор ИСП РАН.
  2. И.Б. Петров, член-корреспондент РАН, д.ф.-м.н., заведующий кафедрой информатики и вычислительной математики МФТИ.
  3. А.Н. Черных, д.т.н., профессор компьютерных наук в CICESE Research Center (Мексика).
  4. И.В. Аржанцев, д.ф-м.н., декан Факультета компьютерных наук ВШЭ.
  5. А.М. Райгородский, д.ф.-м.н., директор Физтех-школы прикладной математики и информатики МФТИ.
  6. С.П. Прохоров, к.ф.-м.н., председатель российского отделения IEEE Computer Society.
  7. А.К. Петренко, д.ф.-м.н., заведующий отделом технологий программирования (ИСП РАН).
  8. А.А. Белеванцев, д.ф.-м.н., руководитель направления анализа и оптимизации программ (ИСП РАН).
  9. В.А. Падарян, к.ф.-м.н., руководитель направления обратной инженерии бинарного кода (ИСП РАН).
  10. О.И. Самоваров, к.т.н., ученый секретарь ИСП РАН.
  11. Д.Ю. Турдаков, к.ф.-м.н., заведующий отделом информационных систем (ИСП РАН).
  12. А.В. Хорошилов, к.ф.-м.н., директор Центра верификации ОС Linux (ИСП РАН).

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

Конференция проводится в рамках соглашения с Министерством науки и высшего образования РФ № 075-15-2022-294 от 15 апреля 2022 г.

Регистрация

Публикации


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


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

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

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

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

2. Статьи на английском языке объемом 3-7 страниц оформляются в соответствии с требованиями IEEE Manuscript Templates.

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

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

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

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


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

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

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

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

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


Международная конференция «Иванниковские чтения» 2021

Международная конференция «Иванниковские чтения» 2020

Международная конференция «Иванниковские чтения» 2019

Ivannikov Memorial Workshop 2018

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

E-mail и телефон

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

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

Международный выставочный центр «Казань Экспо». Село Большие Кабаны, Выставочная ул., д. 1 (в шаговой доступности от аэропорта Казани).

Детали

Конференция проводится с 9:00 до 18:00.