Space Invader @ East London Massive

Thursday, February 01, 2007

Teaching Space Invader to adapt

Hongseok and Josh friendly fighting for the best strategy to teach Space Invader to adapt to many unpredictable and dangerous data structures it will encounter in his mission to invade the galaxy of device drivers....

Results? Two new papers describing what Space Invader has learned during his training across Europe (London, Cambridge, Venice and Nice):

Footprint Analysis: A Shape Analysis that Discovers Preconditions.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn and Hongseok Yang.

Shape analysis for composite data structures.

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies and Hongseok Yang.
Microsoft Research Tech Report TR-2007-13