The Grainger College of Engineering
Thesis Title: Scalable Validation of Binary Lifters
Committee: Vikram Adve, Chair/Director of Research
Grigore Rosu
Tao Xie
R. Sekar; Stony Brook, Computer Science
Alastair Reid, Google Research