Thanks to Henry, I can now tex the paper. I put up a reorganized file structure at http://www.star-lab.com/sweeks/01-icfp.tgz so that we can more easily edit different sections. I'll read through the contify and analyses sections tonight.