Apparently twitterers in Singapore and Malaysia discovered an old project called CIBAI yesterday and started sniggering because cibai is a Hokkien slang term for vagina.
Someone from Microsoft then helpfully clarified that CIBAI was an acronym for Class Invariants By Abstract Interpretation, was something one a Microsoft researcher had worked on independently, and that the concidence was unintentional and they will look into removing the acronym from the website shortly.
Soon, Eve Ensler will demand to know why Microsoft is embarassed by this and why Cibai should not be an appropriate name for a technology.