Fixing link for PLDI 2012