• Sign in
  • Sign up
conf.researchr.org / Mona Zhang
  • POPL 2025 profile
  • SPLASH 2020 profile
No Photo

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
xMon 19 May 22:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up