We stand with Ukraine  

Haozhong Zhang

According to our database1, Haozhong Zhang authored at least 4 papers between 2014 and 2018.

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

2018
MDev-NVMe: A NVMe Storage Virtualization Solution with Mediated Pass-Through.
[BibTeX]
[DOI]
Bo Peng
,
Haozhong Zhang
,
Jianguo Yao
,
Yaozu Dong
,
Yu Xu
,
Haibing Guan
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

2015
Deep Specifications and Certified Abstraction Layers.
[BibTeX]
[DOI]
Ronghui Gu
,
Jérémie Koenig
,
Tahina Ramananandro
,
Zhong Shao
,
Xiongnan (Newman) Wu
,
Shu-Chun Weng
,
Haozhong Zhang
,
Yu Guo
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014
Formal Verification of Interrupt Injection in a Hypervisor.
[BibTeX]
[DOI]
Haozhong Zhang
,
Yu Guo
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Verifying Preemptive Kernel Code with Preemption Control Support.
[BibTeX]
[DOI]
Yu Guo
,
Haozhong Zhang
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014


  Loading...