Space Invader in Princeton

The new paper on join

Scalable Shape Analysis For Systems Code.
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano and Peter O'Hearn.

has been accepted for publication in CAV 2008.

Space Invader is gonna invade Princeton!