HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Joonwon Choi

Publications
Hemiola: a DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols
Joonwon Choi, Adam Chlipala and Arvind
EasyChair Preprint 8623

Keyphrases

cache coherence, Coq, Domain Specific Language, formal verification, hardware, proof assistants.

Copyright © 2012-2025 easychair.org. All rights reserved.