Michael Ernst
Michael Ernst
University of WashingtonBiography
Michael Ernst is an Associate Professor in the Computer Science and Engineering department at the University of Washington.
Michael 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 and related areas, including 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.
Open Source Bridge 2012
Sessions for this user
* Developing and Using Pluggable Type Systems
A pluggable type system extends a language's built-in type system to
confer additional compile-time guarantees. We will explain the theory and
practice of pluggable types.
|
Cooking |
| Werner Dietl, Michael Ernst | |
Open Source Bridge 2011
Sessions for this user
* Preventing Runtime Errors at Compile Time
Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? A compile-time tool named the Checker Framework has found hundreds of such errors. Oracle plans to include it in the Java 8 javac, but you can use it today to improve your code and avoid errors.
|
Cooking |
| David Lazar, Michael Ernst, Werner Dietl | |
Open Source Bridge 2009
Proposals for this user
* Detecting and preventing bugs with pluggable type-checking
Are you tired of null pointer exceptions, unintended side effects, mistaken equality tests, security breaches, and other run-time errors that appear during testing or in the field?
|
Cooking | 2009-04-03 18:54:41 +0000 |
| Michael Ernst | ||