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)

Spoq: Scaling Machine-Checkable Systems Verification in Coq. - Xupeng Li; Xuheng Li; Wei Qiang; Ronghui Gu; Jason Nieh (OSDI, 2023)

Risk Bounds of Accelerated SGD for Overparameterized Linear Regression. - Xuheng Li; Yihe Deng; Jingfeng Wu; Dongruo Zhou; Quanquan Gu (ICLR, 2024)

Feel-Good Thompson Sampling for Contextual Dueling Bandits. - Xuheng Li; Heyang Zhao; Quanquan Gu (ICML, 2024)

AutoVerus: Automated Proof Generation for Rust Code. - Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Jianan Yao; Weidong Cui; Yeyun Gong; Chris Hawblitzel; Shuvendu K. Lahiri; Jacob R. Lorch; Shuai Lu; Fan Yang 024; Ziqiao Zhou; et al. (CoRR, 2024)

Automated Proof Generation for Rust Code via Self-Evolution. - Tianyu Chen; Shuai Lu; Shan Lu 001; Yeyun Gong; Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Hao Yu; Nan Duan; Peng Cheng 005; Fan Yang 024; Shuvendu K. Lahiri; et al. (ICLR, 2025)

Understanding SGD with Exponential Moving Average: A Case Study in Linear Regression. - Xuheng Li; Quanquan Gu (CoRR, 2025)