Ronghui Gu

Registered user since Fri 22 Jan 2016

Name: Ronghui Gu

Bio: Ronghui Gu is a fifth year Ph.D. student at Yale FLINT Group and supervised by Prof. Zhong Shao. His work focuses on building reliable and secure low-level systems. During the past few years, he and his Yale colleagues built CertiKOS, the first fully verified hypervisor. Ronghui earned his B.S. at Tsinghua University and his undergraduate thesis is about verifying the preemptive scheduler of uC/OS-II.

Country: China

Affiliation: Yale University

Personal website:

Research interests: Verification, Formal Methods, Low-level System


PLDI 2016Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track
Author of End-to-End Verification of Information-Flow Security for C and Assembly Programs within the Research Papers-track
Show activities from other conferences

PLDI 2016-profile
View general profile