Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. - Meng Zhang 017; Anita Lungu; Daniel J. Sorin (DFT, 2009)

Fractal Coherence: Scalably Verifiable Cache Coherence. - Meng Zhang 017; Alvin R. Lebeck; Daniel J. Sorin (MICRO, 2010)

Fractal Consistency: Architecting the Memory System to Facilitate Verification. - Meng Zhang 017; Alvin R. Lebeck; Daniel J. Sorin (IEEE Comput. Archit. Lett., 2010)

Scalably Verifiable Cache Coherence. - Meng Zhang 017 (2013)

Architecting Dynamic Power Management to be Formally Verifiable. - Daniel J. Sorin; Opeoluwa Matthews; Meng Zhang 017 (DAC, 2014)

Scalably verifiable dynamic power management. - Opeoluwa Matthews; Meng Zhang 017; Daniel J. Sorin (HPCA, 2014)

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. - Meng Zhang 017; Jesse D. Bingham; John Erickson; Daniel J. Sorin (IEEE Micro, 2015)