Fellow
United States – 2016
CITATION

For contributions to static program analysis.

ACM Distinguished Member
United States – 2009