== Tentative Schedule ==  
  ***Week 1** (8/19)
    *Introduction[[http://www.cs.purdue.edu/homes/xyzhang/fall19/1-introduction-new.pdf|Slides]]
    *Program representation[[http://www.cs.purdue.edu/homes/xyzhang/fall19/2-representation.pdf|Slides]]
  ***Week 2** (8/26)
    *Dynamic analysis[[http://www.cs.purdue.edu/homes/xyzhang/fall19/3-dynamic.pdf|Slides]] 
  ***Week 3** (9/2)
    *Static analysis[[http://www.cs.purdue.edu/homes/xyzhang/fall19/4-static-analysis.pdf|Slides]]
  ***Week 4** (9/9)
    *Symbolic analysis and testing[[http://www.cs.purdue.edu/homes/xyzhang/fall19/5-symbolic.pdf|Slides]]
  ***Week 5** (9/16)
    *Verification
  ***Week 6** (9/23, instructor travel)
    *Paper discussion
  ***Week 7** (9/30)  
    *Paper discussion
  ***Week 8** (10/7, October break on 7 and 8)
    *Project proposal presentations (10 mins each)
  ***Week 9** (10/14, midterm)
    *Paper discussion
  ***Week 10** (10/21)
    *Paper discussion
  ***Week 11** (10/28)
    *Paper discussion
  ***Week 12** (11/4, instructor travels)
    *Paper discussion
  ***Week 13** (11/11, instructor travels) 
    *Paper discussion
  ***Week 14** (11/18)
    *Paper discussion
  ***Week 15** (11/25, 27-30 thanksgiving break)
    *Paper discussion
  ***Week 16** (12/2) 
    *Project presentations and demos