Takip et
Xupeng Li
Xupeng Li
Columbia University
columbia.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Design and verification of the arm confidential compute architecture
X Li, X Li, C Dall, R Gu, J Nieh, Y Sait, G Stockwell
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022
982022
A secure and formally verified Linux KVM hypervisor
SW Li, X Li, R Gu, J Nieh, JZ Hui
2021 IEEE Symposium on Security and Privacy (SP), 1782-1799, 2021
762021
Mlog: Towards declarative in-database machine learning
X Li, B Cui, Y Chen, W Wu, C Zhang
Proceedings of the VLDB Endowment 10 (12), 1933-1936, 2017
722017
Giallar: Push-button verification for the Qiskit quantum compiler
R Tao, Y Shi, J Yao, X Li, A Javadi-Abhari, AW Cross, FT Chong, R Gu
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
60*2022
Formally verified memory protection for a commodity multiprocessor hypervisor
SW Li, X Li, R Gu, J Nieh, JZ Hui
30th USENIX Security Symposium (USENIX Security 21), 3953-3970, 2021
432021
Formal verification of a multiprocessor hypervisor on arm relaxed memory hardware
R Tao, J Yao, X Li, SW Li, J Nieh, R Gu
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
342021
Systems, methods, and media for trusted hypervisors
SW Li, J Nieh, JS Koh
US Patent 12,153,944, 2024
62024
Spoq: Scaling Machine-Checkable Systems Verification in Coq
X Li, X Li, W Qiang, R Gu, J Nieh
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
62023
Sys-tm: A fast and general topic modeling system
Y Shao, X Li, Y Chen, L Yu, B Cui
IEEE Transactions on Knowledge and Data Engineering 33 (6), 2790-2802, 2019
32019
Enabling Realms with the Arm Confidential Compute Architecture
X Li, X Li, C Dall, R Gu, J Nieh, Y Sait, G Stockwell, M Knight, ...
22023
Systems, methods, and media for verifying software
J Nieh, W Qiang, X Li, LI Xupeng, R Gu
US Patent App. 18/745,839, 2024
2024
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Z Dai, S Liu, V Sjoberg, X Li, Y Chen, W Wang, Y Jia, SN Anderson, ...
Proceedings of the 29th ACM International Conference on Architectural …, 2024
2024
Systems, methods, and media for verifying software
J Nieh, R Gu, X Li, LI Xupeng
US Patent App. 18/220,229, 2024
2024
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–13