# Kater: Automating Weak Memory Model Metatheory and Consistency Checking

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

**Wikidata**: [openalex:W4315631955](https://www.wikidata.org/wiki/openalex:W4315631955)  
**Source**: https://4ort.xyz/entity/kater-automating-weak-memory-model-metatheory-and-consistency-checking