Cibai Microsoft  

Playing with twitter today and I found some interesting trends.

#Cibai is one of the top trends in twitter today, especially for the south-east Asia community.

Microsoft Research has been doing a project over the last two years and named it "cibai", and it appears to be a random name with any meaning and it's NOT an acronym or abbreviation.

A quote from the Microsoft Research website

"We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons. 

We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances."


Facepalm

LOL.

Major fail on Microsoft's part. Why oh why did they name this after cibai?

And it took 2 years for us south-east Asians to know about it and laugh our ass off!!



[view blog reactions]

AddThis Social Bookmark Button
blog comments powered by Disqus