Course Calendar

Subscribe to this calendar: iCal or Google.

Date Topic Slides Reading Assigned Due
Mar 28 Introduction & SAT Solving L01 [1]    
Mar 30 A Modern SAT Solver L02 [2][3]    
Apr 04 Applications of SAT L03 [4] HW1  
Apr 06 SAT Modulo Theories L04 [5]    
Apr 11 A Survey of Theory Solvers L05, cc.rkt [6]    
Apr 13 Combining Theories L06 [7]    
Apr 18 The DPLL(T) Framework L07 [8]    
Apr 20 Finite Model Finding L08 [9] HW2 HW1
Apr 25 Reasoning about Programs I L09 [10]    
Apr 27 Reasoning about Programs II L10 [11]   Proposal
May 02 Verification L11 [12]    
May 04 Bounded Verification L12 [13][14][15] HW3 HW2
May 09 No class, hack day!        
May 11 No class, hack day!        
May 16 Symbolic Execution L13 [16]    
May 18 Angelic Execution L14 [17][18][19]    
May 23 Program Synthesis L15 [20]   HW3
May 25 Solver-Aided Languages L16 [21]    
May 30 Solver-Aided Applications L17 [22]    
Jun 01 Project Demos L18     Demo, Report, Prototype