Presentations
All publications are being made available under the Creative Commons “Attribution-ShareAlike” license.
FOAL 2012 Keynote - Towards Typesafe Join Points for Modular Reasoning in Aspect-Oriented Programs
At FOAL 2012, I gave a keynote talk on JPIs. You can access the slides here:
WODA 2011 – Proving static optimizations correct by proving Continuation Equivalence
Those are the slides for my talk at WODA 2011.
Festschrift for Lee Osterweil
I feel very honored to have been part of a honorary “Festschrift” event for Lee Osterweil. My talk was part of a session headed by Matt Dwyer, focusing on offsprings from Lee’s early work on typestate analysis. You can find my slides here in Keynote format (PDF here, large!).
ICSE 2011 talk on TamiFlex
Closure Joinpoints at AOSD 2011
This is my talk on Closure Joinpoints, the “Block Joinpoints without surprises”.
Clara Tutorial at RV 2010
This is the most extensive set of slides I have on the Clara framework. They are taken from a tutorial at the 1st International Conference on Runtime Verification.
Clara Research Talk at RV 2010
This talk focuses on the formal semantics of Dependency State Machines and how you can use them to prove static optimizations correct.
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.
Download the slides here in PPTX format (Powerpoint 2007).
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.
