Keith J.C. Johnson -

Registered user since Wed 18 Sep 2024

Name:Keith J.C. Johnson

Country:United States

Affiliation:University of Wisconsin-Madison

Contributions

2025

PLDI

Author of Verifying Solutions to Semantics-Guided Synthesis Problems within the PLDI Research Papers-track

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