Конструирование оптимизирующих компиляторов

Гайсарян Сергей Суренович, к.ф.-м.н., доцент. Читается для студентов МФТИ (весенний полугодовой курс) и ВМК МГУ (осенний полугодовой курс).

Дисциплина «Конструирование оптимизирующих компиляторов» изучает методы и алгоритмы оптимизации процедур и программ в целом (все процедуры и библиотеки, участвующие в сборке программы), а также применение указанных технологий для обнаружения уязвимостей и других дефектов программ как в исходном коде (на языке высокого уровня), так и в машинном коде современных компьютеров.

В результате изучения дисциплины студенты будут знать:

современные свободные компиляторные среды (GCC, LLVM и др.) и их использование для реализации программных инструментов, базирующихся на компиляторных технологиях;

алгоритмы машинно-независимой оптимизации (статической и динамической);

решения задач обратной инженерии, защиты программного кода, обнаружения дефектов в программах и др.

Студенты научатся:

разрабатывать, обосновывать и реализовывать новые методы и алгоритмы машинно-независимой оптимизации программ, задач обратной инженерии, защиты программного кода и обнаружения дефектов;

разрабатывать и реализовывать новые языки и их оптимизирующие компиляторы для новых архитектур процессоров.

Курс группы

Компиляторные технологии

Перейти к учебным курсам ИСП РАН