Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.

Joonwon Choi, Adam Chlipala, Arvind

Browse the full CAV paper archive.