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

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