Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ziqiao Zhou
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
SPLASH 2021 profile
Registered user since Mon 27 Sep 2021
Name:
Ziqiao Zhou
Country:
United States
Affiliation:
Microsoft Research
Contributions
2025
SPLASH
Author of AutoVerus: Automated Proof Generation for Rust Code within the OOPSLA-track
2021
SPLASH
Author of Interpretable Noninterference Measurement and Its Application to Processor Designs within the OOPSLA-track
Share
x
Sun 2 Nov 23:21