# Optimal Reads-From Consistency Checking for C11-Style Memory Models

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

**Wikidata**: [openalex:W4379512374](https://www.wikidata.org/wiki/openalex:W4379512374)  
**Source**: https://4ort.xyz/entity/optimal-reads-from-consistency-checking-for-c11-style-memory-models
