Week 0 |
Th 09/25 |
|
Week 1 |
Tu 09/30 |
- Intro (continued)
- Program Analysis
- Slides: [ppt |
pdf]
|
Th 10/02 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Week 2 |
Tu 10/7 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Th 10/9 |
|
Week 3 |
Tu 10/14 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Th 10/16 |
- Program Representations
- Slides: [ppt |
pdf]
|
Week 4 |
Tu 10/21 |
|
Th 10/23 |
- Program Representations (continued)
- Slides: [ppt |
pdf]
|
Week 5 |
Tu 10/28 |
|
Th 10/30 |
- Program Representations (continued)
- Interprocedural Analysis/Optimizations
- Slides: [ppt |
pdf]
|
Week 6 |
Tu 11/04 |
- Interprocedural Analysis/Optimizations
- Slides: [ppt |
pdf]
|
Th 11/06 |
- Interprocedural Analysis/Optimizations (continued)
- Slides: [ppt |
pdf]
|
Week 7 |
Tu 11/11 |
|
Th 11/13 |
- Project mid-term presentations
|
Week 8 |
Tu 11/18 |
- Pointer Analysis
- Slides: [ppt |
pdf]
|
Th 11/20 |
- Pointer Analysis (continued)
- Correctness
- Slides: [ppt |
pdf]
|
Week 8 |
Tu 11/25 |
- Constraint-based analyses
- Slides: [ppt |
pdf]
|
Th 11/27 |
|
Week 8 |
Tu 12/02 |
|
Th 11/04 |
|