Modular System Synthesis. - Kanghee Park; Keith J. C. Johnson; Loris D'Antoni; Thomas W. Reps (FMCAD, 2023)

The SemGuS Toolkit. - Keith J. C. Johnson; Andrew Reynolds 001; Thomas W. Reps; Loris D'Antoni (CAV (3), 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)

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 (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Artifact of paper "Synthesizing Formal Semantics from Executable Interpreters". - Jiangyi Liu; Charlie Murphy; Anvay Grover; Keith J. C. Johnson; Thomas W. Reps; Loris D'Antoni (Zenodo, 2024)

Verifying Solutions to Semantics-Guided Synthesis Problems. - Charlie Murphy; Keith J. C. Johnson; Thomas Reps; Loris D'Antoni (Proc. ACM Program. Lang., 2025)