sk_p: a neural program corrector for MOOCs. - Pu, Yewen; Narasimhan, Karthik; Solar-Lezama, Armando; Barzilay, Regina (CoRR, 2016)