[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

Thoughts on these?



More information about the checkers mailing list