Venkatesh Srinivasan

Computer Sciences, Room 6358
1210 W. Dayton Street, Madison, WI 53706

I am a graduate student in the Computer Sciences Department at the University of Wisconsin - Madison. I am interested in Program Analysis and Program Synthesis. I am advised by Prof. Thomas Reps. My current work revolves around the synthesis of machine code, and its applications.

My CV can be found here:

CV



Publications

[ Google Scholar page]

An Improved Algorithm for Slicing Machine Code [PDF]
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]