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