pldi14 section2 revision