Werner Dietl
Assistant Professor, University of Waterloo

Werner Dietl is a post-doctoral research associate at the University
of Washington, where he is a member of the programming languages and
software engineering groups and collaborates with the architecture
group. His research goal is to help software engineers produce
high-quality software by enabling them to better understand and
structure their software. Previously, he was a research and teaching
assistant at the Chair of Programming Methodology, ETH Zurich.
More information is available at his homepage.

Are you tired of null pointer exceptions, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors? A compile-time tool named the Checker Framework has found hundreds of such errors in Java code. Come learn how you can use the tool to improve your own code. For those who don't use Java, we will explain the concept of pluggable type-checking that underlies the tool.
Read more.