Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
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

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
Show activities from other conferences

SPLASH 2012-profile
View general profile