Space Invader @ East London Massive

Tuesday, October 27, 2009

Applying bi-abduction to Java memory leaks

Ok guys, here there is a new idea. Well, new for you at least. Definitely not for Ivana and me that have been thinking this for quite some time now. But recently, we decided (finally!!) to write it down in a draft paper (currently submitted). It's yet another brand-new application of bi-abduction (these days is not surprising, isn't it?). This time is all about detecting objects which are allocated, not used anymore in the program, but which cannot be garbage collected (sometimes called Java memory leaks). I quite like the idea and I thought it was time to put it out there...

Here there is the draft, hope you enjoy it....

Friday, October 02, 2009

New funding for JStar!

Great News! EPSRC is going to fund Dino and Matt research on jStar for the next three years. The recent grant has been announced also in the Times Higher Education magazine.
Have a look here.