[Checkers] New material for checkers paper

Michael Ernst mernst at csail.mit.edu
Sun Apr 27 15:56:41 EDT 2008


> I am conducting case studies now (currently working on the framework  
> and IGJ itself now) for the paper.  I will update the paper with new  
> numbers hopefully by tonight.

That's great, thanks.

For tomorrow, I'm most interested in what new material might be added to the
paper (and will be added to an accompanying technical report).  One example
is discussion of new framework features.  Another example is new case



More information about the checkers mailing list