ACM SIGSOFT Distinguished Paper Award, ESEC/FSE’09, for the paper titled “Asserting and Checking Determinism for Multithreaded Programs.”

ACM SIGSOFT Distinguished Paper Award, ICSE’09, for the paper titled “Effective Static Deadlock Detection.”

National Science Foundation CAREER Award, 2008.

David J. Kuck Outstanding Ph.D. Thesis Award, Department of Computer Science, University of Illinois, 2007.

ACM SIGSOFT Distinguished Paper Award, ESEC/FSE’05, for the paper titled “CUTE: A Concolic Unit Testing Engine for C.”

C. W. Gear Outstanding Graduate Student Award, Department of Computer Science, University of Illinois, 2005.

C.L. & Jane W-S. Liu Award for Exceptional Research Promise, Department of Computer Science, University of Illinois, 2004.