Overview, index.htm, Course overview;
Table of Contents, TOC.htm, Table of Contents;
Lecture 1, Lecture1.htm, Introduction and Definitions;
Unit 1:  Inductive synthesis;
Lecture 2, Lecture2.htm, Introduction to Inductive Synthesis;
Lecture 3, Lecture3.htm, Bottom Up Explicit Search;
Lecture 4, Lecture4.htm, Top Down and Type Directed Explicit Search;
Lecture 5, Lecture5.htm , Inductive Synthesis with Stochastic Search;
Lecture 6, Lecture6.htm, Version Space Algebras from SMARTedit to FlashFill ;
Lecture 7, Lecture7.htm, Inductive Synthesis with Sketch;
Lecture 8, Lecture8.htm, Constraint based inductive synthesis;
Lecture 9, Lecture9.htm, Solving Constraints;
Unit 2:  Functional synthesis;
Lecture 10, Lecture10.htm, Introduction to Functional Synthesis: Functional specifications. Inductive to Functional synthesis with CEGIS. ;
Lecture 11, Lecture11.htm, A brief introduction to constraint-based verification;
Lecture 12, Lecture12.htm, From verification conditions to synthesis conditions;
Lecture 13, Lecture13.htm, Functional Synthesis with Sketch.;
Lecture 14, Lecture14.htm, Introduction to SMT;
Lecture 15, Lecture15.htm, Expressive Types;
Lecture 16, Lecture16.htm, Synthesis with Refinement Types;
Lecture 17, Lecture17.htm, Deductive Synthesis;
Lecture 18, Lecture18.htm, Deductive/Inductive Hybrid Schemes;
Lecture 19, Lecture19.htm, Synthesis with abstract interpretation;
Unit 3:  Quantitative and probabilistic synthesis;
Lecture 20, Lecture20.htm, A Bayesian View of Synthesis;
Lecture 21, Lecture21.htm, Synthesizing Under a Distribution;
Lecture 22, Lecture22.htm, Neural Guided Synthesis;
Lecture 23, , Synthesis through numerical optimization;