3 ms·
I should add that Rishabh Singh, one of the lead authors of of the repair papers, will speak at the conference.
by rbodik 7y ago
I should add that Rishabh Singh, one of the lead authors of of the repair papers, will speak at the conference.
- rishabhs 7y agoThanks Ras for the above pointers! I also wanted to add that there is a demo of the system with different levels of feedback mechanism hosted here: http://sketch2.csail.mit.edu/python-autofeedback/new-encoding/ http://sketch2.csail.mit.edu/python-autofeedback/new-encodin... It uses constraint-based synthesis to search for small repairs. We also did some follow up work on learning from other student's solutions to learn to correct similar mistakes: https://rishabhmit.bitbucket.io/papers/sarfgen_pldi18.pdf https://rishabhmit.bitbucket.io/papers/sarfgen_pldi18.pdf https://rishabhmit.bitbucket.io/papers/dyn_iclr18.pdf https://rishabhmit.bitbucket.io/papers/dyn_iclr18.pdf