Eric Bodden, Ph.D. Current conditions in Darmstadt: Broken Clouds, 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

Protected: Von Microsoft, Seattle und der ISSTA Konferenz

Eric | August 17, 2008

This post is password protected. To view it please enter your password below:

Comments
Enter your password to view comments.
Categories
Montreal
Tags
ISSTA, Microsoft, MSR, Seattle

In the city of coffee

Eric | July 19, 2008

imageAfter yesterday’s exciting day at Microsoft Research (thanks to Manuel Fähndrich!) in Bellevue, a little city some miles away from Redmond that, funny enough, people from Seattle apparently call Bellview. I have just arrived in Seattle for ISSTA. This after noon I spent at the Museum of Flight, together with Patrick Lam and some friends of his.  Of course I also saw the first Starbucks. Interestingly, Starbucks is having a very hard competition here – no wonder, considering their prices. Pike Market is also kinda interesting but really very much of a tourist trap. Lunch at the Steelhead Diner was good but did not quite match personal taste.

ISSTA will be taking place in the Hilton, which is (as so many Hilton hotels) plain ugly from the outside but very beautiful from the inside. The photo shows the awesome view out of my room. More photos of Seattle are in my gallery.

Comments
No Comments »
Categories
Misc
Tags
ISSTA, Microsoft, MSR, Plane, Seattle

Off to Seattle

Eric | July 17, 2008

image

I’ll be off to Seattle for the next week, presenting at Microsoft and attending ISSTA to present my paper on Racer. From what I’ve heard, Seattle is supposed to be quite beautiful, especially around this time of the year. I’ll tell you next week, so stay tuned ;-)

Comments
No Comments »
Categories
Misc, Research
Tags
Bug finding, ISSTA, Microsoft, Race detection, Racer, RacerAJ, Seattle

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
Tags
Formula 1, FSE, ISSTA, Microsoft, Montreal

Using Windows Live Writer with WordPress

Eric | November 16, 2007

Screenshot of Live Writer while editing this post This blog is powered by WordPress, probably one of the finest pieces of blog software I ever saw. And the best: Since recently there’s a new Microsoft Software called Windows Live Writer which allows you to edit posts offline, in a neat little Windows client. And I am not talking about some of those cheap clients that might be around and only support half of the necessary features. No, it fully integrates with WordPress, so perfectly that I am really astonished and positively surprised about Microsoft. The software automagically…

  • downloads my style sheet so that I can edit my posts 100% WYSIWYG
  • downloads all my tags and categories
  • lets me download, edit and republish existing blog entries and pages
  • lets me draft new posts and pages online and publish them whenever I like
  • lets me insert and automagically upload pictures to my blog
  • allows for extensions to gazillions of plugins which I have not even tried!

So all in all great Job Microsoft! Sometimes I really appreciate the offline nature of MS applications (e.g. in contrast to Google Apps).

Comments
1 Comment »
Categories
Misc
Tags
Live Writer, Microsoft, Wordpress

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