Languages

Home

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




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

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

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

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

Учебный план

Дисциплина 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
 ÐœÐµÑ‚оды верификации моделей программного обеспечения
 ÐžÐ±Ð»Ð°Ñ‡Ð½Ñ‹Ðµ вычисления и виртуализация информационных ресурсов