Microsoft Research

On a peaceful morning, it is very early in the morning, time was about 5.20am, i was working night shift and im bored to death during the weekend but thank god too for giving a peaceful weekend to work with(referring to my work). Ok ok...lets get into the topic. I was checking on my blog page and stumbled into one of my friend's latest update. I thought i saw it wrongly since i was damn sleepy in the morning. I looked closely and the word made me feel like i being pressed F5 button. This is what i saw at my blog live update.

Look at the thumbnail beside. This is the latest research by Microsoft.


The word "Cibai"really made me laugh out loud. I showed my colleagues and they join me to laugh in this early morning where other team mates all felt sleepy. Everyone of them looked at us and wondering why we laughing so loud. What so funny? They felt curious. Look at the pic below. A picture speaks a thousand words. Im serious, im not kidding. See it to believe it.

The Research Page

This is the link you can visit for more details about the research. I will quote some sentence that made us burst.

"Cibai achieves a higher level of automation and precision while having comparable performances."

"Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes"

"Cibai can discover in few milliseconds the class invariant 0 ≤ top ≤ elements.length."

"A bag of int. Cibai emits a warning at (∗) as initial may be negative."

"In Cibai we chose ¯D to be the abstract domain Env × Store × P(Addr)."

There are a lot more in the pdf file. Please feel free to read it even though you will not understand what they talking about if you are not in programming field. Thanks EPL for inspiring me to write this blog as i have not update my blog for a long long time, but not as long as Abes la.