In 2010, IBM awarded the PI the CAS Research Faculty Fellowship since his work “has contributed high business impact to IBM Software with great potential for commercialization.” In particular, they are referring to the work done in this project. IBM recognized that the consistency technology pioneered under this project is the most scalable and most flexible consistency checking technology available to date. IBM is now incorporating this technology into the JAZZ platform to support the consistency checking of collaborating software engineers. The adoption by IBM is not merely an academic exercise. Currently, IBM involves two programmers of the commercial production team in incorporating this technology into their platform. Its expected release date is towards the end of 2012/beginning of 2013.
As it was said earlier, FWF rules prohibit subcontracting to industry. FWF projects are meant to be basic research projects and industrial transfer is not a direct product of this work. This adoption by IBM thus demonstrates that our work has direct applicability in practice. IBM independently funds this industrial transfer in form of a separate agreement.