Werner Dietl

Werner Dietl
Research Associate, University of Washington

Website | Attendee Directory Profile

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.

Sessions

1:30pm Tuesday, 07/17/2012
Preventing Runtime Errors at Compile Time
Java & JVM
 Location: D139-140
Tags: languages, security, design, documentation, experimentation, reliability, verification, user-defined_type_system, static_type_system, pluggable_type_checking, jsr_308
Michael Ernst (University of Washington), Werner Dietl (University of Washington)
Average rating: ***..
(3.69, 13 ratings)
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.

Sponsors

For information on exhibition and sponsorship opportunities at the conference, contact Sharon Cordesse at (707) 827-7065 or scordesse@oreilly.com.

Download the OSCON Sponsor/Exhibitor Prospectus.

View a complete list of OSCON contacts