Adds thesis, missing PLDI paper.

Also removes all "coming soon" placeholders and fixes CREST links.