Presentations
AOSD 09 Talk on Dependent Advice
This presentation explains how to apply our flow-insensitive analysis (ECOOP 07) to history-based aspects in general.
FSE 08 Talk on “Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time”
This presentation explains our approach to flow-sensitive intra-procedural optimization of tracematches and subsequent filtering of false positives. You can find the related paper here.
- Powerpoint 2007 (best viewer experience, you can download the free viewer here)
- Powerpoint 2003 (looks almost as good, but is a much larger file)
- PDF (no animations)
Ph.D. Proposal Talk: Detecting non-local violations of API contracts in large software systems
This is the presentation I gave for my Ph.D. proposal Exam on December 12th, 2007. I passed, so the slides cannot be that awful 
I tried to keep the slides very accessible to a broad audience. Those are the download links:
- Powerpoint 2007 (best viewer experience, you can download the free viewer here)
- Powerpoint 2003 (looks almost as good, but is a much larger file)
- Open Document Format (just converted from Powerpoint; pretty buggy still)
- PDF (no animations)
This is a short preview…
 |
 |
 |
 |
 |
 |
Prelude Talk: Detecting non-local violations of API contracts in large software systems
This is a presentation that I gave at the Prelude seminar series at McGill. It’s a seminar series organized by grad students for grad students (all in CS). The talk is very high-level and tries to present my current research for people who are not necessarily familiar with program analysis. It uses slides simlar to my proposal talk but cuts down on the technical stuff.
You can download the free viewer here. As an alternative, I have a less fancy PDF version here.
External Link: Presentation Zen
Presentation Zen has a long list of good tips of how to design beautiful slides.
