Registered user since Sun 17 Oct 2021

Name:Anvay Grover
Country:United States
Affiliation:University of Wisconsin-Madison
Personal website:https://anvayg.github.io
Research interests:Programming Languages, Formal Methods

Contributions

SPLASH 2021 Author of Compiling with Continuations, Correctly within the OOPSLA-track