ACM Software System Award 2021
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, duration 01 minute 28 second in high hd quality that is uploaded to the channel Association for Computing Machinery (ACM) 24 June 2022. Share the link to the video on social media so that your subscribers and friends will also watch this video. This video clip has been viewed 495 times and liked it 4 visitors.
