Prof. Miller's home page is actually located at http://www.cs.ucsc.edu/~elm/. You should be taken there within 5 seconds. If not, you may click on the link above.