1. Architecting hierarchical coherence protocols for push-button parametric verification;Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture;2017-10-14
2. Iris;ACM Journal on Emerging Technologies in Computing Systems;2011-06
3. Coherence Protocols;A Primer on Memory Consistency and Cache Coherence;2011
4. Parallel implementations of streamline simulators;Computational Geosciences;2008-10-25
5. Hardware monitors for dynamic page migration;Journal of Parallel and Distributed Computing;2008-09