Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zihan Zhou
conf.researchr.org general profile
PLDI 2025 profile
Registered user since Sun 15 Jun 2025
Name:
Zihan Zhou
Affiliation:
National University of Singapore
Contributions
2025
PLDI
Author of Proof Translation: From Trace Abstraction to Hoare Logic Proofs within the Student Research Competition-track
Share
x
Sun 8 Nov 11:33