pldi14 progress on sec 3