Семинар МЕТА в рамках летней практики МГТУ им. Н.Э. Баумана (кафедра ИУ9) в ИПС им. А.К. Айламазяна РАН
Семинар состоится 1 июля, в среду, в ИПС им. А.К. Айламазяна РАН, Переславль-Залесский.
Тематика совещания включает (не исчерпывающе) следующие возможные темы докладов:
- суперкомпиляция и статический анализ: теоретические основы, применение, экспериментальные разработки (расширения)
- унификация и специализация
- особенности реализации компилятора Рефала, теоретические основы языка, экспериментальные применения
- комбинаторика слов, формальные языки, описывающие структуры Рефала или их расширения
- верифицируемые модели программ
Программа семинара
13-30 - 13-35 - Открытие
Секция 1.
| Начало |
Докладчик |
Название доклада |
Материалы |
| 13-35 |
Непейвода Антонина, ИПС |
Вводная лекция. Индукция в анализе программ |
слайды TBA |
| 14-20 |
Немытых Андрей, ИПС |
О языке постановки задач автоматизации программирования |
слайды TBA |
| 15-20 |
Коновалов Александр, МГТУ им. Н.Э. Баумана |
Декомпозиция вызовов функций во время суперкомпиляции путём построения выходных форматов |
слайды TBA |
| 16-20 |
|
Перерыв |
|
| 16-30 |
Черганов Тимофей, Astra Linux |
Формально верифицированный статический анализатор байткода eBPF |
слайды TBA |
17-30 - Закрытие
Место проведения и ссылка на трансляцию
- Место проведения - Институт Программных Систем им. А.К. Айламазяна РАН. 1 этаж, Малый Конференц-Зал.
- Всем слушателям, кто будет присутствовать очно, требуется прислать свои ФИО на почту a_nevod@mail.ru не позже, чем 27 июня, для оформления пропуска в институт.
- Ссылка для онлайн-трансляции отсутствует.