
Registered user since Sat 22 Jun 2019
Name: Shraddha Barke
Affiliation: University of California at San Diego
GitHub: https://github.com/shraddhabarke
Research interests: Programming Languages, Formal Methods
Contributions
SPLASH 2020-profile
View general profile
View general profile