• Sign in
  • Sign up
conf.researchr.org / Conrad Zimmerman
  • POPL 2024 profile
  • POPL 2025 profile
  • SPLASH 2021 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile

Registered user since Sun 12 Sep 2021

Name:Conrad Zimmerman
Country:United States
Affiliation:Northeastern University
Personal website: https://conradz.com

Contributions

2025

POPL

  • Committee Member in Student Volunteers
  • Author of Gradual C0: Symbolic Execution for Gradual Verification within the POPL-track

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
Share
xThu 30 Oct 03:09
using conf.researchr.org (v1.72.1)
Support page
Sign Up