|
Лауреаты премии Бертрана Мейера на SECR 2019
14-15 ноября в Санкт-Петербурге состоялась 15-я Software Engineering Conference Russia 2019. По традиции на закрытии конференции были объявлены лауреаты премии Бертрана Мейера*. Премия ежегодно выдается за лучшие исследовательские работы в области программной инженерии, представленные в программе SECR.
В этом году по решению программного комитета премию разделили между двумя работами:
Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера. Виталий Калмычков, Ирина Матвеева, СПбГЭТУ “ЛЭТИ”.
Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости. Илья Ножкин, Семен Григорьев, СПбГУ.
Поздравляем!
Другие лауреаты премии последних лет:
- Полина Казакова, Никита Никитинский, Геннадий Штех. «Тематическая сегментация в информационном поиске» (SECR 2018)
- Николай Ефанов, МФТИ. «Построение формальной грамматики системных вызовов» (SECR 2017)
- Светлана Лазарева, Рэйдикс, «Умный “фейс-контроль”: алгоритмы машинного обучения для эффективного кэширования данных на SSD» (SECR 2017)
Кроме этого, все статьи, принятые в программу конференции, будут опубликованы в электронной библиотеке ACM и поданы на индексацию в Scopus и Web of Science.
* Бертран Мейер – учредитель премии, профессор университетов Иннополис и Politecnico di Milano, создатель языка программирования Эйфель.