My pages live on pdos.csail.mit.edu now. That might not be true forever, so I continue to point links here instead.

You will (hopefully) be taken to http://mv.ezproxy.com.ezproxyberklee.flo.org/~jastr/ immediately.