Лаборатория операционных систем, языков программирования и компиляторов
Факультет компьютерных и инженерных наук

Лаборатория операционных систем, языков программирования и компиляторов 

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

Руководитель – Евгений Зуев 

деятельность лаборатории

— Языки программирования: анализ, проектирование, сравнение

— Разработка языков программирования: компиляторы, интерпретаторы, инструменты и технологии динамической компиляции

— Статическая и динамическая семантика языков программирования

— Объектно-ориентированное программирование; шаблоны программирования

— Статический анализ программ, метрики языков программирования и программ

Команда

Евгений Зуев

Руководитель лаборатории

Николай Шилов

Доцент

Анастасия Пузанкова

Преподаватель

Николай Кудасов 

Ассистент

Андрей Власов 

Преподаватель

ПРОЕКТЫ

Хотите совместный проект?
Свяжитесь с нами

01

SLang-программирование

Одна из целей проекта — глубокое исследование современных ЯП с целью определения их сильных и слабых сторон с точки зрения потребностей и требований различных прикладных областей. Конечная цель: спроектировать на основе проведенного анализа оригинальный язык общего назначения, который был бы свободен от недостатков других ЯП.

02

Сравнительное исследование языков программирования

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