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

PLDI 2018Author of Verifying That Web Pages Have Accessible Layout within the PLDI Research Papers-track
ICFP 2017Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track
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 ISSTAAuthor of Translating Code Comments to Procedure Specifications within the Posters-track
PLDI 2017Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track
* ICSE 2018 *Author of Generalized Data Structure Synthesis within the Technical Papers -track
CPP 2016Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track
PLDI 2016Committee Member in External Program Committee
Author of Fast Synthesis of Fast Collections within the Research Papers-track
Committee Member in Distinguished Paper Committee
WODA 2015Author of Ayudante: Identifying Undesired Variable Interactions within the WODA-track
SPLASH 2016Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track
ERC member in External Program Committee within the OOPSLA-track
PLDI 2015Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track
SPLASH 2012Author 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