Concepedia

Ronghui Gu

RG

Statistics

Publications

21

Citations

892

H-Index

15

Active since

2014

Affiliations

Columbia University(Current)

Yale University

University of Electronic Science and Technology of China

University of Chicago

Microsoft (United States)

Ronghui Gu is an author at Columbia University specializing in computer science, computing, and formal methods.

Publications per year

2014–2024

21

Publications

21

CertiKOS: an extensible architecture for building certified concurrent OS kernels

Ronghui Gu, Zhong Shao, Hao Chen et al. · Operating Systems Design and Implementation · 2016 · 162 citations

Computing, Computer Engineering, Computer Science +17

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 151 citations

Computing, Computer Science, Computer Systems +17

Scaling symbolic evaluation for automated verification of systems code with Serval

Luke Nelson, James Bornholt, Ronghui Gu et al. · 2019 · 77 citations · Full text

Computing, Computer Engineering, Computer Science +12

Certified concurrent abstraction layers

Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 70 citations · Full text

Computing, Computer Science, Computer Systems +17

Toward compositional verification of interruptible OS kernels and device drivers

Hao Chen, Xiongnan Wu, Zhong Shao et al. · 2016 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 21