Кириленко
Яков
Александрович

старший преподаватель кафедры системного программирования СПбГУ

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

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

Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:

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

Инициаторы

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

График работы

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

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

Публикации и сроки

Оформление тезисов

Контест

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

Оргкомитет

Документы

Оптимизация затрат

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

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

Булычев Д.Ю.

Бурова И.Г.

Вяткина К.В.

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

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

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

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

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

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

Матвеев А.С.

Молдовян А.А.

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

Новиков Б.А.

Сафонов В.О.

Суворов В.А.

Терехов А.Н.

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

Фахрутдинов Р.Ш.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.