My page has moved to msl.cs.uiuc.edu/~yershova