- Matthew and Dino's paper on JStar, which is their separation logic based tool for verifying Java programs.
- Claudio's paper on his implementation of joins in the production Visual Basic Compiler.
Well done guys!
Tuesday, 6 May 2008
OOPSLA 08
Great news: Two papers by friends have just been accepted for publication at OOPSLA'08, which this year will be in Nashville, Tennessee.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment