Got this from Chee Aun Twitter today, an abstract posted on Microsoft Research site that has the title “Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes.”  I wonder what inspired the name of the analyzer.  This is a good example where before you name something, do try to google for it first and it will bring you to sites like WikiAnswers…

On this day..

• Elderwise Cafe in Penang - 2008