Compiling with continuations, correctly. - Zoe Paraskevopoulou; Anvay Grover (Proc. ACM Program. Lang., 2021)

Synthesizing Transducers from Complex Specifications. - Anvay Grover; Ruediger Ehlers; Loris D'Antoni (FMCAD, 2022)

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)

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)