Eric Bodden Current conditions in Darmstadt: Broken Clouds, 1°C (feels like -2°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

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

Crashing javac

eric | April 18, 2008

As I am preparing to hold COMP 520 in Fall, I just read through Michael Schwarzbach’s excellent new version of this lecture. He has one set of exercises on name resolution containing this funny example:

public class java {
    public class lang {
        public class Object {}
    }
}

Give this code to javac and it will bail on you:

mucuna /tmp $ javac java.java
An exception has occurred in the compiler (1.6.0_05). Please file a bug at the
Java Developer Connection (http://java.sun.com/webapps/bugreport) after checking
the Bug Parade for duplicates. Include your program and the following diagnostic
in your report.  Thank you.
java.lang.NullPointerException
at com.sun.tools.javac.comp.Flow.visitIdent(Flow.java:1214)
at com.sun.tools.javac.tree.JCTree$JCIdent.accept(JCTree.java:1547)

Funny, eh?

Comments
No Comments »
Categories
Research Blog
Tags
bugs, Java, name resolution, type checking
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

AOSD 2008 at Brussels

eric | April 10, 2008

IMG_1449I just returned from a trip to Germany and to AOSD 2008 in Brussels. It was truly a great conference. The research talks were almost all really interesting, I did some great networking and the social program was absolutely outstanding (I just say chocolate tasting and beer tasting!). Some of the talks that I enjoyed most were Aspect Oriented Test Case Instantiation by Benz and the keynotes by Daniel Wiese and Philip Wadler (Mr. “Super-Lambda”). Unfortunately I missed the third keynote because of the social events in the night before ;-)

IMG_1514I stayed a few days longer to visit the Programming Technology Lab at VUB, specifically Charlotte Herzeel and Pascal Costanza. Thanks for having me and thanks for all the interesting discussions!

I uploaded some photos to my gallery. In the next days I will be adding photos from our RWTH Alumni meeting which I am currently attending in Atlanta. 

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

April 2008
M T W T F S S
« Mar   May »
 123456
78910111213
14151617181920
21222324252627
282930  

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