Explore the concept of program synthesis and its potential impact on the future of software development in this 54-minute conference talk. Delve into the history, basic concepts, and challenges of automated code generation from high-level specifications. Examine real-world examples and witness a live demonstration of a program synthesis framework. Gain insights into the evolution of software development for both humans and machines, and consider the implications of a world where developers may be either human or artificial intelligence. Learn about various approaches to program synthesis, including Counter-Example Guided Inductive Synthesis (CEGIS) and Programming by Examples (PBE). Discover ongoing research initiatives like the DARPA MUSE program and explore tools such as Microsoft Intellicode, GitHub Semantic Code Search, and Azure ML Workbench. Contemplate the future of programming and the potential for a world without human programmers.