Eric Bodden, Ph.D. Current conditions in Darmstadt: Cloud and Visibility OK, 11°C
11°C

Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
  • rss
  • Home
  • Research
    • Publications
    • Presentations
    • Current research
      • Inter-procedural Data-flow Analysis of Software Product Lines
      • RefaFlex – Safer refactorings for reflective Java programs
      • Join Point Interfaces
      • Stateful Breakpoints
      • MOPBox
      • Closure Joinpoints for AspectJ
      • Proving Security Properties of Services
      • TamiFlex: a tool set for Taming Reflection
    • 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
      • Clara: Compile-time Approximation of Runtime Analyses
    • Hosting a Program Committee meeting with Skype
  • Tools
    • SPLlift – highly efficient product line analysis
    • Heros – Inter-Procedural Data-Flow Analysis
    • Behavior Compliance Control
    • Join Point Interfaces
    • TamiFlex: a tool set for Taming Reflection
    • Closure Joinpoints for AspectJ
    • Clara: Compile-time Approximation of Runtime Analyses
    • RacerAJ (for race detection)
    • An introduction to Soot 2.2.5
    • J-LO, a tool for runtime-checking temporal assertions
    • Aspect-oriented approaches targeting the .NET Framework
  • Teaching
    • Current lectures and thesis topics
    • Past lectures
      • Automated Software Engineering
      • Software-Engineering Project
      • COMP 520
      • COMP 621
  • About me
  • Photos

CAST-Seminar: Sichere Software entwickeln – Erfahrungen, Methoden, Werkzeuge (UPDATED)

Eric | March 8, 2013

Am 25. April werden wird der CAST e.V.  ein Seminar zum Thema Sichere Software entwickeln – Erfahrungen, Methoden, Werkzeuge abhalten. Ich selbst werde darüber referieren, wie sich die Sicherheitsmodelle von Java und Android unterscheiden und welche Vor- und Nachteile sich hieraus für Endnutzer und Entwickler ergeben. Insbesondere werde ich auch einen Exploit für die zu Jahresbeginn bekannt gewordenen Java-Lücken erklären. Nähere Informationen zur Veranstaltung erfahren Sie hier.

Comments
No Comments »
Categories
Misc

Panel discussion on data protection

Eric | May 29, 2012

Join us for a panel discussion on data protection at the IT&Media congress.
Thursday, May 31st, 16:0-17:00, Darmstadtium, Darmstadt

Comments
No Comments »
Categories
Misc

ASE Lecture to be held again in WS 2011/12

Eric | September 9, 2011

I am happy to announce that I will be offering my lecture on Automated Software Engineering again in the upcoming winter semester. I have updated the topics slightly but the general structure will remain the same. Find more information here.

Comments
No Comments »
Categories
Misc, Research

The new keyboard with Googleberg, erm Guttenberg layout

Eric | March 1, 2011

Shamelessly copied from Ebay… ;-)

Comments
No Comments »
Categories
Misc

Slides from Clara tutorial & Research talk

Eric | November 1, 2010

Patrick and I were pleasantly suprised that so many people attended our tutorial. We promised to put the slides online for later reference. They are avilable now, in PDF (quite large, sorry…) and Keynote format. Same here for the research presentation: PDF (also quite large) and Keynote format.

Comments
2 Comments »
Categories
Misc

Tandem…

Eric | July 22, 2010

envelopeTandem is not just a bike with two seats, it also means “at last” in Latin. At last I received my Ph.D. Diploma today! After only eight months of waiting time –yeah! (clap) Guess in what language it was written? Click the photo…

I hope I will be able to translate it at some point. For US immigration officers this appears to be too hard of a job. :-)

Update: Here is the text and English translation. Thanks to Nicholas Greco!

Read the rest of this entry »

Comments
No Comments »
Categories
Misc, Research
Tags
McGill

Explanations of common Java exceptions

Eric | May 3, 2010

Today, my colleague Marcel Bruch pointed me to this Explanation of common Java exceptions. I found it very useful. Maybe you like it too ;-)

Comments
2 Comments »
Categories
Misc
Tags
Exceptions, Java

Bullet to slide ratio

Eric | April 21, 2010

In my opinion, a very simple but effective measurement for the effectiveness of presentation slides is the bullet-to-slide ratio, i.e., the average number of bullets per slide. In my opinion, one should aim for a ratio smaller than 1. I just sat in a presentation with a ratio clearly larger than 7 and it was awful.

Comments
2 Comments »
Categories
Misc
Tags
Presenting, Slides

ICSE 2010

Eric | April 17, 2010

In about two weeks I will be at ICSE, presenting my paper on statically evaluating finite-state runtime monitors by determining continuation-equivalent states. I know that many people who are doing related work will be at the conference too. So if you are one of them, don’t be shy and try to find me. :-)

Comments
No Comments »
Categories
Misc

AOSD 2011 in Brazil

Eric | March 19, 2010


AOSD 2011

AOSD 2010 in Rennes and St Malo just finished. It was a great event, I really enjoyed the conference a lot. You can find some photos here. There was lots of interesting papers. The paper Execution Levels for Aspect-Oriented Programming by Eric Tanter won the best-paper award, certainly deserved, I think it’s great work.

It turns out that AOSD 2011 is going to be in beautiful Pernambuco, Brazil. It’s certainly going to be a great event, too. I hope to see you all there. AOSD 2011 is going to have two submission deadlines:

First Round

Research paper submission:Thursday, July 1st, 2010 (23:59 Samoan time)
Acceptance notification:Monday, September 6th, 2010 (23:59 Samoan time)

Second Round

Research paper submission:Friday, October 1st, 2010 (23:59 Samoan time)
Acceptance notification:Friday, December 10th, 2010 (23:59 Samoan time)
Camera-ready copy:Thursday, January 13th, 2011 (23:59 Samoan time)

You can submit to each round separately – both rounds are largely independent. However, if you submit to the first deadline then you have the advantage of (1) maybe having your paper accepted earlier or (2) if it gets rejected with a “resubmit again later” then you can re-submit an improved paper to the 2nd deadline. The goal is to enable a more journal-like review process that allows for correcting papers instead of having to reject them right away.

Comments
No Comments »
Categories
Misc, Research
Tags
AOSD

« Previous Entries

Welcome

Welcome to my website. Interested in my research? Click here for details or jump directly to my publications.

Upcoming Conferences

SC 2013

SOAP 2013

ESEC/FSE 2013

PPPJ 2013

RV 2013

Photos

Categories & Feeds

  • Research
    RSS
    (176)
  • Misc
    RSS
    (99)
  • Montreal
    RSS
    (44)

Collaborations

  • Don Batory, UTA
  • Eric Tanter, Universidad de Chile
  • Friedrich Steimann, Fernuni Hagen
  • Grigore Rosu, UIUC
  • Hans Vangheluwe, McGill University/Universiteit Antwerpen
  • Jacques Klein, SnT Luxembourg
  • Klaus Havelund, NASA JPL
  • Laurie Hendren, McGill University
  • Martin Monperrus, Univ. of Lille
  • Matthew Dwyer, University of Nebraska
  • Oege de Moor, University of Oxford
  • Ondrej Lhotak, University of Waterloo
  • Patrick Lam, University of Waterloo
  • Rahul Purandare
  • Sarfraz Khurshid, UTA
  • Shahar Maoz, RWTH Aachen
  • Tian Zhao, UW Milwaukee
  • Volker Stolz, University of Oslo

Research projects

  • AspectBench Compiler (abc)
  • Clara
  • J-LO
  • Soot
  • Stratified aspects
  • TamiFlex

Service

  • AOSD 2006
  • AOSD 2007
  • AOSD 2010
  • AOSD 2011
  • AOSD 2012
  • ATPS 2013
  • ATVA 2008
  • ECOOP 2008 Doctoral Symposium
  • ECOOP 2010
  • ESEC/FSE 2011 New Ideas Track
  • ESEC/FSE 2013
  • FOAL 2010
  • FOAL 2012
  • FOAL 2013
  • ICSE 2010
  • ICSE 2013 (New Ideas)
  • IEEE Transactions on Software Engineering (TSE)
  • International Journal of Image and Graphics
  • ISSTA 2011
  • NFM 2011
  • OOPSLA 2008
  • OOPSLA 2010
  • OOPSLA 2012
  • PEPM 2008
  • PLDI 2006
  • PLDI 2008
  • RAM-SE 2011
  • RV 2007
  • RV 2009
  • RV 2010
  • RV 2011
  • SAC 2012
  • SC 2011
  • SC 2013
  • 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
  • Kristin Lovejoy
  • 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

May 2013
M T W T F S S
« Mar    
 12345
6789101112
13141516171819
20212223242526
2728293031  

Tags

Alumni AOP AOSD AspectJ Atlanta Bike Blizzard Bug finding Caro Clara COMP 621 Eclipse FSE Google ISSTA Java LinkedIn Mac McGill Microsoft Montreal NASA Photos Programming Quebec City Race detection Racer Runtime Monitoring Runtime verification RV RWTH Seattle Slides Snow storm Soot Soot Tutorial Static Analysis Strike TamiFlex TA strike Thesis tracematches Typestate Vacation Winter carnival


rss Comments rss valid xhtml 1.1 design by jide powered by Wordpress get firefox