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 [To appear]Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps
Object-Oriented Programming, Systems, Languages and Applications [OOPSLA 2017]
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]