Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Keith J.C. Johnson
conf.researchr.org general profile
SPLASH 2024 profile
Registered user since Wed 18 Sep 2024
Name:
Keith J.C. Johnson
Affiliation:
University of Wisconsin–Madison
Contributions
2024
SPLASH
Author of Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics within the OOPSLA 2024-track
Author of Synthesizing Formal Semantics from Executable Interpreters within the OOPSLA 2024-track
Share
x
Sun 22 Dec 02:57