Joseph Reeves Doctoral Research Assistant Google Scholars Link Office 6211 Gates and Hillman Centers Email jereeves@cmu.edu Department Computer Science Department Research Interests Programming Languages Thesis Advisor Marijn Heule Randal Bryant