Werner M. Dietl - Checker Inference

Checker Inference

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.

Previous sites

See my previous page at ETH Zurich for information about the different tools. Also, see my publications page.

	Werner M. Dietl Contact Information [comments to wmdietl]