Xupeng Li

According to our database, Xupeng Li authored at least 11 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor.

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

A Method for Autonomous Generation of High-Precision Time Scales for Navigation Constellations.

Shitao Yang, Xiao Yi, Richang Dong, Qianyi Ren, Xupeng Li, Tao Shuai, Jun Zhang, Wenbin Gong

Sensors, February, 2023

Spoq: Scaling Machine-Checkable Systems Verification in Coq.

Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022

Giallar: push-button verification for the qiskit Quantum compiler.

Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Design and Verification of the Arm Confidential Compute Architecture.

Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Sys-TM: A Fast and General Topic Modeling System.

Yingxia Shao, Xupeng Li, Yiru Chen, Lele Yu, Bin Cui

IEEE Trans. Knowl. Data Eng., 2021

Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor.

Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui

Proceedings of the 30th USENIX Security Symposium, 2021

A Secure and Formally Verified Linux KVM Hypervisor.

Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware.

Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2019

Contract-based verification of a realistic quantum compiler.

Yunong Shi, Xupeng Li, Runzhou Tao, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu

CoRR, 2019

2017

MLog: Towards Declarative In-Database Machine Learning.

Xupeng Li, Bin Cui, Yiru Chen, Wentao Wu, Ce Zhang

Proc. VLDB Endow., 2017