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

About me

Want to email me? Please email to <firstname>@bodden.de.

eric I am a post-doctoral researcher at the Software Technology Group of the Technical University Darmstadt, Germany. I am funded through, and doing research with CASED, in the research area “Secure Services”. Within cased, I am coordinating the local Graduate School.

As a graduate student, I pursued my doctoral studies at the Sable Research Group at McGill University. During this time, I was the "Representative of Canada" in the North American Alumni Association of RWTH Aachen University.

I am the chief maintainer of the Soot program analysis and optimization framework and a contributer to the AspectBench Compiler, the open research compiler for AspectJ. Click here to find out more about my current research.

During my time in Montreal, I was further involved in the development of BzzzClip, a new social network for the video advertising business, developed by Emage Media. Emage Media has two product lines. BzzzCLIP is a business-oriented product designed to provide creative, low-cost video production to business. Bzzzy.TV is oriented towards the educational and institutional markets, focusing on secure, mentored focused social networking in a video-production environment.

I also maintain a personal blog (in German) for my friends. If you know me and would like to receive the access password, let me know.

Resume

Download my resume here or my (academic) CV here.

A bit of history

I was born at Übach-Palenberg, Germany. I made my qualification 1999 and moved – after being educated as an Emergency Medical Technician for one year during my social services – to Aachen in spring 2000.

I worked for almost six years as a programmer and an agent of quality assurance for the biotech company HiTec Zang GmbH, located at Herzogenrath-Kohlscheid.

From 2001 to 2002 I had a job as an programmer for the Department for Technical Computer Science which develops a system called Wireless Information System For Deaf People On The Move (WISDOM). It is based on gesture recognition and shall enable deaf people to communicate to each and control information services other using gestures on a special featured mobile phone. My part actually is the recognition of training datasets (clustering).

For money and interest I started a small online business called Communic Arts in the November of 1999. We mainly develop PHP- and MYSQL-enabled websites but also build up LANs and telephony communication networks. I had to close this down however when I moved to Canada for my PhD degree in 2006.

From September 2002 till June 2003 I was at the University of Kent at Canterbury for studying a year abroad.

During July to September 2003 I was working at IBM UK at Hursley at the Java performance team where another student and I designed and implemented a performance monitoring framework for J9, IBM’s Java Virtual Machine. Some principles are in the process of being patented (PDF).

From 2004 to 2005, I used to be a member of the Microsoft Student Partner program, representing the RWTH Aachen University. In about the same time I worked for Q2Web, a small Duesseldorf-based company. For Q2Web I helped design and implement a caching system for PDAs that allows not only offline reading of articles but also offline editing and posting.

From 2006 to 2009 I was a Graduate Student at McGill. University, under supervision of Laurie Hendren. It’s impossible to express all the good and fun times I had in Canada in just a few sentences so I won’t even attempt it…

After graduating in 2009, I returned to Germany for a PostDoc with Mira Mezini in Darmstadt. To be continued…

Comments rss
Comments rss
Trackback
Trackback

2 Responses to “About me”

  1. S Kotrappa says:
    April 2, 2009 at 4:56 pm

    I am a research student in AOP AspectJ and found your research very interesting AOP and Design.I need to publish my research in AOP in some international journels as review work.Please inform me which good journel i can send as my review.

    thanks

  2. eric says:
    April 2, 2009 at 6:09 pm

    Hi. It really depends on the topic. Have you looked at TAOSD? It should generally be suitable for AOSD research.

Leave a Reply

Click here to cancel reply.

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

March 2010
M T W T F S S
« Feb    
1234567
891011121314
15161718192021
22232425262728
293031  

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