Tushar Sharma PHD final Oral Defense

Friday, August 11, 2017 - 3:00pm
3310 Computer Sciences

Speaker Name: 

Tushar Sharma

Speaker Institution: 

UW-Madison

Cookies: 

No

Description: 

Title: Abstract Interpretation Over Bitvectors

Committee:
Thomas Reps (Advisor)
Somesh Jha
Ben Liblit
Aws Albarghouthi
Vadim Shapiro