Writing Programs! That Write Other Programs!!
summary
Claims an automatic peephole super-optimizer that synthesizes correct replacements, not just examples. Uses implemented CEGIS in Rust with Z3 to turn synthesis into finite synthesis + verification and handle the exists/forall nesting. Targets LLVM-style low-level straight-line code where LLVM already has over 1000 patterns, and shows a concrete result that cuts two instructions from a peephole sequence and replaces multiply/divide with cheaper bitwise ops, demonstrating the idea works.
AI-written summary · about
chapters (9)
- 0:00Start
- 0:29Writing Programs That Write Other Programs
- 1:56Peephole Optimizer
- 2:36Llvm
- 4:00Super Optimization
- 4:14Program Synthesis
- 5:36Smt Solvers
- 7:57Counter Example Guided Iterative Synthesis
- 8:26Finite Synthesis
related talks
41m"Do What I Mean": The History of AI and Program Synthesis
01h 04mInvited Talk: Finding Good Programs by Avoiding Bad Ones
17mHow to Program like a Five Year Old in Haskell
54mA World Without Programmers?
31mComputer, Program Theyself!
53mSemantics-based program manipulation in the age of LLMs
49mAutomated Program Generation from Input-Output Examples
36mCode Mending in the AI age