Компиляторные технологии: программа магистратуры

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

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

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

Изучаемые дисциплины:

• Иностранный язык
• Правоведение
• Русский язык, деловое общение
• Суперкомпьютерное моделирование и технологии
• История и методология прикладной математики
• Современная философия и методология науки
• Параллельные вычисления
• Компьютерные сети и телекоммуникации (дополнительные главы)
• Оптимизация в компиляторах
• Дедуктивный анализ программ
• Введение в информационную безопасность
• Теория игр и исследование операций
• Методы анализа и проектирования программного обеспечения
• Анализ кода и информационная безопасность
• Современные архитектуры и компиляторные технологии
• Анализ программ: понимание и оптимизация (на английском языке).

Список дисциплин по выбору:

• Контроль качества программного обеспечения
• Методы интеллектуального анализа данных
• Компьютерная алгебра
• Модель данных SQL
• Методы верификации моделей программного обеспечения
• Облачные вычисления и виртуализация информационных ресурсов.