Eric Bodden Current conditions in Darmstadt: Broken Clouds, 6°C (feels like 3°C)
6°C

Easy and efficient software verification
  • rss
  • Home
  • Research
    • Past Research
      • Efficient Runtime Verification
      • Racer: Effective Race Detection Using AspectJ
      • Continuation-equivalent states (ICSE 2010)
      • Aspect-oriented programming and design
      • Visual specification languages
      • A denial-of-service attack on the Java bytecode verifier
    • Publications
    • Presentations
  • Tools
    • Clara: Compile-time Approximation of Runtime Analyses
    • RacerAJ (for race detection)
    • An introduction to Soot 2.2.5
    • Aspect-oriented approaches targeting the .NET Framework
  • Teaching
    • Automated Software Engineering
    • Software-Engineering Project
    • COMP 520
    • COMP 621
  • Legacy
    • Bad Sector Recovery on NTFS
    • Arithmetic Coding
    • PHP Scripts
  • About me
  • Photos

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.

  • 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)

    imageimageimage

     

     

     

     

     

    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)

     imageimageimage

     

     

     

     

     

    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…

    image image image
    image image image

    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.

  • Comments rss
    Comments rss
    Trackback
    Trackback

    Leave a Reply

    Click here to cancel reply.

    Welcome

    Welcome to my website. Interested in my research? Click here for details or jump directly to my publications.

    Pages

    • Research
      • Past Research
        • Continuation-equivalent states (ICSE 2010)
        • Efficient Runtime Verification
        • Racer: Effective Race Detection Using AspectJ
        • Aspect-oriented programming and design
        • Visual specification languages
        • A denial-of-service attack on the Java bytecode verifier
      • Publications
      • Presentations
    • Tools
      • Clara: Compile-time Approximation of Runtime Analyses
      • RacerAJ (for race detection)
      • An introduction to Soot 2.2.5
      • Aspect-oriented approaches targeting the .NET Framework
    • Teaching
      • Automated Software Engineering
      • Software-Engineering Project
      • COMP 520
      • COMP 621
    • Legacy
      • Arithmetic Coding
      • Bad Sector Recovery on NTFS
      • PHP Scripts
    • About me

    Categories & Feeds

    • Misc RSS Feed Icon (89)
    • Montreal Blog RSS Feed Icon (44)
    • Research Blog RSS Feed Icon (67)
    • Comments (RSS) RSS Feed Icon

    Kitchensink

    • Conferences
    • My first patent: Method and system for performance profiling of software (pending)
    • Photos

    Research projects

    • AspectBench Compiler (abc)
    • J-LO
    • Soot
    • Stratified aspects

    Service

    • AOSD 2006
    • AOSD 2007
    • AOSD 2010
    • AOSD 2011
    • Association of Alumni, Friends, and Supporters of the RWTH Aachen University in North America
    • ATVA 2008
    • ECOOP 2008 Doctoral Symposium
    • ECOOP 2010
    • FOAL 2010
    • IEEE Transactions on Software Engineering (TSE)
    • International Journal of Image and Graphics
    • ISSTA 2011
    • OOPSLA 2008
    • PEPM 2008
    • PLDI 2006
    • PLDI 2008
    • RV 2007
    • RV 2009
    • RV 2010
    • SEFM 2005
    • SEFM 2008
    • Transactions on Software Engineering and Methodology (TOSEM)
    • VMIL 2008
    • VMIL 2009

    Some of my colleagues

    • Gregory Prokopski
    • Laurie Hendren
    • Nomair Naeem
    • Ondrej Lhotak
    • Patrick Lam
    • Programming Tools Group
    • Sable lab

    Some other people I know

    • Adrian Colyer
    • Bruno Dufour
    • Dan North
    • Daniel Klink
    • Dave Thomas
    • Dean Wampler
    • Friedrich Steimann
    • Joachim Kneis
    • Klaus Havelund
    • Liz Keogh
    • Malte Clasen
    • Markus Schorn
    • Pascal Costanza
    • Patricia Jablonski
    • Philip Mayer
    • Ron Bodkin
    • Sven Wittig
    • Wiebke Berg

    Some people not to confuse me with

    • Eric B. the terrorist
    • Eric Bodden the basketball player
    • Eric Bodden the chef who sunk
    • Eric Christopher Bodden
    • Noel R. Lopez alias Eric Bodden

    Previous posts

    March 2010
    M T W T F S S
    « Feb    
    1234567
    891011121314
    15161718192021
    22232425262728
    293031  

    Tags

    Alumni AspectJ Atlanta Blizzard Bug finding Clara COMP 621 Eclipse Flight FSE Google ISSTA Java LinkedIn Mac McGill Microsoft Montreal Blog OOPSLA Oxford Photos Politics Programming Quebec City Race detection Racer Random ranting Runtime verification RWTH Seattle Ski trip Snow Snow storm Soot Soot Tutorial Static Analysis Strike TA strike Thesis tracematches Typestate Vacation Website Winter carnival Wordpress


    rss Comments rss valid xhtml 1.1 design by jide powered by Wordpress get firefox