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

More snow

eric | January 31, 2008

image Yeah, the next snow storm is on its way! Should make for some lovely cross country skiing over the weekend!

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

Mont Saint Anne

eric | January 29, 2008

imageI put some photos from my snowboarding trip to Mont Saint Anne online.

Comments
No Comments »
Categories
Misc
Tags
Photos, Quebec, Ski trip, Vacation
Comments rss Comments rss
Trackback Trackback

A trojan horse…

eric | January 28, 2008

You can probably believe believe how astonished I was to find a three to 4 four meters high trojan horse standing in front of McGill’s McConnell Engineering Building today! It had a huge sticker on it, saying something about Queen’s University Engineering Society. Must have to do with a really old rivalry… Too bad, that I did not bring my camera. By the afternoon it was gone. I wonder who took it home ;-)

Comments
No Comments »
Categories
Misc
Tags
McGill, Queen's, Trojan horses
Comments rss Comments rss
Trackback Trackback

Protected: Von ueberall und nirgendwo

eric | January 23, 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
Austria, Belgium, London, Oxford, Vacation
Comments rss Comments rss
Trackback Trackback

New photos of my winter vacation

eric | January 23, 2008

I spent the last few weeks touring through middle Europe. First I visited my friend Christian in Austria. New Year’s Eve I then spent wit my girlfriend and friends in De Haan, Belgium. A week later we went to Gornhausen with my ex fellow students for some yummy wine tasting. I finished off the tour with a visit to Oege de Moor’s Programming tools Group at Oxford, spending my last day in London.

image

image image 

 

 

 

 

 

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

My visit at Oxford University

eric | January 17, 2008

image How do you know that you are in England? At the latest when you read a sign saying “The milk is to be drunk within tea or coffee and not by the cup!“, I would say :-)

Wednesday I arrived in Oxford. Oege de Moor had accommodated my in a beautiful guest room in Magdalen College. The room is really unique (especially the bed). There were some books from the 19th century on the shelf! Next morning when I woke up I was greeted (well, not literally) with music from a choir that was exercising downstairs.

Nice place they have here!

Comments
No Comments »
Categories
Misc
Tags
Oxford, Vacation
Comments rss Comments rss
Trackback Trackback

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

January 2008
M T W T F S S
« Dec   Feb »
 123456
78910111213
14151617181920
21222324252627
28293031  

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