Registered user since Mon 7 Sep 2015
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.
Contributions
2024
ASE
- Author of Evaluation of Version Control Merge Tools within the Research Papers-track
- Author of Verifying the Option Type With Rely-Guarantee Reasoning within the Research Papers-track
- Author of Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning" within the Artifact Evaluation Track-track
2023
2022
ESEC/FSE
ASE
2021
ESEC/FSE
2020
ASE
ISSTA
ICSE
- Author of ACM SIGSOFT Outstanding Research Award within the ICSE 2020 Plenary Sessions-track
- Author of Verifying Object Construction within the Technical Papers-track
- Author of Where should I comment my code? A dataset and model for predicting locations that need comments within the New Ideas and Emerging Results-track
- Author of Visualizing distributed system executions within the Journal First-track
2019
ISSTA
2018
ECOOP/ISSTA
ISSTA
- Author 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
PLDI
2017
2016
SPLASH
PLDI
2015
2012
SPLASH
- Author of Speculative analysis of integrated development environment recommendations within the OOPSLA Research Papers-track
- Author of Reim & ReImInfer: checking and inference of reference immutability and method purity within the OOPSLA Research Papers-track
- Author of Reducing the barriers to writing verified specifications within the OOPSLA Research Papers-track
- Committee Member in Program Committee within the Panels-track
- Committee Member in Program Committee within the Doctoral Symposium-track
- Committee Member in Demonstrations Committee within the Demos-track