conf.researchr.org / Hao Chen
Hao Chen

Registered user since Sat 30 Apr 2016

Name: Hao Chen

Affiliation: Yale University

Contributions

PLDI 2018 Author of Certified Concurrent Abstraction Layers within the PLDI Research Papers-track
PLDI 2016 Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track