Program Recognition in Synthesis

Authors: Michael B. James, Nadia Polikarpova
Published in PLATEAU 2021, November 2021

Program synthesizers can offer a user many candidate snippets to fit a specification. How should a user decide which snippet is the right one for them? We introduce the problem of program recognition in the context of program synthesis. We argue recognition tasks are distinct from program comprehension, unique to synthesis, and under-explored. We run an exploratory study on program recognition and share our findings.

Download paper here