The site has been moved to http://msepc7.sp.cs.cmu.edu.