We stand with Ukraine  

Meng Zhang

Affiliations:
  • Duke University, Durham, NC, USA (PhD 2013)


According to our database1, Meng Zhang authored at least 7 papers between 2009 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification.
[BibTeX]
[DOI]
Meng Zhang
,
Jesse D. Bingham
,
John Erickson
,
Daniel J. Sorin
IEEE Micro, 2015

2014
Scalably verifiable dynamic power management.
[BibTeX]
[DOI]
Opeoluwa Matthews
,
Meng Zhang
,
Daniel J. Sorin
Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

Architecting Dynamic Power Management to be Formally Verifiable.
[BibTeX]
[DOI]
Daniel J. Sorin
,
Opeoluwa Matthews
,
Meng Zhang
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013
Scalably Verifiable Cache Coherence.
[BibTeX]
[DOI]
Meng Zhang
PhD thesis, 2013

2010
Fractal Consistency: Architecting the Memory System to Facilitate Verification.
[BibTeX]
[DOI]
Meng Zhang
,
Alvin R. Lebeck
,
Daniel J. Sorin
IEEE Comput. Archit. Lett., 2010

Fractal Coherence: Scalably Verifiable Cache Coherence.
[BibTeX]
[DOI]
Meng Zhang
,
Alvin R. Lebeck
,
Daniel J. Sorin
Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

2009
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms.
[BibTeX]
[DOI]
Meng Zhang
,
Anita Lungu
,
Daniel J. Sorin
Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009


  Loading...