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

That was quite something

eric | December 19, 2007

IMG_0897 My December 16th/17th:

  • wondering for half of the day why British Airways does not cancel my flight
  • having a crazy cab ride to the airport, through 30cm of snow
  • arriving at a time where my flight had a supposed “15 minutes” delay
  • seeing almost all other flights cancelled
  • seeing dozens of luggage containers stuck in the snow
  • seeing luggage trucks stuck in snow
  • seeing my flight delayed for 1:15h
  • boarding the plane
  • waiting for another 4h (!!!) for two de-icing sessions (first engines for 3h, then wings for 1h right before lift-off)
    • listening to “reassuring” words of the pilot: “This gotta be the craziest snow storm since the beginning of aviation! Erm… but the Canadians know how to deal with this. I trust them!”
  • having a crazy lift-off
  • being glad to have survived the lift-off
  • dinner, funny movie, 2 1/2 of sleep
  • de-boarding plane in London
  • receiving a ticket for a connecting flight that is supposed to leave 20 minutes ago!
    • remembering the words “the luggage is already on that plane”
  • boarding plane literally in the last second
  • arriving in Duesseldorf and finding my luggage missing
  • being glad to finally be picked up by my girlfriend

My December 18th:

  • being glad to get my luggage delivered

So all in all, thanks British Airways for getting me out of there still on the same day, thanks for playing safe, even if it took time, thanks for getting me the fastest connecting flight in my personal history and thanks for delivering my luggage already on the next day!

Comments
No Comments »
Categories
Misc
Tags
Blizzard, Flight, Snow storm
Comments rss Comments rss
Trackback Trackback

Protected: Das war ein langer Tag…

eric | December 19, 2007

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


Comments
Enter your password to view comments
Categories
Montreal Blog
Tags
Blizzard, Flight, Montreal Blog, Snow storm
Comments rss Comments rss
Trackback Trackback

More snow…

eric | December 16, 2007

radar Ok, sometimes I can understand that the Canadians do not care so much about global warming… Just look at that radar image! Right in the middle used to be Montreal. Right now there’s just the largest snow cloud ever. The last Blizzard two weeks ago was serious, but if you compare to the image from then you will see that this time it’s even worse. Usually I really love the snow, but this time I had my flight to Germany scheduled for today. Well that’s going to be interesting…

Comments
No Comments »
Categories
Misc
Tags
Blizzard, Snow
Comments rss Comments rss
Trackback Trackback

Toronto 1 – Montreal 4 !!!

eric | December 15, 2007

imageYeah, Montreal Canadiens bet the Toronto Maple Leafs in a glamorous 1:4 ! Was there ever any doubt about who would win? ;-)

Go Habs Go!

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

Baird regrets ‘watered down’ climate deal

eric | December 15, 2007

imageCan you believe this guy? First, Baird fights like a crazy man trying to get any concrete reduction targets out of the agreements and now he regrets that this ‘watered down’ climate deal!? Hello??? Can you please start acting like a responsible person and not fool the entire world like that? Hopefully you remember when the first hurricane wipes out your house…

Comments
No Comments »
Categories
Misc
Tags
Climate, Random ranting
Comments rss Comments rss
Trackback Trackback

Protected: Ich habe fertig (fuer 2007)

eric | December 12, 2007

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


Comments
Enter your password to view comments
Categories
Montreal Blog
Comments rss Comments rss
Trackback Trackback

Proposal slides online

eric | December 12, 2007

image Hey, I just passed my Ph.D. proposal exam today! I decided to upload my slides, because apparently people enjoyed them a lot. You can get them from here.

Presentation Zen has a long list of good tips of how to design beautiful slides.

Comments
No Comments »
Categories
Research Blog
Tags
Bug finding
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

December 2007
M T W T F S S
« Nov   Jan »
 12
3456789
10111213141516
17181920212223
24252627282930
31  

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