fixes for PLDI and ISMM

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