Week 0 |
Th 09/21 |
|
Week 1 |
Tu 09/26 |
- Intro (continued)
- Program Analysis
- Slides: [ppt | pdf]
|
Th 09/29 |
- Program Analysis (continued)
- Slides: [ppt | pdf]
|
Week 2 |
Tu 10/03 |
- Program Analysis (continued)
- Slides: [ppt | pdf]
|
Th 10/05 |
|
Week 3 |
Tu 10/10 |
|
Th 10/12 |
- Program Representations
- Slides: [ppt | pdf]
|
Week 4 |
Tu 10/17 |
- Program Representations (continued)
- Slides: [ppt | pdf]
|
Th 10/19 |
- Class cancelled (instructor had no voice)
|
Week 5 |
Tu 10/24 |
- Program Representation (continued)
- Interprocedural Analysis
- Slides: [ppt|
pdf]
|
Th 10/26 |
- Interprocedural Analysis (continnued)
- Slides: [ppt|
pdf]
|
Week 6 |
Tu 10/31 |
- Interprocedural Analysis (continued)
- Slides: [ppt|
pdf]
|
Th 11/02 |
- Pointer Analysis
- Slides: [ppt|
pdf]
|
Week 7 |
Tu 11/07 |
- Pointer Analysis (continued)
- Slides: [ppt|
pdf]
|
Th 11/09 |
- Mid-term Project presentations
- No slides
|
Week 8 |
Tu 11/14 |
- Ordering Analyses and Transformations
- Slides: [ppt|
pdf]
|
Th 11/16 |
- Correctness
- Slides: [ppt|
pdf]
|
Week 9 |
Tu 11/21 |
- Optimizing Object Oriented languages
- Slides: [pdf]
|
Th 11/23 |
|
Week 10 |
Tu 11/28 |
- Program Analysis and Software Reliability
- Slides: [ppt|
pdf]
|
Th 11/30 |
|