|
 |
Кириленко
Яков
Александрович
старший преподаватель кафедры системного программирования СПбГУ
|
| Соруководитель секции: |
 |
|
Технологии трансляции
Интересует всё, что так или иначе является частью нелёгкого процесса
трансляции: от препроцессирования до оптимизаторов и кодогенераторов.
Сюда же входят и статические анализаторы, и алгоритмы верификации
программ можем рассмотреть. Весь процесс превращения формальной модели
в исполнимый код и сопутствующие преобразования. Принимаются не только
доклады об алгоритмах, но и интересные истории о применении,
сравнительные обзоры.
|
| ср 24 апреля |
 |
вечерняя секция |
| ауд. 3315 |
|
Штейнберг О.Б., Брагилевский В.Н.
Разбиение цикла для автоматической векторизации
|
|
Забранский Д.Ю.
Структуризация потока управления путём функционализации в задачах декомпиляции
|
|
Таран К.С.
Использование proof assistants для описания операционных семантик
|
|
Подкопаев А.В.
Форматирование текста программ на основе комбинаторов, сопоставления с образцом и синтаксических шаблонов
|
|
Серебряков С.Н.
Схема сборки проекта с агрессивным переиспользованием порождений
|
|
|
