Eric Bodden Current conditions in Darmstadt: Cloud and Visibility OK, 4°C (feels like -1°C)
4°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

Whale watching at Tadoussac

eric | August 30, 2008

Last week I went to Tadoussac for whale watching. Lessons learned….

vonDaniel 095

 

1.) August is a great time to watch whales (sun) , but

 

 

 

vonDaniel 069

2.) the McGill Outdoor Club’s notion of a three-person tent is not the same as ours. ;-)

(And who the hell is supposed to sleep comfortably on that thermarest?)

 

More photos here.

Comments
2 Comments »
Categories
Misc
Tags
Tadoussac, Whales
Comments rss Comments rss
Trackback Trackback

Fantastic Graffiti in Old Montreal

eric | August 30, 2008

image

Montreal is quite big but I cannot believe that it took me eight months to discover this new addition to Montreal’s public art scene. Montreal Graffiti Artist Jasmin Guerard-Alie painted this fantastic graffiti as part of a challenge by the City of Montreal. Martin Ujlaki has more about it.

Comments
No Comments »
Categories
Misc
Tags
Graffiti
Comments rss Comments rss
Trackback Trackback

Using the Soot Eclipse plugin

eric | August 30, 2008

After my last tutorial on using Soot on the command line, this is the second of a series of blog posts about frequently asked questions with using Soot. Today’s topic will be on Soot’s eclipse plugin.

Read the rest of this entry »

Comments
6 Comments »
Categories
Research Blog
Tags
Eclipse, Plugin, Soot, Soot Tutorial
Comments rss Comments rss
Trackback Trackback

Protected: Von Henkern, Walen und komischen anderen Tieren

eric | August 29, 2008

This post is password protected. To view it please enter your password below:


Comments
Enter your password to view comments
Categories
Montreal Blog
Tags
bike tour, market, Tadoussac, Wale, Whale, Whale-watching
Comments rss Comments rss
Trackback Trackback

First steps using Soot 2.3.0 as a command-line tool

eric | August 21, 2008

This is the first of what will be a series of blog posts about frequently asked questions with using Soot. I will try to cover different topics like using Soot from the command line, as a framework and in form of its Eclipse plug-in. This is basically a user-friendly digested version of all the fabulous Soot tutorials that we have online already. Today’s topic will be on Soot’s command line and phase options.

    Read the rest of this entry »
Comments
5 Comments »
Categories
Research Blog
Tags
Soot, Soot Tutorial
Comments rss Comments rss
Trackback Trackback

Protected: Von Caro, frankophonen Gesaengen, Shakespeare, unserer neuen Wohnung und 300 Sendern (nicht)

eric | August 17, 2008

This post is password protected. To view it please enter your password below:


Comments
Enter your password to view comments
Categories
Montreal Blog
Tags
Caro, Frankofolies, Shakespeare, Videotron, Wohnung
Comments rss Comments rss
Trackback Trackback

Protected: Von Microsoft, Seattle und der ISSTA Konferenz

eric | August 17, 2008

This post is password protected. To view it please enter your password below:


Comments
Enter your password to view comments
Categories
Montreal Blog
Tags
ISSTA, Microsoft, MSR, Seattle
Comments rss Comments rss
Trackback Trackback

« Previous Entries

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

August 2008
M T W T F S S
« Jul   Sep »
 123
45678910
11121314151617
18192021222324
25262728293031

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