CompCert receives ACM Software System Award

Announcements
#1

After Coq in 2013, CompCert receives the 2021 ACM Software System Award. Congrats to everybody involved!

https://awards.acm.org/software-system

3 Likes