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

Finaaaaale!

eric | June 25, 2008

image

We made it!!!! Awesome guys! (dance) And a big BOOOO for the guy who unplugged the transmission cable in Vienna!  @=

Comments
No Comments »
Categories
Misc
Comments rss Comments rss
Trackback Trackback

University ranking the Google way

eric | June 22, 2008

As I read today, Google has added website traffic statistics to Google Trends. I thought it may be interesting to compare the major Canadian universities…

image

As you can see both McGill and the University of Toronto clearly dominate the picture. Interestingly their traffic seems to follow the same pattern with a clear lack of interest in the early summer months and a peak in the fall (enrollment time?). Second is Vancouver’s UBC, followed by the University of Waterloo and Queen’s.

Read the rest of this entry »

Comments
No Comments »
Categories
Misc
Tags
Google, Google Trends, McGill
Comments rss Comments rss
Trackback Trackback

Skype emoticons for wordpress

eric | June 20, 2008

I just installed (skype) emoticons for Wordpress. Isn’t that great? No I can be much more concise when I write my blog entries, such as: (flag:de) (yes) — (flag:tr) (no) ;-)

Comments
1 Comment »
Categories
Misc
Tags
Eurocup, Skype, Wordpress
Comments rss Comments rss
Trackback Trackback

Bodden.de now PicLens enabled!

eric | June 19, 2008

PicLens view of my galleryJust after installing Firefox 3 yesterday I stumbled upon PicLens, a really fun image viewer which integrates nicely into firefox with this plugin. My webpage and gallery are now PicLens-enabled which means that after you installed the PicLens plugin all you have to do is move to my webpage or to one of the albums in my gallery and hit the little PicLens button at the top: image

Note: Before you click, you have to wait until it turns blue. On my home page that might take a couple of seconds because the plugin will load information about all the images in my gallery. If you move to a single album in my gallery only the images in this album will be shown when you hit the image button.

If you want to PicLens-enable your own Gallery2, you can download picLensRss.php here.

Have fun! I will ;-)

Comments
No Comments »
Categories
Misc
Tags
Gallery, Photos, PicLens
Comments rss Comments rss
Trackback Trackback

TAs End Strike by 91.5%, Reject Administration Back-to-Work Offer by 97.5%

eric | June 19, 2008

For those of you who have been following news about the TA Strike…

AGSEM writes:

In a General Assembly held [yesterday], a landslide 91.5% vote by McGill’s teaching assistants ended their 72-day strike. TAs are eager to return to work now that the parties have agreed on a collective agreement.

At the same time, TAs voted by an even stronger margin–97.5%–to reject the Administration’s Back-to-Work Protocol tabled [yesterday] morning. Members refused to accept a protocol that would inadequately address the TAs fired and suspended from their on-campus employment and would rather return to work and let their cases proceed in court.

Comments
No Comments »
Categories
Misc
Tags
McGill, Strike, TA strike
Comments rss Comments rss
Trackback Trackback

A monitoring solution to the data races in the JDK

eric | June 16, 2008

A few days ago I blogged about a few really subtle data races that can easily be triggered in the JDK, when invoking methods like containsAll on synchronized (!) collections. In the following code you can get a race on sl2 because sl1.containsAll(sl2) synchronizes on sl1 only, not on the argument sl2!

List sl1 = Collections.synchronizedList(new ArrayList());
List sl2 = Collections.synchronizedList(new ArrayList());
sl1.containsAll(sl2);


Here are now two easy aspect-oriented solutions to this problem, first in form of a tracematch, then in form of a normal AspectJ aspect. You can download the tracematch here and the plain AspectJ aspect here.

Read the rest of this entry »

Comments
No Comments »
Categories
Research Blog
Tags
AspectJ, Bug finding, Data races, tracematches
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

« 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

June 2008
M T W T F S S
« May   Jul »
 1
2345678
9101112131415
16171819202122
23242526272829
30  

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