SPLASH 2017 (series) / Venkatesh Srinivasan
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
| SPLASH 2017 | Model-Assisted Machine-Code Synthesis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2017-profile
View general profile
View general profile