TY  - RPRT
TI  - Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols
AU  - Fletch Rydell
AU  - An Qi Zhang
AU  - Nicolai Oswald
AU  - Andres Goens
AU  - Vijay Nagarajan
AU  - Daniel Sorin
PY  - 2026
UR  - https://arxiv.org/abs/2608.05965
ID  - 2608.05965
ER  -