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