Helping software developers to transition from unannotated programs to code that uses an extended type system is a very important task. I am working on the Checker Inference framework, which will allow to implement type inference approaches for any type checker implemented for the Checker Framework.

Generic Universe Types Inference

As a first use of the Checker Inference framework, I implemented an inference approach for Generic Universe Types. See a formal description, published at ECOOP 2011. The static inference builds a constraint system and uses a SAT solver to find a solution.

You can download the Checker Inference source code. See file README for installation instructions.

You also need the GUT type checker to get the inference rules for GUT.

Finally, we provide evaluation results, published at ECOOP 2011.