Research

I have worked at the intersection of formal verification and operating systems, and distributed systems.

Projects

• Fuzzy Log

Publications:

• Toward Compositional Verification of Interruptible OS Kernels and Device Drivers Hao Chen, Xiongnan Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu. Forthcoming in PLDI 2016