MLog: Towards Declarative In-Database Machine Learning. - Xupeng Li; Bin Cui 001; Yiru Chen; Wentao Wu 001; Ce Zhang 001 (Proc. VLDB Endow., 2017)

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)

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. - Runzhou Tao; Jianan Yao; Xupeng Li; Shih-Wei Li; Jason Nieh; Ronghui Gu (SOSP, 2021)

A Secure and Formally Verified Linux KVM Hypervisor. - Shih-Wei Li; Xupeng Li; Ronghui Gu; Jason Nieh; John Zhuang Hui (SP, 2021)

Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. - Shih-Wei Li; Xupeng Li; Ronghui Gu; Jason Nieh; John Zhuang Hui (USENIX Security Symposium, 2021)

Sys-TM: A Fast and General Topic Modeling System. - Yingxia Shao; Xupeng Li; Yiru Chen; Lele Yu; Bin Cui 001 (IEEE Trans. Knowl. Data Eng., 2021)

Design and Verification of the Arm Confidential Compute Architecture. - Xupeng Li; Xuheng Li; Christoffer Dall; Ronghui Gu; Jason Nieh; Yousuf Sait; Gareth Stockwell (OSDI, 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 (PLDI, 2022)

Spoq: Scaling Machine-Checkable Systems Verification in Coq. - Xupeng Li; Xuheng Li; Wei Qiang; Ronghui Gu; Jason Nieh (OSDI, 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, 2023)

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. - Zhenyang Dai; Shuang Liu; Vilhelm Sjöberg; Xupeng Li; Yu Chen 004; Wenhao Wang 001; Yuekai Jia; Sean Noble Anderson; Laila Elbeheiry; Shubham Sondhi; Yu Zhang; Zhaozhong Ni; et al. (ASPLOS (2), 2024)

An HCPS-Based Inspection Method for Bearing Assembly Quality of Coarse Pointing Mechanism. - Bingtao Hu; Xupeng Li; Yixiong Feng; Dinghao Cheng; Zetian Zhao; Yong Wang; Jianrong Tan (CASE, 2024)

Influence of the Gate Switching Instability Induced Threshold Voltage Drift on the Hard Switching Behavior of 1.2 kV SiC MOSFETs. - Roman Boldyrjew-Mast; Clemens Herrmann; Xing Liu; Xupeng Li; Thomas Basler (IRPS, 2025)

Physical Visualization Design: Decoupling Interface and System Design. - Yiru Chen; Xupeng Li; Jeffrey Tao; Lana Ramjit; Subrata Mitra; Javad Ghaderi; Ravi Netravali; Aditya G. Parameswaran; Dan Rubenstein; Eugene Wu 002 (Proc. ACM Manag. Data, 2025)