Xupeng Li

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Shared Memory Multiprocessor

Formal Verification

Quantum Computation

Top Venues

IEEE Symposium on Security and Privacy

Proc. VLDB Endow.

Publications

Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. ASPLOS (2) (2024)
Shitao Yang, Xiao Yi, Richang Dong, Qianyi Ren, Xupeng Li, Tao Shuai, Jun Zhang, Wenbin Gong
A Method for Autonomous Generation of High-Precision Time Scales for Navigation Constellations. Sensors 23 (3) (2023)
Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh
Spoq: Scaling Machine-Checkable Systems Verification in Coq. OSDI (2023)
Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell
Design and Verification of the Arm Confidential Compute Architecture. OSDI (2022)
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Giallar: push-button verification for the qiskit Quantum compiler. PLDI (2022)
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Giallar: Push-Button Verification for the Qiskit Quantum Compiler. CoRR (2022)
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
A Secure and Formally Verified Linux KVM Hypervisor. IEEE Symposium on Security and Privacy (2021)
Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. SOSP (2021)
Yingxia Shao, Xupeng Li, Yiru Chen, Lele Yu, Bin Cui
Sys-TM: A Fast and General Topic Modeling System. IEEE Trans. Knowl. Data Eng. 33 (6) (2021)
Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. USENIX Security Symposium (2021)
Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Contract-based verification of a realistic quantum compiler. CoRR (2019)
Xupeng Li, Bin Cui, Yiru Chen, Wentao Wu, Ce Zhang
MLog: Towards Declarative In-Database Machine Learning. Proc. VLDB Endow. 10 (12) (2017)