[Checkers] IGJ Status

Michael Ernst mernst at csail.mit.edu
Wed Mar 19 16:51:26 EDT 2008


Thanks for the notes about IGJ status.  Also, thanks for remembering that
we need to special-case Collections.toArray!  We should mention in the
paper that we have done so.  I agree with you that we can do exciting case
studies now.  I'm glad that the checkers work is winding down, but I
honestly don't have a good feel as to exactly how much work remains (which
is OK in the short run, so long as the rest of you do).


More information about the checkers mailing list