Eric Bodden Current conditions in Darmstadt: Scattered Clouds, 20°C
20°C

Easy and efficient software verification
  • rss
  • Home
  • Research
    • Publications
    • Presentations
    • 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
  • Tools
    • TamiFlex – a tool suite for taming reflection
    • 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

Protected: Von “ohne Licht”, Montreal, “Megantischen” Bergen und kleinen Voegelchen

Eric | September 25, 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
Mont Megantic, Montreal Blog, Wasserrohrbruch
Comments rss Comments rss
Trackback Trackback

Protected: Von Formel 1, Besuch aus Deutschland und einer Ueberdosis weisser Margarine

Eric | June 15, 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
Formula 1, FSE, ISSTA, Microsoft, Montreal Blog
Comments rss Comments rss
Trackback Trackback

False Friends

Eric | November 16, 2007

As I learned today, Beamer is not an English word. It must be one of those “germified” pseudo-English expressions like Handy. Believe it or not, we Germans say “Handy” if we mean a mobile phone! Now that I think about it: Why the hell? Ok, you can hold it in your hand but you can do that with a lot of things… Weird.

A Beamer (in German) is nothing else but a projector. I was actually had already convinced of the fact that Beamer is an English word because Beamer-latex is a latex package for slide presentations, to be shown on a projector. Well, turns out that it was written by another German ;-) There you go.

False friends are really hard to get rid of. I think it took me more than a year to get rid of the false correspondence between actually and “aktuell” (German for currently).

What’s your funniest or most annoying false friend?

Comments
No Comments »
Categories
Misc
Tags
Montreal Blog
Comments rss Comments rss
Trackback Trackback

Meeting Canadian astronaut Dave Williams

Eric | November 9, 2007

Dave WilliamsTonight I attended a special lecture by Dave Williams, McGill Alumni and Astronaut for the Canadian Space Agency who served on the STS-90 mission in 1998 (watch that photo! ;-) ) and the STS-118 “repair” mission this year. In his lecture he spent a lot of time walking us through his story about this last mission, backed by dozens of breathtaking images taken in outer space – truly impressive. He talked about quite some remarkable experiences he had up there, such as only being held to a spaceship by a small cord, while moving at 25 times the speed of sound, “lifting” a 600 pounds unit that needed replacement or fearing re-entry because of yet another damage to the hull plating. Another such experience was to drink Ice tea “from a bubble”. One experiment that he proposed for a later mission and which caused a lot of laughter was to place a fish in a big bubble of water and see what happens. Would the fish just be totally confused, “swim” out of the water and never find back or would it actually be able to perceive its environment well enough to identify the bubble of water as such and stay inside. Who knows? … interesting food for thought!

Comments
No Comments »
Categories
Misc
Tags
McGill, Montreal Blog
Comments rss Comments rss
Trackback Trackback

ISSTA

Welcome

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

Pages

  • Research
    • Publications
    • Presentations
    • 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
  • Tools
    • TamiFlex – a tool suite for taming reflection
    • 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

Colleagues

  • Gregory Prokopski
  • Laurie Hendren
  • Nomair Naeem
  • Ondrej Lhotak
  • Patrick Lam
  • Programming Tools Group, Oxford
  • Sable lab, McGill
  • Software Technology Group, Darmstadt

Kitchensink

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

Research projects

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

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
  • ICSE 2010
  • IEEE Transactions on Software Engineering (TSE)
  • International Journal of Image and Graphics
  • ISSTA 2011
  • NFM 2011
  • OOPSLA 2008
  • OOPSLA 2010
  • 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 other people I know

  • Adrian Colyer
  • Bruno Dufour
  • Dan North
  • Daniel Klink
  • Dave Thomas
  • Dean Wampler
  • Eric Tanter
  • 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
  • Master Sgt. Eric Bodden

Previous posts

July 2010
M T W T F S S
« Jun    
 1234
567891011
12131415161718
19202122232425
262728293031  

Tags

Alumni AOSD AspectJ Atlanta Blizzard Bug finding Clara COMP 621 Eclipse FSE Google ISSTA Java LinkedIn Mac McGill Microsoft Montreal Blog NASA OOPSLA Photos Politics Programming Quebec City Race detection Racer Random ranting Runtime verification RWTH Seattle Slides Snow storm Soot Soot Tutorial Static Analysis Strike TamiFlex 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