Anvay Grover

According to our database, Anvay Grover authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

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

Dataset, August, 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

Dataset, July, 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

Dataset, July, 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

Dataset, July, 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

2022

Synthesizing Transducers from Complex Specifications.

Anvay Grover, Ruediger Ehlers, Loris D'Antoni

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

Compiling with continuations, correctly.

Zoe Paraskevopoulou, Anvay Grover

Proc. ACM Program. Lang., 2021