application/pdf pldi12.pdf — 398.5 KB