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