hacks and scripts that are useful for chairing PLDI - View it on GitHub