My home page has moved to http://www.cs.ucsc.edu/~cormac/ (redirects in 5 seconds).