A new paper!

A new Space Invader paper has been accepted in the 19th International Conference on Computer Aided Verification (CAV):

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

See below for the tech report version.