• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
vision For visually-impaired
Расширенный поиск по сайту
Menu
Courses
ФКН
HSE University
vision For visually-impaired
Расширенный поиск по сайту
Joint Department with the RAS Institute for System Programming
School of Software Engineering
Joint Department with the RAS Institute for System Programming
Contacts

Contacts

167005, Moscow, 11, Pokrovsky boulevard

Administrations
Arutyun Avetisyan
Department Head – Arutyun Avetisyan
Efim M. Grinkrug
Deputy Department Head – Efim M. Grinkrug
Publications
Book
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Book chapter
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Working paper
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

All publications

Compiler Technologies 1

2023/2024
Academic Year
RUS
Instruction in Russian
6
ECTS credits
Delivered by:
Joint Department with the RAS Institute for System Programming
Type:
Compulsory course
When:
1 year, 3, 4 module

Instructor

Мельник Дмитрий Михайлович

Мельник Дмитрий Михайлович

Программа дисциплины

Аннотация

В курсе «Компиляторные технологии» рассматриваются основные принципы построения современных оптимизирующих компиляторов, причем основное внимание уделяется именно оптимизации кода — начиная от генерации внутреннего представления программы, анализа потока данных, различных этапов анализа и оптимизации кода, и заканчивая распределением регистров для конкретной целевой архитектуры и генерации для нее машинного кода. В ходе курса подробно рассматриваются алгоритмы компиляторных оптимизаций, а также разбираются примеры их работы. Рассматриваемые в курсе алгоритмы составляют основу оптимизаций, применяемых в современных промышленных компиляторах, таких как Clang/LLVM и GCC.