Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rose Kunkel
conf.researchr.org general profile
ICFP 2021 profile
POPL 2023 profile
Not registered as user yet
Name:
Rose Kunkel
Country:
United States
Affiliation:
University of California at San Diego
Contributions
2023
POPL
Author of babble: Learning Better Abstractions with E-Graphs and Anti-unification within the POPL-track
2021
HIW
Author of Securing Web-Applications with A Refinement Typed ORM within the HIW 2021-track
Share
x
Thu 21 Nov 13:11