Xuheng Li
5 papers
· 2022–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(3)
🐝
Cross-Pollinator
(4)
🌈
Renaissance Researcher
(5)
🌉
Interdisciplinary Bridge
Conferences
ICLR (2)
OSDI (2)
ICML (1)
Top co-authors
Research topics
Keywords
formal verification
(2)
trusted execution environment
(1)
virtual machine
(1)
memory protection
(1)
confidential computing
(1)
hardware security
(1)
virtual machine isolation
(1)
firmware verification
(1)
coq proof assistant
(1)
proof automation
(1)
proof assistant
(1)
llvm translation
(1)
hypervisor verification
(1)
data confidentiality
(1)
relaxed memory hardware
(1)
system software
(1)