A Survey of Program Synthesis

Abstract

We conducted a survey on program synthesis techniques that automatically generate programs from specification information. Full papers from 2016 to 2020 of major conferences in the fields of software engineering, programming languages, artificial intelligence and natural language processing were covered and categorized by methods and application domains. This paper provides a bird's eye view of the trends in program synthesis techniques in the last five years.