HW 5: Autograder

1. Read through paper(s):

• Automated feedback generation for introductory programming assignments (Singh et al. 2013)
• The Sketching Approach to Program Synthesis (Solar-Lezama 2009)
• This feels a bit silly to keep including this, but it's in my template!

2. Sketch:

• Installation & setup via guide on Armando Solar-Lezama's hompage (thank you Joe!)
• Worked through several examples from the Sketch Programmers Manual
• Worked through a general example of "replace value with either value - 1 or value + 1"
• Interesting to note how many transformations/optimizations are applied to the original code (on par with what I might expect from a compiler). I suppose doing so really helps keep the search spaces for the holes as constrained as possible.