pldi-utils hacks and scripts that are useful for chairing PLDI These utils require xpdf in the poppler distribution which can be installed via brew install poppler