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