Over the last ten years, program synthesis technology has moved from the fringes of AI to the forefront of programming systems research. Today, there are synthesis sessions in all the major PL and software engineering conferences, and our budding community can now point to a number of success stories where synthesis technology has helped solve important problems. So are we done? The short answer is no. In this talk, I will talk about the state of the field today and what I see as important open problems.

I work with the Computer Assisted Programming Group; our goal is to develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems.