|
Bertrand Meyer award laureates at SECR 2019
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:
- Polina Kazakova, Nikita Nikitinsky, Gennady Shtekh. Applying Topic Segmentation to Document-Level Information Retrieval (SECR 2018);
- Nikolay Efanov, MIPT. Constructing the Formal Grammar of System Calls (SECR 2017);
- Svetlana Lazareva, RAIDIX. Smart Face Control: Machine Learning Algorithms for Efficient SSD Caching (SECR 2017).
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.