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…