Blogs (61) >>
Michael D. Ernst

Registered user since Mon 7 Sep 2015

Name: Michael D. Ernst

Bio: Michael D. Ernst is a Professor in the Computer Science & Engineering department at the University of Washington.

Ernst’s research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His primary technical interests are in software engineering, programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Ernst’s research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work.

Ernst is an ACM Fellow (2014) and received the inaugural John Backus Award (2009) and the NSF CAREER Award (2002). His research has received an ACM SIGSOFT Impact Paper Award (2013), 8 ACM Distinguished Paper Awards (FSE 2014, ISSTA 2014, ESEC/FSE 2011, ISSTA 2009, ESEC/FSE 2007, ICSE 2007, ICSE 2004, ESEC/FSE 2003), an ECOOP 2011 Best Paper Award, honorable mention in the 2000 ACM doctoral dissertation competition, and other honors. In 2013, Microsoft Academic Search ranked Ernst #2 in the world, in software engineering research contributions over the past 10 years.

Dr. Ernst was previously a tenured professor at MIT, and before that a researcher at Microsoft Research.

Affiliation: University of Washington, USA

Personal website: http://homes.cs.washington.edu/~mernst/

Contributions

ISSTA 2018Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Artifacts-track
Author of Translating Code Comments to Procedure Specifications within the ISSTA Technical Papers-track
Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track
Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track
Author of Translating Code Comments to Procedure Specifications within the ISSTA Artifacts-track
Author of Comparing developer-provided to user-provided tests for fault localization and automated program repair within the ISSTA Technical Papers-track
Presenter of Pluggable Type Systems Reconsidered within the ISSTA Keynotes-track
ECOOP and ISSTA 2018Author of Translating Code Comments to Procedure Specifications within the Posters-track
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile