Keith J. C. Johnson

According to our database, Keith J. C. Johnson authored at least 5 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesizing Formal Semantics from Executable Interpreters.

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Proc. ACM Program. Lang., 2024

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.

Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni

Proc. ACM Program. Lang., 2024

Verifying Solutions to Semantics-Guided Synthesis Problems.

Charlie Murphy, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

CoRR, 2024

The SemGuS Toolkit.

Keith J. C. Johnson, Andrew Reynolds, Thomas W. Reps, Loris D'Antoni

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Modular System Synthesis.

Kanghee Park, Keith J. C. Johnson, Loris D'Antoni, Thomas W. Reps

Proceedings of the Formal Methods in Computer-Aided Design, 2023