And Guess What’s The Trending Topic In Twitter Today?
Apparently some folks over at Microsoft must’ve been asleep during Marketing 101 and missed the classic marketing faux pas that Chevrolet committed way back in the distant past. How else could this have slipped into their website:
Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes
Francesco Logozzo
January 2007
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.
Then again, its just the abstract of a research paper. I don’t expect Mr. Francesco Logozzo to be an expert in East Asian vernacular or marketing.
Nonetheless, its still making its rounds on Twitter to the glee of audiences in Southeast Asia. Type the link below in your browser window ..
http://twitter.com/#search?q=#WXYZ
and replace WXYZ with the phrase you think I’m talking about. You’ll see




