Long Pham Doctoral Research Assistant Website Office 5113 Gates and Hillman Centers Email longp@andrew.cmu.edu Department Computer Science Department Research Interests Programming Languages Thesis Advisor Jan Hoffmann