Venkatesh Srinivasan




I am a software engineer in the program-analysis team at Google. I received my Ph.D. in Computer Sciences from the University of Wisconsin - Madison, where I was advised by Prof. Thomas Reps. I am interested in Program Analysis and Program Synthesis.

My CV can be found here:

CV


My research statement can be found here:

Research Statement



Ph.D. Thesis

Synthesis of Machine Code: Algorithms and Applications [PDF]
Won the Computer Sciences Department's Outstanding Graduate Student Research Award for 2016-2017.

Publications

[ Google Scholar page]

Model-Assisted Machine-Code Synthesis
Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps
Submitted for conference publication

An Improved Algorithm for Slicing Machine Code [PDF] [Artifact Evaluated]
Venkatesh Srinivasan and Thomas Reps
Object-Oriented Programming, Systems, Languages and Applications [OOPSLA 2016]

Speeding Up Machine-Code Synthesis [PDF]
Venkatesh Srinivasan, Tushar Sharma, and Thomas Reps
Object-Oriented Programming, Systems, Languages and Applications [OOPSLA 2016]

Partial Evaluation of Machine Code [PDF] [Talk]
Venkatesh Srinivasan and Thomas Reps
Object-Oriented Programming, Systems, Languages and Applications [OOPSLA 2015]

Synthesis of Machine Code from Semantics [PDF]
Venkatesh Srinivasan and Thomas Reps
Programming Language Design and Implementation [PLDI 2015]

Recovery of Class Hierarchies and Composition Relationships from Machine Code [PDF]
Venkatesh Srinivasan and Thomas Reps
Compiler Construction [CC 2014]