Xupeng Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2021–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. | Zhenyang Dai, Shuang Liu, Vilhelm Sjberg, 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 |
| 2023 | OSDI | Spoq: Scaling Machine-Checkable Systems Verification in Coq. | Xupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh |
| 2022 | OSDI | Design and Verification of the Arm Confidential Compute Architecture. | Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell |
| 2022 | PLDI | 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 |
| 2021 | SP | A Secure and Formally Verified Linux KVM Hypervisor. | Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui |
| 2021 | SOSP | Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. | Runzhou Tao, Jianan Yao, Xupeng Li, Shih-Wei Li, Jason Nieh, Ronghui Gu |