Week 1 |
Mon 10/01 |
|
Wed 10/03 |
- Intro (continued)
- Program Analysis
- Slides: [ppt |
pdf]
|
Week 2 |
Mon 10/08 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Wed 10/10 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Week 3 |
Mon 10/15 |
- Class Cancelled (instructor sick)
- No slides
|
Wed 10/17 |
- Guest lecture on BLAST (Program Analysis and Software Reliability)
- Slides: [ppt]
|
Week 4 |
Mon 10/22 |
- Class Cancelled (campus closed due to wildfires)
- No slides
|
Wed 10/24 |
- Class Cancelled (campus closed due to wildfires)
- No slides
|
Week 5 |
Mon 10/29 |
- Program Analysis (continued)
- Slides: [ppt |
pdf]
|
Wed 10/31 |
- Program Analysis (continued)
- Program Representations
- Slides: [ppt |
pdf]
|
Week 6 |
Mon 11/05 |
- Program Representations (continued)
- Slides: [ppt |
pdf]
|
Wed 11/07 |
- Class Cancelled (instructor out of town)
- No slides
|
Week 7 |
Mon 11/12 |
- Veteran's day (No class)
- No slides
|
Wed 11/14 |
- Mid-term Project presentations
- No slides
|
Week 8 |
Mon 11/19 |
- Program Representations (continued)
- Interprocedural Analysis
- Slides: [ppt |
pdf]
|
Wed 11/21 |
- Interprocedural Analysis (continued)
- Slides: [ppt |
pdf]
|
Week 9 |
Mon 11/26 |
- Interprocedural Analysis (continued)
- Slides: [ppt |
pdf]
|
Wed 11/28 |
- Interprocedural Analysis (continued)
- Pointer Analysis
- Slides: [ppt |
pdf]
|
Week 10 |
Mon 12/03 |
- Pointer Analysis (continued)
- Program Analysis for Software Reliability
- Slides: [ppt |
pdf]
|
Wed 12/05 |
- Program Analysis for Software Reliability (continued)
- Recap and Conclusion
- Slides: [ppt |
pdf]
|