[Checkers] IGJ Status

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


Mahmood-

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).

                    -Mike



More information about the checkers mailing list