Qinfeng (Javen) Shi's homepage has been moved to http://www.cs.adelaide.edu.au/~javen