Emre Yolcu Doctoral Research Assistant Office 9215 Gates and Hillman Centers Email emreyolcu@cmu.edu Department Computer Science Department Thesis Advisor Marijn Heule