Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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


SPLASH 2017Author of Model-Assisted Machine-Code Synthesis within the OOPSLA-track
Show activities from other conferences

SPLASH 2017-profile
View general profile