Honors and Awards

• Distinguished Paper Award, ESEC/FSE 2021
• ESEC/FSE 2021 Test of Time Honorable Mention
• Distinguished Artifact Award, SLE 2017
• Best Paper Award, OOPSLA 2014
• Best Paper Award, OOPSLA 2013
• The Most Notable Paper Award / Onward! 2013
• One of the 25 Most Significant Papers From the First 20 Years of FCCM
• Best Paper Award, PLDI 2012
• Best Paper Award, PLDI 2011
• ACM Fellow, 2009
• Distinguished Paper Award, ICSE 2005
• Distinguished Paper Award, FSE 2004
• Most Influential Paper in 20 Years Award, Area: Concurrent Constraint Programming, The Association for Logic Programming, 2004
• Solomon Buchsbaum AT&T Research Fund Award, 1999
• Everett Moore Baker Memorial Award for Excellence in Undergraduate Teaching at MIT, Honorable Mention, 1998
• National Science Foundation Faculty Early Career Development Award, 1997
• University of California, Santa Barbara Outstanding Faculty Member in Computer Science, 1996
• Alfred P. Sloan Research Fellowship, 1995
• Brown University Undergraduate Research Fellowship, 1983