Taming Null Dereferences with Pluggable Type Systems - Part I

This post provides a gentle introduction to both NullAway - an open-source tool to prevent null pointer exceptions in Java - as well as pluggable type systems for nullability in general. It is meant to be the first in a series of posts describing mul...