[Checkers] [Pag] progress report

Michael Ernst 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 mailing list