Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jeremy Ferguson
conf.researchr.org general profile
PLDI 2024 profile
POPL 2023 profile
Not registered as user
Name:
Jeremy Ferguson
Affiliation:
University of California-Berkeley
Contributions
2024
PLDI
Author of Equivalence by Canonicalization for Synthesis-Backed Refactoring within the PLDI Research Papers-track
2023
POPL
Author of Synthesizing Vectorized Code via Verified Lifting within the Student Research Competition-track
Share
x
Fri 12 Jun 07:06