Full Professor, University of Washington, Seattle, Dept. of Computer Science
Path and Value Sensitive Code Optimizations (November 1999). (co-advised with Mary Lou Soffa) Recipient of the SIGPLAN Outstanding Doctoral Dissertation Award, 2001. NSF CAREER Award, 2001; ACM Fellow, 2018.
Full Professor, Michigan Technological University, Dept. of Computer Science