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/
- Author of Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver within the OOPSLA-track in SPLASH 2016
- Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track in ICFP 2017
- Committee Member in External Program Committee for PLDI 2016
- Author of Ayudante: Identifying Undesired Variable Interactions within the WODA-track in WODA 2015
- Author of Generalized Data Structure Synthesis within the Technical Papers -track in ICSE 2018
- Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track in PLDI 2015
- Author of Fast Synthesis of Fast Collections within the Research Papers-track in PLDI 2016
- Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track in PLDI 2017
- Author of Planning for Change in a Formal Verification of the Raft Consensus Protocol within the CPP-track in CPP 2016
- ERC member in External Program Committee for SPLASH 2016 OOPSLA
- Committee Member in Distinguished Paper Committee for PLDI 2016
- Presenter of Pluggable Type Systems Reconsidered within the Keynotes-track in ISSTA 2018