Presentations
ICSE 2010 Talk on Hybrid Typestate analysis through Continuation-Equivalent States
This presentation explains the special challenges that arise when it comes to designing a static typestate analysis in such a way that it cannot only answer whether or not a program may violate a given typestate property but also identifies a minimized set of statements that could trigger the violation during runtime. The basic idea of the approach is to use a backwards analysis to determine for each statement s sets of states that are equivalent for all possible continuations of the control flow after s. Then, we use a forward analysis to deduce the possible states at s. If we can prove that s can only transition between states that are continuation-equivalent, then we can disable all transitions at s.
- Apple Keynote
- PDF (large!)
AOSD 2009 Talk on Dependent Advice
This presentation explains how to apply our flow-insensitive analysis (ECOOP 07) to history-based aspects in general.
- 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)
FSE 2008 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.
