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 ganz viel Besuch und einer fast fertigen Dissertation

Eric | May 31, 2009

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


Comments
Enter your password to view comments.
Categories
Montreal Blog
Tags
Alumni, Dissertation, Lena, Marieluise, RWTH
Comments rss Comments rss
Trackback Trackback

Final Program for Alumni Meeting

Eric | May 7, 2009

We have just finalized the program for our meeting next week. You can download the program here. In case you wonder whether you can still sign up – yes, absolutely! Just drop me a line.

Comments
No Comments »
Categories
Misc
Tags
Alumni, Meeting, RWTH
Comments rss Comments rss
Trackback Trackback

Einladung zum Jahrestreffen der RWTH Alumni Nordamerika in Montreal

Eric | February 6, 2009

image Liebe Alumnae und Alumni,

das nächste Jahrestreffen unserer RWTH Alumni Vereinigung wird vom 15. bis 17. Mai in Montréal stattfinden. Bitte merkt Euch diesen Termin vor. Im Mai ist Montréal normalerweise schneefrei und angenehm warm.

Montréal hat als eine der ältesten Städte Amerikas eine reiche Kultur und hat sicherlich für jeden etwas zu bieten. Kulinarisch sucht die Stadt mit ihrer internationalen und französisch geprägten Küche in Amerika sicherlich ihresgleichen. Strassen wie die Rue St. Denis und der Boulevard Mont Royal laden mit Ihren kleinen Läden zum ausgiebigen Bummeln ein.

Die Seite http://www.tourisme-montreal.org/ ist sehr zu empfehlen und gibt einen guten Überblick. Kulturelles Highlight ist sicherlich der Old Port, an dem immer noch einige Gebäude aus der Siedlerzeit bestaunt werden können. Obwohl Französisch dort offizielle
Landessprache ist, kommt man auch mit Englisch überall gut zurecht.

Read the rest of this entry »

Comments
No Comments »
Categories
Misc
Tags
Alumni, Meeting, RWTH
Comments rss Comments rss
Trackback Trackback

Offizieller Bericht zum dritten Jahrestreffen der North American Alumni Organisation der RWTH Aachen

Eric | May 1, 2008

Das Jahrestreffen 2008 der RWTH Alumni America wurde ausgerichtet von Alumni Gerd Schroth und seiner Frau Waltraut. Das Treffen war hervorragend organisiert und alle Teilnehmer sprechen den beiden Ihren Dank aus. Auf dem Programm standen dieses Jahr die folgenden Highlights:

  • clip_image002Freitags: „Hinter den Kulissen Tour“ am Flughafen Atlanta
  • Besichtigung des Operations Control Center der World Headquarters von Delta Airlines
  • Führung durch einige der architektonischen Highlights, insbesondere mehrerer Hotels erbaut von John Portman und des Fox Theatres
  • ein Grillabend zu Hause bei Familie Schroth
  • Samstags dann: Tour durch das CNN Centre
  • Tour durch das Georgia Aquarium
  • Empfang und Dinner mit dem Chairman der Deutsch-Amerikanischen Handelskammer, Dr. Eike Jordan, im Capital City Country Club Brookhaven.
  • Sonntags: Besteigung des Stone Mountain auf eigene Faust

Trotz der erheblichen Flugverspätungen durch American Airlines in dieser Woche schafften es zum Glück fast alle Teilnehmer wohlbehalten nach Atlanta, so dass wir mit 32 Teilnehmern mit der bisher grössten Teilnehmerzahl aufwarten konnten.

Read the rest of this entry »

Comments
No Comments »
Categories
Misc
Tags
Alumni, Atlanta, CNN, Delta Airlines, RWTH
Comments rss Comments rss
Trackback Trackback

Protected: Von Aachen, Bruessel, Atlanta und Sommer

Eric | April 22, 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
Alumni, Atlanta, Brussels, Montreal Blog, Snow, tam tams
Comments rss Comments rss
Trackback Trackback

Annual meeting of the RWTH NAAA in Atlanta

Eric | April 14, 2008

Last weekend I attended the annual meeting of the Association of Alumni, Friends, and Supporters of the RWTH Aachen University in North America, this time in Atlanta, Georgia. The meeting was organized by our local fellow Gerd Schroth. The organization was excellent, so thanks a lot for that!

imageWe visited the Hartsfield/Jackson Airport (Delta Airlines’ main hub), the Delta world headquarters and its Operation Control Centre and had a guided tour of some architectural highlights (including the Hyatt and Marriott Hotels which each have a gigantic atrium, and the Fox Theatre, which has a very unique style because it was once built for the Shriners).

 

 

image We finished up the first day with a fabulous German dinner at the Schroths’ place.

 

 

 

 

imageOn Saturday we visited the CNN world headquarters and the Georgia Aquarium. This night’s dinner took place at the Capital City Club Brookhaven.

 

 

 

 

image Rainer Schuhmann both stayed until Monday and so had enough time to climb Stone Mountain on Sunday afternoon. What a great view!

And all that for only rundabout 150$! Isn’t that a great deal? So if you are an RWTH Alumni and live in the U.S., Canada or Mexico next time there can be no excuse for not joining us ;-)

Comments
No Comments »
Categories
Misc
Tags
Alumni, Aquarium, Atlanta, RWTH, Stone Mountain
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