I have problems accessing the homepage at

http://hal.cs.berkeley.edu/cil/

Has the homepage moved to a different location or the web server is down?

Thanks,
Vinai
--
Vinai Sundaram @ http://web.ics.purdue.edu/~vsundar/