Semi-supervised verified feedback generation

Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani

Abstract

Students have enthusiastically taken to online programming lessons and contests. Unfortunately, they tend to struggle due to lack of personalized feedback. There is an urgent need of program analysis and repair techniques capable of handling both the scale and variations in student submissions, while ensuring quality of feedback.

BibTeX

@inproceedings{Kaleeswaran-al:FSE16,
  author    = {Shalini Kaleeswaran and
               Anirudh Santhiar and
               Aditya Kanade and
               Sumit Gulwani},
  title     = {Semi-supervised verified feedback generation},
  booktitle = {FSE},
  pages     = {739--750},
  publisher = {{ACM}},
  year      = {2016},
}

Semi-supervised verified feedback generation

Abstract

Related papers