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