Hacker News
- Astrée Static Analyzer for C and C++ https://www.absint.com/astree/index.htm 41 comments
- CompCert: A formally verified optimizing C compiler http://www.absint.com/compcert/ 62 comments
Lobsters
- CompCert: Integrating and Qualifying a Formally, Verified, Optimizing Compiler https://www.absint.com/compcert/mtu_compcert_erts_2018.pdf 25 comments compilers , formalmethods , pdf , practices