Xuheng Li
5 papers · 2022–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
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)
Papers
Automated Proof Generation for Rust Code via Self-Evolution
ICLR 2025
Risk Bounds of Accelerated SGD for Overparameterized Linear Regression
ICLR 2024
Feel-Good Thompson Sampling for Contextual Dueling Bandits
ICML 2024
Spoq: Scaling Machine-Checkable Systems Verification in Coq
OSDI 2023
Design and Verification of the Arm Confidential Compute Architecture
OSDI 2022