Languages

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




Программное обеспечение вычислительных сетей

Магистерская программа "Компиляторные технологии"

Научный руководитель: профессор, д.ф.-м.н. Аветисян Арутюн Ишханович

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

Учебный план

Дисциплина 1
семестр
2
семестр
3
семестр
4
семестр
ч/н   ч/н   ч/н   ч/н  
Иностранный язык 4 зач 4 экз        
Правоведение     4 экз        
Русский язык, деловое общение 2 экз            
Суперкомпьютерное моделирование и технологии         4 экз    
История и методология прикладной математики         2 зач    
Современная философия и методология науки 2 экз            
Межфакультетские курсы по выбору 2 зач 2 зач        
Параллельные вычисления 4 экз             
Компьютерные сети и телекоммуникации (дополнительные главы)  3  экз            
Оптимизация в компиляторах  3  экз            
Дедуктивный анализ программ        экз        
Введение в информационную безопасность      2  зач        
Теория игр и исследование операций          2  экз    
Методы анализа и проектирования программного обеспечения          2  экз    
Анализ кода и информационная безопасность          4  экз    
Современные архитектуры и компиляторные технологии              4  экз
Анализ программ: понимание и оптимизация (на английском языке)              2 зач
Дисциплина по выбору из списка     2 экз  2  экз  2  зач
Спецсеминар "Компиляторные технологии" 2 зач  2  зач  2  зач  2  зач
Научно-исследовательская работа               оценка
Курсовая работа       оценка        
часов 22   20   18   10  
зачетов   3   3   3   3
экзаменов   5   4   5   3
Защита магистерской диссертации               оценка
Государственный экзамен по направлению               оценка

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