Булычев
Дмитрий
Юрьевич

к.ф.-м.н., доцент кафедры системного программирования СПбГУ

Соруководитель секции:
Технологии трансляции

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

ср 24 апреля вечерняя секция
ауд. 3315

Штейнберг О.Б., Брагилевский В.Н.

Разбиение цикла для автоматической векторизации

Забранский Д.Ю.

Структуризация потока управления путём функционализации в задачах декомпиляции

Таран К.С.

Использование proof assistants для описания операционных семантик

Подкопаев А.В.

Форматирование текста программ на основе комбинаторов, сопоставления с образцом и синтаксических шаблонов

Серебряков С.Н.

Схема сборки проекта с агрессивным переиспользованием порождений

Цель и название

Инициаторы

Место проведения

Расписание

Научная программа

Секции-семинары

Регистрация / Вход

Публикации

Контесты

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

Оргкомитет

Документы

Отзывы и рейтинги

Адреса и телефоны

Отчёты о работе

Булычев Д.Ю.

Бурова И.Г.

Гейн А.Г.

Герасимов М.А.

Граничин О.Н.

Демьянович Ю.К.

Зикратов И.А.

Кандоба И.Н.

Кириленко Я.А.

Клейменов А.Ф.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

Нестеров В.М.

Новиков Б.А.

Прохоров В.В.

Сафонов В.О.

Терехов А.Н.

Тимофеев А.В.

Трифонов П.В.

Тулупьев А.Л.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.