Login / Signup
Haozhong Zhang
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 1
Top Topics
Kernel Matrix
Belief Nets
Formal Verification
Bounded Model Checking
Top Venues
TASE
USENIX Annual Technical Conference
POPL
</>
Publications
</>
Bo Peng
,
Haozhong Zhang
,
Jianguo Yao
,
Yaozu Dong
,
Yu Xu
,
Haibing Guan
MDev-NVMe: A NVMe Storage Virtualization Solution with Mediated Pass-Through.
USENIX Annual Technical Conference
(2018)
Ronghui Gu
,
Jérémie Koenig
,
Tahina Ramananandro
,
Zhong Shao
,
Xiongnan (Newman) Wu
,
Shu-Chun Weng
,
Haozhong Zhang
,
Yu Guo
Deep Specifications and Certified Abstraction Layers.
POPL
(2015)
Haozhong Zhang
,
Yu Guo
Formal Verification of Interrupt Injection in a Hypervisor.
TASE
(2014)
Yu Guo
,
Haozhong Zhang
Verifying Preemptive Kernel Code with Preemption Control Support.
TASE
(2014)