default search action

combined dblp search
author search
venue search
publication search

ask others

Meng Zhang 0017

> Home > Persons

Person information

affiliation (PhD 2013): Duke University, Durham, NC, USA

Other persons with the same name

see FAQ

Meng Zhang — disambiguation page
Meng Zhang 0001 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
Meng Zhang 0002 — Shanghai Jiao Tong University, Department of Electronic Engineering, China
Meng Zhang 0003 — Beijing University of Posts and Telecommunications, Wireless Theories and Technologies Lab, China
Meng Zhang 0004 — Queensland University of Technology, Information Systems School, Science and Engineering Faculty, QLD, Australia
Meng Zhang 0005 — University of North Georgia - Oconee, Department of Mathematics, Watkinsville, GA, USA (and 1 more)
Meng Zhang 0006 — Jilin University, College of Computer Science and Technology, Changchun, China
Meng Zhang 0007 — University of Florida, Department of Agricultural and Biological Engineering, Gainesville, FL, USA
Meng Zhang 0008 — Beihang University, School of Reliability and Systems Engineering, Beijing, China
Meng Zhang 0009 — China Telecom, Department of Technology Innovation Center, Beijing, China (and 1 more)

Meng Zhang 0010 — Southeast University, College of Electronic Science and Engineering, Nanjing, China
Meng Zhang 0011 — Zhejiang University, Institute of Cyber-Systems and Control, State Key Laboratory of Industrial Control Technology, Hangzhou, China
Meng Zhang 0012 — Xi'an Jiaotong University, School of Management, China
Meng Zhang 0013 — Northwestern University, Department of Electrical and Computer Engineering, Evanston, IL, USA (and 2 more)
Meng Zhang 0014 — Huazhong University of Science and Technology, Wuhan National Laboratory for Optoelectronics, China
Meng Zhang 0015 — Dalian University of Technology, Faculty of Electronic Information and Electrical Engineering, China
Meng Zhang 0016 — Central South University of Forestry and Technology, Research Center of Forest Remote Sensing and Information Engineering, Changsha, China
Meng Zhang 0018 — Beijing Institute of Technology, School of Automation, State Key Laboratory of Intelligent Control and Decision of Complex Systems, China
Meng Zhang 0019 — Huawei Noah's Ark Lab (and 2 more)
Meng Zhang 0020 — Chinese Academy of Sciences, Institute of Information Engineering, Beijing, China
Meng Zhang 0021 — University of Cambridge, UK
Meng Zhang 0022 — Zhejiang University, Hangzhou, China

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/micro/ZhangBES15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/micro/ZhangBES15
Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin:
PVCoherence: Designing Flat Coherence Protocols for Scalable Verification. IEEE Micro 35(3): 84-91 (2015)
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SorinMZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SorinMZ14
Daniel J. Sorin, Opeoluwa Matthews, Meng Zhang:
Architecting Dynamic Power Management to be Formally Verifiable. DAC 2014: 3:1-3:3
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hpca/ZhangBES14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpca/ZhangBES14
Meng Zhang, Jesse D. Bingham, John Erickson, Daniel J. Sorin:
PVCoherence: Designing flat coherence protocols for scalable verification. HPCA 2014: 392-403
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hpca/MatthewsZS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpca/MatthewsZS14
Opeoluwa Matthews, Meng Zhang, Daniel J. Sorin:
Scalably verifiable dynamic power management. HPCA 2014: 579-590
2013
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Zhang13b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Zhang13b
Meng Zhang:
Scalably Verifiable Cache Coherence. Duke University, Durham, NC, USA, 2013
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cal/ZhangLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cal/ZhangLS10
Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin:
Fractal Consistency: Architecting the Memory System to Facilitate Verification. IEEE Comput. Archit. Lett. 9(2): 61-64 (2010)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/micro/ZhangLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micro/ZhangLS10
Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin:
Fractal Coherence: Scalably Verifiable Cache Coherence. MICRO 2010: 471-482

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dft/ZhangLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dft/ZhangLS09
Meng Zhang, Anita Lungu, Daniel J. Sorin:
Analyzing Formal Verification and Testing Efforts of Different Fault Tolerance Mechanisms. DFT 2009: 277-285

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.