ACM Software System Award 2021
Published: 24 June 2022
on channel: Association for Computing Machinery (ACM)
on channel: Association for Computing Machinery (ACM)
49
Xavier Leroy, Sandrine Blazy, Zaynah Dargaye, Jacques-Henri Jourdan, Michael Schmidt, Bernhard Schommer, and Jean-Baptiste Tristan are the recipients of the ACM Software System Award 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.
Read more at
Watch video ACM Software System Award 2021 online without registration, duration 01 minute 28 second in high hd quality. This video was added by user Association for Computing Machinery (ACM) 24 June 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 49 once and liked it people.