Tuesday, 6 May 2008


Great news: Two papers by friends have just been accepted for publication at OOPSLA'08, which this year will be in Nashville, Tennessee.
  1. Matthew and Dino's paper on JStar, which is their separation logic based tool for verifying Java programs.
  2. Claudio's paper on his implementation of joins in the production Visual Basic Compiler.

Well done guys!

No comments: