
Registered user since Fri 10 Apr 2015
Name:Arjun Guha
Bio:
Mastadon: https://types.pl/@arjun
Country:United States
Affiliation:Northeastern University and Roblox Research
Personal website:http://khoury.northeastern.edu/~arjunguha
GitHub:https://github.com/arjunguha
Contributions
POPL 2023 | Formal Methods in Compilation & Implementation: Session Preview | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile