SPLASH 2017 (series) / Venkatesh Srinivasan
![Venkatesh Srinivasan](https://2017.splashcon.org/getProfileImage/venkateshsrinivasan/2e6fe05b-0f51-448f-8f21-ca380bed58b3/small.jpg?1713474046000)
Registered user since Thu 26 Feb 2015
Name:Venkatesh Srinivasan
Country:India
Affiliation:University of Wisconsin - Madison
Personal website: http://cs.wisc.edu/~venk/
Research interests:Program Analysis, Program Synthesis
Contributions
2017
SPLASH 2017-profile
View general profile
View general profile