Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mona Zhang
conf.researchr.org general profile
POPL 2025 profile
SPLASH 2020 profile
Registered user since Sun 1 Nov 2020
Name:
Mona Zhang
Affiliation:
Columbia University
Contributions
2025
POPL
Author of Gradual C0: Symbolic Execution for Gradual Verification within the POPL-track
2020
SPLASH
Author of Design and Implementation of a Gradual Verifier within the Student Research Competition-track
Share
x
Mon 27 Oct 20:03