delete pldi_sub.pdf