CompCert software program receives a prestigious award

The seven main people behind CompCert, a formally verified compiler for the C programming language, have just won an ACM Software System Award, the most prestigious award in the field of software development. Xavier Leroy, a professor at the Collège de France and member of Inria’s Cambium project team, was among those to receive the award.

Related Keywords

Germany ,United States ,Rennes ,Bretagne ,France ,German ,Sandrine Blazy Universit ,Bernhard Schommer ,Alan Turing ,Xavier Leroy ,Michael Schmidt ,Jacques Henri Jourdan ,Software Award ,Airbus ,Association For Computing Machinery ,Jean Baptiste Tristan Boston College ,Computing Machinery ,Sandrine Blazy ,Zaynah Dargaye ,Nomadic Labs ,Jean Baptiste Tristan ,Boston College ,Inria Paris ,