Xuheng Li

According to our database1, Xuheng Li authored at least 6 papers between 2022 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automated Proof Generation for Rust Code via Self-Evolution.
CoRR, 2024

AutoVerus: Automated Proof Generation for Rust Code.
CoRR, 2024

Feel-Good Thompson Sampling for Contextual Dueling Bandits.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

Risk Bounds of Accelerated SGD for Overparameterized Linear Regression.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Spoq: Scaling Machine-Checkable Systems Verification in Coq.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2022
Design and Verification of the Arm Confidential Compute Architecture.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022


  Loading...