Проект "Исследовательский компилятор" (RCP).

Чтобы получить последнюю информацию об активностях проекта постетите страницу проекта.

Проект разделен на две стадии. В течении первой изучаются наиболее важные методы компиляции и методики разработки компиляторов. Во второй стадии мы работаем над увеличением возможностей компилятора и над интеграцией усовершенствованных методов в существующие компиляторы.

К сожалению, компиляция как область исследований не монолитна. Это скорее сумма множества различных исследований в области синтаксического и семантического анализов, оптимизации и генерации когда для различных микропроцессорных архитектур. В работе проекта мы изучаем и собираем  разрозненную информацию о разработке компиляторов и пытаемся сформировать сумму знаний о разработке компиляторов. Мы проводим семинары на наиболее интересные темы разработки компиляторов.

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

Руководитель

• Дмитрий Рагозин (Intel)

Студенты 

• Роман Митин (ETH, Zurich)
• Сергей Лялин (Intel)
• Сергей Галкин (ИПФ РАН)
• Илья Голубев (Intel)
• Нина Гонова (ITLab)
• Алексей Боровков 

С нами работали

• Евгений Хапов

• Черновик  методического пособия "Практикум "Оптимизирующие компиляторы" доступен с веб-сайта. Доступна коллекция примеров.
• Методическое пособие "Язык программирования Zonnon (основы)" издана в ННГУ.
• Подготовлен отчет об исследовании задачи статистической отладки с использованием ансамбля деревьев регрессии и графа доминантов.
• Технология проектирования профессиональных языков на основе ролевого графа.

• Совместная разработка декодера процессора и двоичных утилит к нему. Практический эксперимент в рамках  Hardware CIL Processor project.
• Возможности экономии энергии и ресурсов за счет  аппаратного CIL процессора на базе DSP ядра. Аппаратная поддержка исполнения CIL (Кеши метаинформации, аппаратный стек).

• Митин Р. “Совместная разработка декодера процессора и двоичных утилит к нему”. Технологии Microsoft в теории и практике программирования. Москва, 17-18 февраля 2005.
• Митин Р. «Методика разработки профессионального языка для проблемно-ориентированной программной системы». 8-я Нижегородская сессия молодых ученых (математические науки). Саров, 19-23 Марта 2003.
• Кузин С.Г. Митин Р.О. Скрибловский И.С. «Конструктор блок-схем и интерпретатор». 7-я Всероссийская конференция «Методы и инструменты обработки сложной графической информации». 15-18 Сентября 2003.
• Кузин С.Г. Митин Р.О. «Методика разработки профессиональных языковых средств для проблемно-ориентированной программной системы». Конференция «Математика и кибернетика 2003». Нижний Новгород, Февраль 2003.
• Кузин С.Г., Митин Р.О., Скрибловский И.С., «Образовательный комплекс «Структурное программирование». Конференция «Математика и кибернетика 2003». Нижний Новгород, февраль 2003.
• Кузин С.Г. Митин Р.О. «Математическая модель языка описания интерактивных изображений и методика его интерпретации». Конференция «Математика и кибернетика 2002». Нижний Новгород, февраль 2002.

Методическое пособие:

• Митин Р.О. Язык программирования Zonnon (основы). Нижний Новгород: изд-во ННГУ, 2004.

• Intel Summer School Student Conference. Нижний Новгород, 14-15 августа 2005. 
  Рагозин Д., Митин Р., Лялин С. “Базовое системное ПО аппаратного .NET процессора”.
• Технологии Microsoft в теории и практике программирования. Москва, 17-18 февраля 2005.
  Митин Р. “Совместная разработка декодера процессора и двоичных утилит к нему”.
• 8-я Нижегородская сессия молодых ученых (математические науки). Саров, 19-23 Марта 2003.
  Митин Р. «Методика разработки профессионального языка для проблемно-ориентированной программной системы».
• «Методы и инструменты обработки сложной графической информации». 15-18 Сентября 2003.
  Кузин С.Г. Митин Р.О. Скрибловский И.С. «Конструктор блок-схем и интерпретатор». 7-я Всероссийская 
• Конференция «Математика и кибернетика 2003». Нижний Новгород, Февраль 2003.
  Кузин С.Г. Митин Р.О. «Методика разработки профессиональных языковых средств для проблемно-ориентированной программной системы». 
• Конференция «Математика и кибернетика 2003». Нижний Новгород, февраль 2003.
  Кузин С.Г., Митин Р.О., Скрибловский И.С., «Образовательный комплекс «Структурное программирование». 
• Конференция «Математика и кибернетика 2002». Нижний Новгород, февраль 2002.
  Кузин С.Г. Митин Р.О. «Математическая модель языка описания интерактивных изображений и методика его интерпретации».

• EVA VM (Язык для описания простых интерактивных объектов и виртуальная машина).
• Стековый калькулятор (Пример демонстрирующий использование Verilog VPI PLI для симуляции + простой компилятор).

• RASMDASM Tool. Генерирует  ассемблер / дизассемблер / декодер процессора из одного описания набора инструкций на простом языке. Этот инструмент используется в Hardware CIL Processor project.
• Набор примеров для книги  об оптимизирующих компиляторах и других курсов (простой front end к GCC, простой back end к GCC).