Tentative Schedule
Week 1
(8/19)
Introduction
Slides
Program representation
Slides
Week 2
(8/26)
Dynamic analysis
Slides
Week 3
(9/2)
Static analysis
Slides
Week 4
(9/9)
Symbolic analysis and testing
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