These are the collection of my photos, thoughts, news clippings, videos that I found, music that I like, scenes that delight me and all of those that makes me want to put it in here.
Cibai... and i'm not talking vulgar here

Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes - Microsoft Research