Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Darya Verzhbinsky
conf.researchr.org general profile
POPL 2021 profile
Not registered as user
Name:
Darya Verzhbinsky
Affiliation:
UC San Diego
Contributions
2021
POPL
Author of Petsy: Polymorphic Enumerative Type-Guided Synthesis within the Student Research Competition-track
Share
x
Sun 22 Dec 04:29