Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joey Dodds
conf.researchr.org general profile
ASE 2025 profile
PLDI 2025 profile
Registered user since Mon 17 Feb 2025
Name:
Joey Dodds
Contributions
2025
ASE
Author of VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models within the Research Papers-track
PLDI
Author of Program Synthesis From Partial Traces within the PLDI Research Papers-track
Share
x
Sat 25 Oct 17:42