ECE professor Werner Dietl delivered three talks at the JavaOne conference

ECE professor Werner Dietl delivered three talks at the recent JavaOne conference in conjunction with professor Michael Ernst from the University of Washington. The talks were given on October 26 and titled "Using Type Annotations to Improve Your Code", "Preventing Errors Before They Happen" and "Collaborative Verification of the Information Flow for a High-Assurance App Store". There's a news report on the University of Washington website that has the details of the talks.