2 papers
cs.PL2024
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Charlie Murphy, Anvay Grover +3
Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a formally defined semantics…
cs.FL2022
Synthesizing Transducers from Complex Specifications
Anvay Grover, Ruediger Ehlers, Loris D'Antoni
Automating string transformations has been one of the killer applications of program synthesis. Existing synthesizers that solve this problem produce programs in domain-specific la…