posted by Dino at
6:36 AM
Space Invader @ East London Massive
About
Links
- ddino's page @ Queen Mary
- Peter's page @ Queen Mary
- Hongseok's page @ Queen Mary
- Cristiano's page @ Imperial
- East London Massive
- Separation Logic
- Download Space Invader from eastlondonmassive.org
- Space Invader's Papers
- SLAyer
- Terminator
Previous
- please welcome jStar
- Applying bi-abduction to Java memory leaks
- New funding for JStar!
- Abduction in Seoul
- Get ready for for the beach...
- Celebrating Richard!
- jStar webpage
- Looking at different kinds of reasoning
- Space Invader in Argentina
- Space Invader in Bangalore
Archives
- October 2006
- November 2006
- December 2006
- January 2007
- February 2007
- March 2007
- May 2007
- June 2007
- July 2007
- September 2007
- October 2007
- November 2007
- January 2008
- February 2008
- March 2008
- May 2008
- June 2008
- July 2008
- August 2008
- September 2008
- October 2008
- November 2008
- December 2008
- February 2009
- March 2009
- May 2009
- June 2009
- August 2009
- October 2009
- March 2010
- Current Posts
