Microsoft Cibai

Posted on May 23, 2009 by sheep319

http://research.microsoft.com/apps/pubs/default.aspx?id=78035

I shit you not, this is real.

For real.

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

HOLY CRAP. I hope I study this on campus. Literally.

*nyeheheheheh*

This entry was posted in Random. Bookmark the permalink.

One Response to Microsoft Cibai

  1. aj says:
    May 26, 2009 at 10:13 pm

    ngueheheh … microsoft microsoft…

    nampak betul buta bahasa!

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>