[Checkers] Paper status

Michael Ernst mernst at csail.mit.edu
Mon May 5 02:46:59 EDT 2008

I'm going offline now and will focus on the end of the paper until I come back.

Matt, update Papi2008 in pag.bib with the correct title of your thesis.

Also, you can cut any "type system weaknesses" discussions from the case
studies, unless they are interesting/novel.  Those interesting/novel ones
will appear at the end of the document anyway.


More information about the checkers mailing list