Venkatesh Srinivasan PhD Final Oral Defense

Tuesday, February 28, 2017 - 10:00am
4310 CS

Speaker Name: 

Venkatesh Srinivasan

Speaker Institution: 

University of Wisconsin - Madison

Cookies: 

No

Description: 

Dissertation Title: Synthesis of Machine-Code: Algorithms and Applications

Committee:
Thomas Reps (Advisor)
Somesh Jha
Benjamin Liblit
Aws Albarghouthi
Parameswaran Ramanathan