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.