Checker Framework
Enhances Java's type system to detect and prevent errors. Contributed to the whole-program inference module.
The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins (“checkers”) that find bugs or verify their absence. It also permits you to write your own compiler plug-ins. I contributed to the whole-program inference module in this project.