[Checkers] [Pag] progress report
mernst at csail.mit.edu
Thu Mar 13 06:21:57 EDT 2008
Thanks for these improvements to the Javari checker. I'm especially happy
that the new framework -- with continued improvements from Mahmood and
others -- is simplifying the Javari checker and other checkers. This is
exactly the point of a framework!
In terms of future plans, moving forward with your current test suite
sounds good, especially since you still know of important remaining bugs.
Two longer-term (by which I mean within a month!) goals are
* round-trip the Javarifier and Javari checker: that is, make sure that
whenever we run Javarifier, the results type-check according to the
Javari checker. This is useful in its own right, to find bugs in both
tools, and it is also something we want to be able to say that we have
done in our ECOOP paper. (So far we've tried it, but there were too
many Javari checker problems. You are now working on fixing those.)
Jaime has promised to periodically send you bug reports to help you
understand which of Javarifier's current problems are most serious in
practice, which may help to focus your work (though eventually all of
the bugs need to be fixed, obviously).
* Get the checker into real use to learn more about its strengths and
limitations. You should be on the lookout for people you could convince
to use the checker. Also, Jeff Hoye here at MPI wants to use the
Javarifier and the Javari checker (on the FreePastry codebase), and
that's a wonderful opportunity I don't want to miss out on.
More information about the checkers