Ronghui Gu
8 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (9) π Cross-Pollinator (3)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(14)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
π
Trend Setter
Conferences
OSDI (7)
ICLR (1)
Top co-authors
Research topics
Keywords
formal verification
(4)
safety property
(2)
automated verification
(2)
virtual machine
(2)
smt solver
(2)
coq proof assistant
(2)
inductive invariant
(2)
static analysis
(1)
resource utilization
(1)
program verification
(1)
trusted execution environment
(1)
distributed protocol
(1)
memory protection
(1)
formal methods
(1)
virtual machine isolation
(1)
invariant learning
(1)
hardware security
(1)
firmware verification
(1)
confidential computing
(1)
program analysis
(1)
Papers
Quantum Virtual Machines
OSDI 2025
Spoq: Scaling Machine-Checkable Systems Verification in Coq
OSDI 2023
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols
OSDI 2022
Design and Verification of the Arm Confidential Compute Architecture
OSDI 2022
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
OSDI 2022
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
OSDI 2021
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
ICLR 2020
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
OSDI 2016