Venkatesh Srinivasan

Registered user since Thu 26 Feb 2015

Name:Venkatesh Srinivasan
Country:India
Affiliation:University of Wisconsin-Madison, USA
Personal website:http://cs.wisc.edu/~venk/
Research interests:Program Analysis, Program Synthesis

Contributions

SPLASH 2015 Partial Evaluation of Machine Code
Show activities from other conferences

SPLASH 2015-profile
View general profile