Haozhong Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | USENIX | MDev-NVMe: A NVMe Storage Virtualization Solution with Mediated Pass-Through. | Bo Peng, Haozhong Zhang, Jianguo Yao, Yaozu Dong, Yu Xu, Haibing Guan |
| 2015 | POPL | Deep Specifications and Certified Abstraction Layers. | Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |
| 2014 | TASE | Verifying Preemptive Kernel Code with Preemption Control Support. | Yu Guo, Haozhong Zhang |
| 2014 | TASE | Formal Verification of Interrupt Injection in a Hypervisor. | Haozhong Zhang, Yu Guo |