Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Conrad Zimmerman
conf.researchr.org general profile
POPL 2024 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Sun 12 Sep 2021
Name:
Conrad Zimmerman
Country:
United States
Affiliation:
Brown University
Contributions
2024
POPL
Author of Sound Gradual Verification with Symbolic Execution within the POPL-track
2023
HATRA
Author of Latte: Lightweight Aliasing Tracking for Java within the HATRA-track
IWACO
Author of Latte: Lightweight Aliasing Tracking for Java within the IWACO 2023-track
2021
SPLASH
Author of Implementation of an End-to-End Gradual Verification System within the Student Research Competition-track
Share
x
Mon 11 Dec 07:13