Ronghui Gu
8 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π£
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)