application/pdf pldi12.pdf — 398 KB