Biblio

Export 2 results:
Filters: Author is Xuheng Li  [Clear All Filters]
2023
Li X, Li X, Qiang W, Gu R, Nieh J.  2023.  Spoq: Scaling Machine-Checkable Systems Verification in Coq. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :851--869.
2022
Li X, Li X, Dall C, Gu R, Nieh J, Sait Y, Stockwell G.  2022.  Design and Verification of the Arm Confidential Compute Architecture. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :465--484.