My page you are looking for is located here http://www.cs.cmu.edu/~halmuhim/. You will be redirected to the new location automatically in 3 seconds.
Please bookmark the correct page at http://www.cs.cmu.edu/~halmuhim/