pldi14 progress