# An Iris Instance for Verifying CompCert C Programs

> Research article (Proceedings of the ACM on Programming Languages, 2024) · cited 12× · AI/ML

**Wikidata**: [openalex:W4390603568](https://www.wikidata.org/wiki/openalex:W4390603568)  
**Source**: https://4ort.xyz/entity/an-iris-instance-for-verifying-compcert-c-programs