ICSE 2010 Most Influential Paper Award and ACM SIGSOFT Impact Paper Award for “Bandera: Extracting Finite-state Models from Java Source Code", by James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, and Hongjun Zheng, ICSE 2000.
PhD Thesis Commitee Member for Jaideep Ramachandran. Thesis Advisor: Professor Thomas Wahl at Northeastern University (2016).
PhD Thesis Commitee Member for Guowei Yang and Rui Qiu. Thesis Advisor: Professor Sarfraz Khurshid at UT Austin (2012 and 2016).
Outstanding Technology Development Award for Java PathFinder (JPF), Federal Laboratory Consortium Far West Region Awards, w/ JPF team (2009).