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

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

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

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

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

Григорьев С.В.

Автоматизированная трансформация динамических SQL запросов при реинжинириге информационных систем

Авдюхина Д.А.

Создание генератора GLR трансляторов для .NET

Косарев Д.С.

Автоматическое преобразование исходного кода синтаксического анализатора на основе парсер-комбинаторов в LALR-трансляторы

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

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

Инициаторы

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

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

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

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

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

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

Булычев Д.Ю.

Бурова И.Г.

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

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

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

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

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

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

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

Новиков Б.А.

Сафонов В.О.

Терехов А.Н.

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

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

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.