[Checkers] New name for romaybe

Michael Ernst mernst at csail.mit.edu
Sun Apr 13 05:49:52 EDT 2008


I'd like to reach resolution in our choice of a new name for romaybe.  I
definitely want this done before the camera-ready versions of the Checkers
and Javari papers (but not so quickly that we choose a poor name).

I think the top contenders right now are
  @Polyread
  @Readpoly

Thoughts on these?

                     Thanks,

                    -Mike



More information about the checkers mailing list