Learning Program Embeddings to Propagate Feedback on Student Code

By C. Piech, Jonathan Huang, A. Nguyen, Mike Phulsuksombati, Mehran Sahami, Leonidas J. Guibas. 2015

201 citations recorded by the source corpus.

Providing feedback, both assessing final work and giving hints to stuck students, is difficult for open-ended assignments in massive online classes which can range from thousands to millions of students. We introduce a neural network method to encode programs as a linear mapping from an embedded precondition space to an embedded postcondition space and propose an algorithm for feedback at scale using these linear maps as features. We apply our algorithm to assessments from the Code.org Hour of Code and Stanford University's CS1 course, where we propagate human comments on student assignments to orders of magnitude more submissions.

Subfields: Artificial Intelligence, Computer Science Applications, Code Generation & Program Synthesis, Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Charles Sutton
  2. Miltiadis Allamanis
  3. Rishabh Singh
  4. Pushmeet Kohli
  5. Percy Liang
  6. Marc Brockschmidt
  7. Daniel Tarlow
  8. Uri Alon

In Computer Science Applications

  1. Rishabh Singh
  2. Charles Sutton
  3. Aditya Kanade
  4. Sahil Bhatia
  5. Miltiadis Allamanis
  6. Pushmeet Kohli
  7. Zhendong Su
  8. Vincent J. Hellendoorn

In Code Generation & Program Synthesis

  1. Charles Sutton
  2. Rishabh Singh
  3. Miltiadis Allamanis
  4. Marc Brockschmidt
  5. Pushmeet Kohli
  6. Sahil Bhatia
  7. Aditya Kanade
  8. Daniel Tarlow

In Program Analysis & Verification

  1. Rishabh Singh
  2. Aditya Kanade
  3. Charles Sutton
  4. Petros Maniatis
  5. Miltiadis Allamanis
  6. Marc Brockschmidt
  7. Pushmeet Kohli
  8. Ke Wang

Citations in the corpus