ACM, « Association for Computing Machinery » the world's largest computer science society, announced on May 11 the winners of four prestigious awards. These leaders were selected by their peers for making contributions to groundbreaking research and practical applications that impact people using technology every day.
Among these 4 prestigious awards, the ACM Software System 2021 Award
recognizes "a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both" and is considered the highest award for software originating from computer science research.
Congratulations to Sandrine Blazy, Professor at the Université de Rennes 1 and Deputy Director of IRISA and her colleagues Xavier Leroy, Collège de France; Zaynah Dargaye, Nomadic Labs; Jacques-Henri Jourdan, CNRS, Laboratoire Méthodes Formelles; Michael Schmidt, AbsInt Angewandte Informatik; Bernhard Schommer, Saarland University, and AbsInt Angewandte Informatik GmbH; and Jean-Baptiste Tristan, Boston College
for the development of CompCert, the first practically useful optimizing compiler targeting multiple commercial architectures that has a complete, mechanically checked proof of its correctness.
"CompCert récompensé par l’ACM pour ses garanties d’absence de bugs", Lire l'article dédié sur le site du CNRS (in fench only)
source photo credit : ACM Software System Award