Slide 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali, Werner Dietl, … http://types.cs.washington.edu/jsr308…

Slide 1 Usable code verification: balancing costs and benefits Two nuggets: User-defined verifiers Crowd-sourced verification Michael D. Ernst University of Washington with:…

Preventing bugs with pluggable type checking Michael Ernst and Mahmood Ali University of Washington and MIT OOPSLA 2009 tutorial print(@Readonly Object x) { List lst; ……

Dia 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Werner Dietl, and many others http://types.cs.washington.edu/jsr308…

Dia 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali http://types.cs.washington.edu/jsr308…

Preventing bugs with pluggable type checking Preventing bugs with pluggable type checking Michael D. Ernst University of Washington http://types.cs.washington.edu/jsr308…

Dia 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali http://types.cs.washington.edu/jsr308…

print(@Readonly Object x) { List lst; ⦠} Detecting and preventing null pointer errors with pluggable type-checking CSE 331 University of Washington Motivation java.lang.NullPointerException…