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://pdos.csail.mit.edu/~jastr/ immediately.