New funding for Space Invader

Great news! EPSRC decided to provide funding for a new Space Invader's adventure. The project, called Adaptive Heap Analysis, is meant to bring to the next level the basic ideas described initially in Shape Analysis for Composite Data Structures (appeared in CAV 2007).

New exciting developments are coming! Stay tuned....