Venkatesh Srinivasan Preliminary Examination

Thursday, May 14, 2015 -
10:00am to 12:00pm
3310 Computer Sciences

Speaker Name: 

Venkatash Srinivasan

Speaker Institution: 

UW-Madison

Cookies: 

No

Description: 

Title: Synthesis of Machine-Code: Algorithms and Applications

Committee: Prof. Tom Reps (Advisor), Prof. Aws Albarghouthi, Prof. Somesh Jha, and Prof. Ben Liblit