18:25 [CAV 2022] Hemiola: A DSL and Verification Tools for Cache-Coherence Protocols Joonwon Choi 149 views - 3 years ago
51:23 Joonwon Choi PhD Defense: Structural Design and Proof of Hierarchical Cache-Coherence Protocols Joonwon Choi 97 views - 5 years ago