![Shraddha Barke](https://popl24.sigplan.org/getProfileImage/shraddhabarke1/b1c48fba-b4c1-44eb-b746-8a6f7bb4d3c4/small.jpg?1711488038000)
Registered user since Sat 22 Jun 2019
Name:Shraddha Barke
Country:United States
Affiliation:University of California at San Diego
GitHub: https://github.com/shraddhabarke
Research interests:Programming Languages, Formal Methods
Contributions
POPL 2024-profile
View general profile
View general profile