Meng Zhang

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Dynamic Power Management

Protocol Specification

Top Venues

Duke University, Durham, NC, USA (PHD)

Education History

Duke University, Durham, NC, USA

PHD

Publications

Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. IEEE Micro 35 (3) (2015)
Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin
PVCoherence: Designing flat coherence protocols for scalable verification. HPCA (2014)
Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin
Scalably verifiable dynamic power management. HPCA (2014)
Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang
Architecting Dynamic Power Management to be Formally Verifiable. DAC (2014)
Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin
Fractal Consistency: Architecting the Memory System to Facilitate Verification. IEEE Comput. Archit. Lett. 9 (2) (2010)
Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin
Fractal Coherence: Scalably Verifiable Cache Coherence. MICRO (2010)
Meng Zhang, Anita Lungu, Daniel J. Sorin
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. DFT (2009)