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

eric | February 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
Ice hotel, Quebec City, Ski trip, Winter carnival
Comments rss Comments rss
Trackback Trackback

New photos…

eric | February 17, 2008

image Yesterday I went to see the Hotel de glace and the Quebec City Winter Carnival, which was extraordinarily large this year, due to the 400-years celebrations.

Comments
No Comments »
Categories
Misc
Tags
Ice hotel, Photos, Quebec City, Winter carnival
Comments rss Comments rss
Trackback Trackback

Google Docs goes Valentine!

eric | February 14, 2008

image Apparently, somebody’s in love at Google ;-)

Comments
No Comments »
Categories
Misc
Tags
Google, Valentine's Day
Comments rss Comments rss
Trackback Trackback

COMP 621 project proposals

eric | February 13, 2008

image I have put two project proposals for COMP 621 online. The last project I supervised was a real success, as it will get published at AOSD this year (see posting below). I hope you feel inspired by my proposals. If you wish to do something similar that does not quite fit the description or if you want to do something entirely different, that’s of course fine too.

Comments
No Comments »
Categories
Misc
Tags
COMP 621
Comments rss Comments rss
Trackback Trackback

Relational Aspects as Tracematches

eric | February 10, 2008

image You might remember my previous post (or that one) about relational aspects. As I mentioned there, relational aspects allow you to associate certain objects with an aspect and execute pieces of advice in this aspect in the context of these objects.

We have now published the final camera ready version of our AOSD 2008 submission. There we show in particular how relational aspects can be implemented using tracematches. Further, we show you what relational tracematches are, and we give examples of how use both, relational aspects and tracematches, such as caching or the observer pattern. You can grab the AOSD paper directly from here. Or, in case you are interested in all the nifty details, grab our updated and extended technical report version. Also, in case you have any comments on this work, please let me know!

Comments
No Comments »
Categories
Research Blog
Tags
AOP, Java, Relational aspects
Comments rss Comments rss
Trackback Trackback

COMP 621

eric | February 6, 2008

I have posted information about Assignment 2 on my page for this course.

Comments
No Comments »
Categories
Misc
Tags
COMP 621
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
  • 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

February 2008
M T W T F S S
« Jan   Mar »
 123
45678910
11121314151617
18192021222324
2526272829  

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