CompCert receives ACM Software System Award

maximedenes · May 11, 2022, 4:44pm

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

hamblingreg52 · May 27, 2022, 11:56am

CompCert getting the ACM software system award is definitely great. Congratulations.

Topic		Replies	Views
[CUDW 2024] Coq User And Developers Workshop 2024 — July 1st - July 5th — Save the date! Announcements	0	42	April 12, 2024
CfP: Certified Programs and Proofs (CPP) Announcements	0	222	August 14, 2023
Coq Community Survey 2022 Results: Part IV and ITP paper announcement Announcements	0	558	July 28, 2023
[CUDW 2023] Coq Users and Developers Workshop - June 26 to 30 - Save the Date! Announcements	2	797	March 2, 2023
The Coq Workshop 2022: Call for Presentation Proposals Announcements	1	807	May 9, 2022