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