Use sigplanconf-pldi style file.