Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Weidong Cui
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
VEE 2019 profile
Registered user since Fri 14 Sep 2018
Name:
Weidong Cui
Affiliation:
Microsoft Research
Contributions
2025
SPLASH
Author of AutoVerus: Automated Proof Generation for Rust Code within the OOPSLA-track
2019
VEE
Committee Member in Program Committee within the Research Papers-track
Share
x
Mon 27 Oct 18:09