Xuheng Li

According to our database, Xuheng Li authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

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, Ziqiao Zhou, Shan Lu

CoRR, 2024

Feel-Good Thompson Sampling for Contextual Dueling Bandits.

Xuheng Li, Heyang Zhao, Quanquan Gu

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Risk Bounds of Accelerated SGD for Overparameterized Linear Regression.

Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu

Proceedings of the Twelfth International Conference on Learning Representations, 2024

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

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