brand

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

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

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

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

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

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

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

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

    • Курс группы

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

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