haha.. had a good laugh in office today...

So coincidental....

Reply from Microsoft after this was posted on the net that cracked a few good laughs..

CIBAI stands for Class Invariants By Abstract Interpretation.

It was an academic paper written by one of Microsoft' researchers prior to joining Microsoft Research and is not an application or product.

Microsoft allows our researchers to post their past papers on our site, to enable the public to search across these researcher entire body of prior work.

However, it does not represent work that has been done or is currently being done at Microsoft.

We apologize if this has caused offence, which was entirely unintentional,

and we are removing the acronym from our website.

Stephen Forshaw

Corporate Communications Director,

Asia PacificMicrosoft Corporation