My homepage has moved to homes.cs.washington.edu/~emina/.