Conrad Zimmerman -

Registered user since Sun 12 Sep 2021

Name:Conrad Zimmerman

Country:United States

Affiliation:Northeastern University

Personal website: https://conradz.com

Contributions

2025

TPSA

Author of Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification within the TPSA 2025-track

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