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

PLDI 2015 Activities

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