Ching-Tsun Chou

DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism

Byn Choi, Rakesh Komuravelli, Hyojin Sung et al. · 2011 · 180 citations

Engineering, Computer Engineering, Computer Science +17

Revisiting the Complexity of Hardware Cache Coherence and Some Implications

Rakesh Komuravelli, Sarita V. Adve, Ching-Tsun Chou · ACM Transactions on Architecture and Code Optimization · 2014 · 33 citations · Full text

Engineering, Computer Engineering, Computer Science +13

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan et al. · 2006 · 26 citations

Computing, Computer Science, Computer Systems +17

Hierarchical cache coherence protocol verification one level at a time through assume guarantee

Xiaofang Chen, Yu Yang, Michael DeLisi et al. · 2007 · 22 citations

Computing, Computer Engineering, Computer Science +15

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan et al. · Formal Methods in System Design · 2010 · 20 citations

Computing, Computer Engineering, Computer Science +16