![Shraddha Barke](https://2020.ecoop.org/getProfileImage/shraddhabarke1/bf757ee4-3599-4a0f-af71-5d6ce08e07b5/small.jpg?1711488038000)
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