Werner Dietl

Wmdietl

Werner Dietl

University of Washington

Biography

Werner is a research associate at the Computer Science & Engineering department, University of Washington, where he works mostly with Prof. Michael Ernst. He is a member of the SE.CS and WASP research groups.
Previously, he was a research and teaching assistant at the Chair of Programming Methodology, ETH Zurich, working on his doctoral thesis under the supervision of Prof. Peter Müller.

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