CompCert software program receives a prestigious award : vim

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 ,