Welp, we didn't make it into the finals for CGC. Congratulations to the teams that did! http://www.darpa.mil/news-events/2015-07-08 …
-
-
despite that, we made progress on several fundamental problems in automated program analysis that we're excited to share publicly soon
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dguido super bummed to hear that man, I was cheering for y'all!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.