ACM Software System Awardees (IMAGE)

Association for Computing Machinery

ACM Software System Awardees

Caption

ACM recognized 7 researchers 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.

Credit

ACM

Usage Restrictions

No restrictions.

License

Public Domain

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.