A World Without Programmers?

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.

Intro
Will Robots Take My lob?
What is Autonomous Coding?
Outcomes - 3 Apprentices
Custom Visualization for Cassini
Program Synthesis 101 - User Intent
Program Synthesis LOL - Program Space
Program Synthesis LOL - Search Techniques
Counter-Example Guided Inductive Synthesis (CEGIS)
Programming by Examples (PBE) Architecture
3 Dimensions of Program Synthesis
DARPA MUSE Program
DARPA MUSE - Bayou
Microsoft Intellicode
GitHub Semantic Code Search
Microsoft PROSE - Program ynthesis using Examples
Azure ML Workbench
Progammer's Apprentice Revisited
A World Without Programmers?