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

Descent of the Phoenix Lander

eric | May 28, 2008

image I am truly amazed by this picture of the Phoenix Lander, parachuting down to the surface of Mars. Not only does this image come from a planet that’s damn far away, the photo was also shot from an incredibly large distance. MRO was 760km away from the lander when it took this shot. I would like a camera like that!

 

imageThis second image is not less remarkable, showing the lander itself (top left), the discarded heat shield (middle) and the parachute (bottom left).

Comments
No Comments »
Categories
Misc
Tags
Mars, NASA, Phoenix, Photo
Comments rss Comments rss
Trackback Trackback

Heroin against cough?

eric | May 24, 2008

BayerHeroin It’s really true: you live and learn! Today I browsed Wikipedia to look up Aspirin, only to find out that the produce Bayer once advertised Heroin as cough medicine!!! Look at the ad! Well, who knows – it probably really helps, but that’s one of the few things I’d rather not wanna figure out by myself though.

Comments
No Comments »
Categories
Misc
Tags
Aspirin, Bayer, Heroin
Comments rss Comments rss
Trackback Trackback

Why God Never Got Tenure

eric | May 24, 2008

image Credits go to this webpage ;-)

  1. He had only one major publication.
  2. It was in Hebrew.
  3. It had no references.
  4. It wasn’t published in a refereed journal.
  5. Some even doubt he wrote it himself.
  6. It may be true that he created the world, but what has he done since then?
  7. His cooperative efforts have been quite limited.
  8. The scientific community has had a hard time replicating his results.
  9. He never applied to the Ethics Board for permission to use human subjects.
  10. When one experiment went awry he tried to cover it up by drowning the subjects.
  11. When subjects didn’t behave as predicted, he deleted them from the sample.
  12. He rarely came to class, just told students to read the Book.
  13. Some say he had his son teach the class.
  14. He expelled his first two students for learning.
  15. Although there were only ten requirements, most students failed his tests.
  16. His office hours were infrequent and usually held on a mountaintop.
Comments
No Comments »
Categories
Research Blog
Comments rss Comments rss
Trackback Trackback

varargs is patented!?

eric | May 23, 2008

imageVarargs is a feature that allows you to pass a variable-length list of arguments to a method, e.g. in Java 5. The implementation in Java boxes these arguments automatically into an array, which makes the implementation backwards compatible. As I just found out, this technique has actually been patented by HP. Interesting… I wonder whether Sun actually licensed that technology for Java somehow.

Comments
No Comments »
Categories
Research Blog
Tags
Java, Patent
Comments rss Comments rss
Trackback Trackback

Unbelievable! Robert Muraine on "So you think you can dance?"

eric | May 23, 2008

Check out this guy, Robert Muraine, a “Popper” from LA. He so gotta be not from this world… Unbelievable!

Montreal auditions start on Tuesday ;-)

Comments
No Comments »
Categories
Misc
Tags
Dance, Robert Muraine, Street Popper
Comments rss Comments rss
Trackback Trackback

Protected: Von brennenden Autos, Weltumrundungen und "Dooring"

eric | May 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
Burning cars, BzzzClip, Dooring, Strike
Comments rss Comments rss
Trackback Trackback

Better not have a bike accident in Quebec

eric | May 17, 2008

image“Dooring” is a popular sport in Quebec and involves sitting and waiting in your car until an innocent biker rides by and then opening the door just at the right second so to cause maximal damage to the biker and his bike, probably even at risk of damaging your own car.

Happened to me right today in Montreal. The result: I injured my knee and my bike is partially damaged. The car’s door now has a huge dent, so at least this moron gets to suffer a bit too. The “funny” thing is that Quebecers apparently like dooring so much that they have decided that it’s not necessary to provide the poor biker with any kind of compensation! Both the car driver and the police that I called made it almost look like it was my own fault to drive close to a parked car!!! How can I dare to drive not in the middle of the road but on the right-hand side? Excuuuuuse me!??

Read the rest of this entry »

Comments
1 Comment »
Categories
Misc
Tags
accident, Bike, Dooring
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

May 2008
M T W T F S S
« Apr   Jun »
 1234
567891011
12131415161718
19202122232425
262728293031  

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