Zhong Shao
Author
Alternate names Zhong Shao, Z. F. Shao
Institution Yale University
Past institutions Yale University, Research Institute of Forestry Policy and Information, Chinese Academy of Sciences, Defense Advanced Research Projects Agency, Princeton University
ORCID: Yes
H-index: 39
I10-index: 91
Works count: 208
Citations count: 4,039
CertiKOS: an extensible architecture for building certified concurrent OS kernels
2016 · Ronghui Gu, Zhong Shao, et al. · Operating Systems Design and Implementation
Deep Specifications and Certified Abstraction Layers
2014 · Ronghui Gu, Jérémie Koenig, et al.
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
2007 · Xinyu Feng, Rodrigo Lopes Ferreira, et al. · Lecture notes in computer science