Venkatesh Srinivasan

Registered user since Thu 26 Feb 2015

Name: Venkatesh Srinivasan

Country: India

Affiliation: University of Wisconsin - Madison

Personal website:

Research interests: Program Analysis, Program Synthesis


PLDI 2015Author of Synthesis of Machine Code from Semantics within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile