You are a Program Synthesizer
summary
Claims that program synthesis lessons make programmers better are supported with concrete methods and demos: deductive synthesis and constraint-based synthesis (Sketch with a CEGIS loop) produce real programs and counterexamples, Sketch finds a hidden constant (2) in 0.452s, and synthesis shows arrays can hide conditionals. Techniques include Hoare logic and abstract interpretation to measure complexity and state counts, plus concrete examples (sanitizer abstraction, linked‑list length synthesized with minimal tests) and explanations of when the generated solutions actually succeed.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 10:06Deep insights
- 14:44Sanitizing
- 19:29Interpretation
- 21:07sanitize
- 23:08antiif
- 26:23conditionals
- 29:09constraints
- 32:21testdriven development
related talks
14mSynthesizing Contracts Correct Modulo a Test Generator
41mRelational Interpreters, Program Synthesis, and Barliman
20mSemantic Reification: A New Paradigm for Random Program Generation
19mAPI-driven Program Synthesis for Testing Static Typing Implementations
30mGenerating Conforming Programs With Xsmith
43m(Programs), Proofs and Refutations (and Tests and Mutants)
46mIntroduction to Formal Verification with Symbiotic EDA Open Source Tools
56mThe Rational Programmer, An Investigative Method for Programming Language Prag...