SIGPLAN/SIGPLAN.github.io — pull request #16 by dgrove-oss (2014-09-25 20:31:05+00:00)
Title: fixes for PLDI and ISMM

Hi,

I think these are a few more changes that got missed in the migration of the website.