• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
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.

Глава в книге
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.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

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

arxiv.org. Computer Science. Cornell University, 2020

Открытая конференция по компиляторным технологиям

Открытая конференция по компиляторным технологиям проводится по инициативе ИСП РАН и Samsung и посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др

Вопросы, рассматриваемые в рамках данной конференции охватывают, но не ограничиваются следующими темами:

  • Оптимизации для статических и динамических языков.
  • Оптимизации для улучшения производительности, размера кода и энергопотребления.
  • Оптимизации, основанные на использовании профиля программы, а также техник машинного обучения.
  • Внутреннее представление программ и уровни абстракции, используемые в компиляторе.
  • Техники профилирования и инструментирования кода.
  • Методы и инструменты статического и динамического анализа для обнаружения критических ошибок в программах, уязвимостей безопасности, понимания структуры программы и др.
  • Инструменты для анализа энергопотребления, производительности, а также для отладки и тестирования.
  • Особенности применения оптимизаций в компиляторах, использующих параллельные программные модели.
  • Новые языковые расширения в применении к параллельному программированию.

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


Конференция пройдёт 2 декабря 2015 года в здании Президиума РАН по адресу Москва, улица Ленинский проспект, дом 32, Бежевый зал. 

Сайт конференции: opencompilersconf.ru


Регистрация
Программа конференции