St.Petersburg, Russia
November 14–15, 2019|Санкт-Петербург
14–15 ноября 2019

News|Новости

Bertrand Meyer award laureates at SECR 2019|Лауреаты премии Бертрана Мейера на SECR 2019

[lang_ru]

14-15 ноября в Санкт-Петербурге состоялась 15-я Software Engineering Conference Russia 2019. По традиции на закрытии конференции были объявлены лауреаты премии Бертрана Мейера*. Премия ежегодно выдается за лучшие исследовательские работы в области программной инженерии, представленные в программе SECR.

В этом году по решению программного комитета премию разделили между двумя работами:

Автоматизированная генерация спецификаций квантовых цепей на основе полиномов Рида-Маллера. Виталий Калмычков, Ирина Матвеева, СПбГЭТУ “ЛЭТИ”.

Фреймворк для разработки межпроцедурных статических анализаторов на основе КС-достижимости. Илья Ножкин, Семен Григорьев, СПбГУ.

Поздравляем!

Другие лауреаты премии последних лет:

Кроме этого, все статьи, принятые в программу конференции, будут опубликованы в электронной библиотеке ACM и поданы на индексацию в Scopus и Web of Science.

* Бертран Мейер – учредитель премии, профессор университетов Иннополис и Politecnico di Milano, создатель языка программирования Эйфель.

[/lang_ru][lang_en]

Software Engineering Conference Russia 2019 took place on the November 14-15 in St. Petersburg. Traditionally, at the conference closing ceremony SECR Program Committee announced Bertrand Meyer* award laureates. This award is annually presented to the best scientific papers, presented at the conference.

This year award was shared between two works:

Automated Generation of Quantum Circuit Specifications Based on Reed-Muller Expressions — Vitaly Kalmychkov, Irina Metveeva, Saint Petersburg Electrotechnical University “LETI”.

CFL-Reachability Based Framework for Interprocedural Static Code Analysis Development — Ilya Nozhkin, Semyon Grigorev, SPbSU.

Congratulations!

Among the other best papers of recent years:

The research papers, presented at the conference, will be published in the ACM Digital Library and submitted for indexing by Scopus and the Web of Science.

* Bertrand Meyer – Professor, Politecnico di Milano and Innopolis University; initial designer of the Eiffel method and language; initiated the Best Research Paper Award at Software Engineering Conference Russia in 2012.

[/lang_en]