Fellow
United States – 2010
CITATION

For contributions to programming language design, theory, and practice, and for service to the computing community.

ACM Distinguished Member
United States – 2007