A World Without Programmers?
summary
Claims that program synthesis can replace hand coding get grounded in concrete examples and limits: 5-line spec → 255 lines of Ada, Amphion generated Fortran for Cassini and then worked on mission planning, and estimating an MD5 expert implementation requires searching a space of about 10^5943 programs exposes intractability. Modern efforts use neural sketches and large corpora — DARPA MUSE’s 11 TB corpus, Bayou for Java, Pics2Code/Wizard for UI generation, Excel Flash Fill for broad impact — and prototypes already demo useful assistants, not full human replacement.
AI-written summary · about
chapters (19)
- 0:00Intro
- 2:57Will Robots Take My lob?
- 5:09What is Autonomous Coding?
- 9:47Outcomes - 3 Apprentices
- 14:33Custom Visualization for Cassini
- 16:47Program Synthesis 101 - User Intent
- 19:07Program Synthesis LOL - Program Space
- 21:08Program Synthesis LOL - Search Techniques
- 23:13Counter-Example Guided Inductive Synthesis (CEGIS)
- 25:08Programming by Examples (PBE) Architecture
- 26:463 Dimensions of Program Synthesis
- 28:01DARPA MUSE Program
- 30:23DARPA MUSE - Bayou
- 33:52Microsoft Intellicode
- 36:57GitHub Semantic Code Search
- 44:16Microsoft PROSE - Program ynthesis using Examples
- 46:11Azure ML Workbench
- 49:41Progammer's Apprentice Revisited
- 51:47A World Without Programmers?
related talks
41m"Do What I Mean": The History of AI and Program Synthesis
01h 32mCan AI replace programmers?
43mWill code remain a relevant user interface for end-user programming with genera...
30mFrom COBOL to Copilots: Why “No-Code” Never Kills the Coder
49mAutomated Program Generation from Input-Output Examples
45mProgrammer’s Apprentice Season 2: Future Directions in AI-assisted Coding
48mSacrificing the golden calf of “coding”
01h 22mSoftware Abstraction in the Age of AI-Generated Code