1. Model Checking TileLink Cache Coherence Protocols By Murphi;2023 IEEE 41st International Conference on Computer Design (ICCD);2023-11-06
2. McCore: A Holistic Management of High-Performance Heterogeneous Multicores;56th Annual IEEE/ACM International Symposium on Microarchitecture;2023-10-28
3. A Primer on Memory Consistency and Cache Coherence, Second Edition;Synthesis Lectures on Computer Architecture;2020-02-04
4. Directory Coherence Protocols;A Primer on Memory Consistency and Cache Coherence;2020
5. Cache Replacement Policies;Synthesis Lectures on Computer Architecture;2019-06-17