Space Invader @ East London Massive

Sunday, August 10, 2008

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....