Schedule

Schedule beyond next week is subject to change!

Mon Aug 26
Course Overview
Wed Aug 28
Syntax-Guided Synthesis
Fri Aug 30
Enumerative Search
Mon Sep 2
Labor Day
Wed Sep 4
Enumerative Search (Cont.)
Fri Sep 6
Equivalence Reduction
EUSolver
Mon Sep 9
Paper + Project Discussions
Wed Sep 11
Top-down Propagation
Fri Sep 13
Weighted Enumerative Search
EUPhony
Mon Sep 16
Weighted Enumerative Search (cont.) and EuPhony
Wed Sep 18
Version Space Algebra
Fri Sep 20
Finite Tree Automata and e-graphs
Sun Sep 22
Project Group Due
Mon Sep 23
Stochastic Search
Wed Sep 25
Constraint Solving with SAT/SMT
Fri Sep 27
Symbolic Execution Demo
BlinkFill
Mon Sep 30
How SAT/SMT Solvers Work
Wed Oct 2
BlinkFill and Constraint-based Search
Fri Oct 4
Specifications
Sun Oct 6
Project Proposal Due
Mon Oct 7
CEGIS and Program Sketching - I
Wed Oct 9
CEGIS and Program Sketching - II
Fri Oct 11
CEGIS and Program Sketching - II (cont.)
Brahma
Mon Oct 14
Fall Break
Wed Oct 16
Type-directed Synthesis
Fri Oct 18
Brahma and Type-directed Synthesis (cont.)
Sketch
Mon Oct 21
Type-directed Synthesis
Wed Oct 23
Sketch and Synquid
Fri Oct 25
Synthesis with Refinement Types
Synquid
Mon Oct 28
Synthesis with Refinement Types
Wed Oct 30
Hoare Logic
Fri Nov 1
Separation Logic and Deductive Synthesis
Regae
Mon Nov 4
Synthesizing Effectful programs
Wed Nov 6
Abstract Interpretation
Fri Nov 8
Synthesis with Abstract Interpretation and Paper Discussion
RbSyn
Mon Nov 11
Bayesian View of Synthesis
Wed Nov 13
SNG Traveling
Fri Nov 15
Synthesizing Under a Distribution
Execution-guided Neural Program Synthesis
Mon Nov 18
Learning Complex Distributions
Wed Nov 20
Synthesis with Optimization
Fri Nov 22
SNG Traveling
Mon Nov 25
Neurosymbolic Synthesis - I
Wed Nov 27
Thanksgiving
Fri Nov 29
Thanksgiving
Mon Dec 2
Neurosymbolic Synthesis - II
Wed Dec 4
Project Presentations
Fri Dec 6
Project Presentations
Mon Dec 9
Project Presentations
Wed Dec 11
Project Presentations
Fri Dec 13
Project Report Due