2019/09/26 by Will Crichton, Crichton, Will
Computer Science · Engineering · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Programming Languages (cs.PL) #Systems Engineering Methodologies and Applications #Technology Assessment and Management
paper · pdf · doi:10.48550/arxiv.1909.12281
openalex publication_date 2019/09/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks: what does program synthesis look like beyond examples? What actual issues in day-to-day development would stand to benefit the most from synthesis? How can a human-centric perspective inform the exploration of alternative specification languages for synthesis? I sketch a human-centric vision for program synthesis where programmers explore and learn languages and APIs aided by a synthesis tool.