Mona Zhang

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Symbolic Execution

Control Structure

Rapid Prototyping

Modular Architecture

Top Venues

SPLASH (Companion)

Publications

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)
Mona Zhang, Jacob Gorenburg
Design and implementation of a gradual verifier. SPLASH (Companion) (2020)