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