Sotabase

Career

· PhD in Computer Science, Columbia University in the City of New York2020–2027
· PhD Student, Columbia University in the City of New York2020–
· MS in Computer Science, Columbia University in the City of New York

Publications (11)

Spoq: Scaling Machine-Checkable Systems Verification in Coq
USENIX Symposium on Operating Systems Design and Implementation · 2023
8
cited
Enabling Realms with the Arm Confidential Compute Architecture
6
cited
Sotabase
Xuheng Li | Researcher Profile | Sotabase | Sotabase