Bernardo Anibal Subercaseaux Roa Doctoral Research Assistant Office 6207 Gates and Hillman Centers Email bersub@cmu.edu Department Computer Science Department Thesis Advisor Marijn Heule