Toggle navigation
Sign in
Sign up
conf.researchr.org
/
RanDair Porter
conf.researchr.org general profile
PLDI 2021 profile
PLDI 2022 profile
Not registered as user yet
Name:
RanDair Porter
Country:
United States
Affiliation:
University of Washington
Contributions
2022
PLDI
Author of (PLDI 2021) Proof Repair Across Type Equivalences within the SIGPLAN Track-track
2021
PLDI
Author of Proof Repair across Type Equivalences within the PLDI-track
Share
x
Sun 24 Nov 11:04