gasche/popl2014-papers — pull request #23 by bens (2013-12-16 12:56:08+00:00)
Title: Lots of links to authors' homepages

The biggest change in the PR is adding the author homepages (though I haven't done VMCAI yet), and the rest are small tweaks for uniformity. I've written a parser which flushes out lots of things like that which I'll likely put up on github before too long.