fixed link in publications.yml for pldi