[Checkers] Paper status
mpapi at csail.mit.edu
Sun May 4 00:49:31 EDT 2008
> Matt, what is your status on section 3? It doesn't look like it is ready
> for me to read yet, as there are still to-dos about reorganization.
I've made more progress on it and I'm working on it now. Within an
hour or two it should be ready for you to read.
> What is your status on case studies?
I have a couple hours' worth of work left for the Basic checker case
study. I plan on finishing it up tomorrow morning, at least enough to
get some preliminary numbers in the paper and a section that you can
I will be re-running the other NonNull case studies (and doing a new
one if time permits) as soon as most of the writing is finished (so
probably Monday morning, Boston time).
More information about the checkers