• 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
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Book chapter
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

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

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

Instructor

Kulagin, Ivan

Kulagin, Ivan

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

Аннотация

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