Course Calendar
Subscribe to this calendar: iCal or Google.
| Date | Topic | Slides | Read | Out | Due |
|---|---|---|---|---|---|
| Sep 27 | Solver-Aided Programming I | L01, code | [1] | ||
| Sep 29 | Solver-Aided Programming II | L02, code | [2] | HW1 | |
| Oct 04 | SAT Solving Basics | L03, code | [3] | ||
| Oct 06 | A Modern SAT Solver | L04 | [4][5] | ||
| Oct 11 | Applications of SAT | L05, code | [6] | ||
| Oct 13 | SAT Modulo Theories | L06, code | [7] | ||
| Oct 18 | A Survey of Theory Solvers | L07, code | [8] | ||
| Oct 20 | Combining Theories | L08 | [9] | HW2 | HW1 |
| Oct 25 | The DPLL(T) Framework | L09, code | [10] | ||
| Oct 27 | Finite Model Finding | L10, code | [11] | Proposal | |
| Nov 01 | Reasoning about Programs I | L11 | [12] | ||
| Nov 03 | No class, Instructor Broken | ||||
| Nov 08 | Reasoning about Programs II | L12 | [13] | ||
| Nov 10 | No class, Veterans Day | HW3 | HW2 | ||
| Nov 15 | No class, Project Hack Day! | ||||
| Nov 17 | Applications by Maaz Ahmad | L13 | |||
| Nov 22 | No class, Thanksgiving | ||||
| Nov 24 | No class, Thanksgiving | ||||
| Nov 29 | Symbolic Execution | L14 | [15] | ||
| Dec 01 | Angelic Execution | L15 | [16][17] | ||
| Dec 06 | Program Synthesis | L16 | [19] | ||
| Dec 08 | Project Demos | L17 | HW3, Demo, Report, Prototype |