| 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 | 71 | 2017 |
| 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 | 59 | 2021 |
| 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 | 43 | 2022 |
| 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 | 40* | 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 | 35 | 2021 |
| 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 | 26 | 2021 |
| Systems, methods, and media for trusted hypervisors SW Li, LI Xupeng, R Gu, J Nieh US Patent App. 16/916,051, 2020 | 3 | 2020 |
| 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 | 3 | 2019 |
| 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 | 2 | 2023 |
| Systems, methods, and media for verifying software J Nieh, R Gu, X Li, LI Xupeng US Patent App. 18/220,229, 2024 | | 2024 |
| Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor Z Dai, S Liu, V Sjöberg, X Li, Y Chen, W Wang, Y Jia, SN Anderson, ... | | 2024 |
| Enabling Realms with the Arm Confidential Compute Architecture X Li, X Li, C Dall, R Gu, J Nieh, Y Sait, G Stockwell, M Knight, ... | | |
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityVerified email at columbia.edu
