I've felt embarrassed for Microsoft when they introduced the Zune, Windows Vista, the Office Ribbon interface, Windows Genuine Advantage, MSN and Windows Live search, the near constant security threats, their latest announcement of a Windows 7 version that will only run 3 applications at a time… but this could very well be their crowning achievement.
As someone who grew up in Singapore, I was buckled over in fits of laugher when I saw this report from Microsoft's Research division!
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.
Clearly they don't have any Hokkien creole speakers in their ranks! Then again to be fair, I'm sure plenty of Microsoft employees in their research division would like nothing more than to do more cibai research ;) A cibai […] analyser? Cibai […] tools?! :D