Tentative
schedule. Subject to change!
|
Date |
Topics |
Reading |
Notes |
Assignments |
|
Week 1 |
Course Info Introduction |
|
|
|
|
Week 2 1/28,1/32 |
CFGs and Classical Compiler
Optimizations |
|
|
|
|
Week 3 2/4, 2/7 |
Intro to Dataflow Analysis,
Classical Dataflow Problems |
|
|
|
|
Week 4 2/11, 2/14 |
Dataflow Frameworks, Fixpoint Iteration |
|
|
|
|
Week 5 2/19, 2/21 |
More Dataflow Frameworks, Points-to Analysis |
|
|
|
|
Week 6 2/25, 2/28 |
Interprocedural Dataflow
Analysis, Class Analysis (CHA and RTA) |
|
|
|
|
Week 7 3/4, 3/7 |
Class Analysis, continued |
|
Take-home Midterm exam, due
3/21 |
|
|
Week 8 3/18, 3/21 |
Fundamentals of Software Testing |
|
||
|
Week 9 3/25, 3/28 |
Testing, continued |
|
||
|
Week 10 4/1, 4/4 |
Refactoring |
|
|
|
|
Week 11 4/8, 4/11 |
Types and Type-based Analysis |
|
|
Soot
Project: Phase 4 |
|
Week 12 4/15, 4/18 |
NO
CLASS |
|
|
Assignment 3 |
|
Week 13 4/22, 4/25 |
Web Applications and
Information Flow Analysis |
|
|
Assignment 4 |
|
Week 14 4/22, 4/25 |
Presentations |
|
|
|
|
Week 15 4/9, 5/2 |
Presentations |
|
|
|
|
Week 16 5/7 |
Presentations |
|
|
|