Thesis Title: A Framework to Prove Compilation of Large Languages
Committee: Elsa Gunter; Chair/Director of Research
Grigore Rosu
David Padua
Vikram Adve
Steve Zdancewic; University of Pennsylvania