papers: fix mention of ACM SIGSOFT award