Week 0 |
Th 09/24 |
|
Week 1 |
Tu 09/29 |
- Intro (continued)
- Slides: [ppt |
pdf]
|
Th 10/01 |
- Program Analysis
- Slides: [ppt |
pdf]
|
Week 2 |
Tu 10/7 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Th 10/9 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Week 3 |
Tu 10/13 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Th 10/15 |
- Program Representations
- Slides: [ppt |
pdf]
|
Week 4 |
Tu 10/20 |
|
Th 10/22 |
- Program Representations (continued)
- Slides: [ppt |
pdf]
|
Week 5 |
Tu 10/27 |
- Program Representations (continued)
- Slides: [ppt |
pdf]
|
Th 10/29 |
- Program Representations (continued)
- Interprocedural Analysis/Optimizations
- Slides: [ppt |
pdf]
|
Week 6 |
Tu 11/03 |
|
Th 11/05 |
|
Week 7 |
Tu 11/10 |
- Interprocedural Analysis/Optimizations
- Slides: [ppt |
pdf]
|
Th 11/12 |
- Interprocedural Analysis/Optimizations
- Slides: [ppt |
pdf]
|
Week 8 |
Tu 11/17 |
- Pointer Analysis
- Slides: [ppt |
pdf]
|
Th 11/19 |
|
Week 9 |
Tu 11/24 |
- Pointer analysis
- Slides: [ppt |
pdf]
|
Th 11/26 |
|
Week 10 |
Tu 12/01 |
- Pointer analysis (continued)
- Slides: [ppt |
pdf]
- Constraint-based analyses
- Slides: [ppt |
pdf]
|
Th 12/03 |
|