2 papers
cs.AR2026
Automated Synthesis of Heterogeneous, Hierarchical, Scoped Coherence Protocols
Fletch Rydell, An Qi Zhang, Nicolai Oswald +3
Processor design is converging on a new model of cache-coherent shared memory characterized by heterogeneity, hierarchy, and scopes. Protocols like CXL or AMBA CHI are used as glob…
cs.CR2025
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
Weihang Li, Pete Crowley, Arya Tschand +3
Rigorous quantitative evaluation of microarchitectural side channels is challenging for two reasons. First, the processors, attacks, and defenses often exhibit probabilistic behavi…