Space Invader @ East London Massive

Monday, May 07, 2007

Footprint analysis gets to Copenhagen

Beside Berlin, it seems that this summer Space Invader and the East London Massive will visit Copenhagen as well! Our Footprint analysis paper:

Footprint Analysis: A Shape Analysis that Discovers Preconditions.
C Calcagno, D Distefano, PW O'Hearn and H Yang.

has been accepted for publication in the International Static Analysis Symposium. The tech report version can be found here

Queen Mary Tech Report RR-07-02, April 2007.