The work on TACLE was funded by an IBM Eclipse Innovation Grant.
Additional details about the design of TACLE are available in the paper Building a Whole-Program Type Analysis in Eclipse, Mariana Sharp, Jason Sawin, and Atanas Rountev, Eclipse Technology Exchange Workshop (eTX'05), pages 10-14, October 2005. [ PDF ] [ BibTeX ] [ Talk ].
Some approaches for reporting the progress of the analysis are described in Estimating the Run-Time Progress of a Call Graph Construction Algorithm, Jason Sawin and Atanas Rountev, IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06), pages 53-62, September 2006. [ PDF ] [ BibTeX ] [ Talk ].