Xuheng Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Highly Automated Verification of Security Properties for Unmodified System Software. | Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu |
| 2025 | ICLR | Automated Proof Generation for Rust Code via Self-Evolution. | Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K. Lahiri, Tao Xie, Lidong Zhou |
| 2024 | ICLR | Risk Bounds of Accelerated SGD for Overparameterized Linear Regression. | Xuheng Li, Yihe Deng, Jingfeng Wu, Dongruo Zhou, Quanquan Gu |
| 2024 | ICML | Feel-Good Thompson Sampling for Contextual Dueling Bandits. | Xuheng Li, Heyang Zhao, Quanquan Gu |
| 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 |