Space Invader @ East London Massive

Saturday, May 12, 2007

Next July it's Berlin time

I've been in Berlin just few times in my life but it has been always amazingly good. It's definetely a great city. Especially during summer.
Next July there are several reasons why you really wanna be there. Here some suggestions in random order

1. A Space Invader paper has been accepted for publication in CAV 2007:

Shape analysis for composite data structures.
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies and Hongseok Yang.

2. There is a great Symposium associated with CAV which you cannot miss: AHA 2007

3. Byron's invited talk at CAV 2007

Unfortunately not everything is perfect. There is a problem....
what I considered to be the greatest event in July turned out to be actually a disappointment!
The Love Parade! It was really a must, but unfortunately the latest news says that, this year for the first time, it's not gonna happen in Berlin!!!!! How unfortunate is that? Is CAV involved in this???? Too bad...

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.