The Grainger College of Engineering
Thesis Title: Aligning Intent and Behavior in Software Systems: How Programs Communicate and their Distribution and Organization
Committee: Vikram Adve, Chair/Director of Research
Tao Xie
Sasa Misailovic
John Regehr; University of Utah