Eric Bodden Current conditions in Darmstadt: Scattered Clouds, 20°C
20°C

Easy and efficient software verification
  • rss
  • Home
  • Research
    • Publications
    • Presentations
    • 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
  • Tools
    • TamiFlex – a tool suite for taming reflection
    • 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

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 Blog
Tags
AOSD
Comments rss Comments rss
Trackback Trackback

The RV 2009 DEADLINE has been EXTENDED

Eric | March 5, 2009

image The RV 2009 DEADLINE has been EXTENDED to:
    Wednesday 25 March 2009, 23:59 Samoan time (= UTC-11)
http://www-rv2009.imag.fr/
9th International Workshop on Runtime Verification
RV 2009, June 26 – June 28, 2009
Grenoble, France

Read the rest of this entry »

Comments
2 Comments »
Categories
Research Blog
Tags
AOSD, Runtime verification
Comments rss Comments rss
Trackback Trackback

AOSD 2009

Eric | March 2, 2009

image This week I will be attending AOSD 2009, at Charlottesville, VA. (I hope it’s going to look at least close to what it looks like on this picture. Probably not, at this time of the year.) Anyway, I will be presenting my paper on Dependent Advice. I also plan to attend Alex Villazón’s demo on the MAJOR and CARAJillo tools, which allow you to (finally!) weave into the Java runtime library without having to worry about breaking it. In my session, there will also be some interesting talks about data-flow pointcuts and expressive scoping of distributed aspects (curious to find out what these are). Stay tuned for more…

Update: You can download my slides here… PPTX, PPT, PDF – enjoy!

Comments
1 Comment »
Categories
Research Blog
Tags
AOSD, AspectJ, Charlottesville
Comments rss Comments rss
Trackback Trackback

ISSTA

Welcome

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

Pages

  • Research
    • Publications
    • Presentations
    • 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
  • Tools
    • TamiFlex – a tool suite for taming reflection
    • 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

Colleagues

  • Gregory Prokopski
  • Laurie Hendren
  • Nomair Naeem
  • Ondrej Lhotak
  • Patrick Lam
  • Programming Tools Group, Oxford
  • Sable lab, McGill
  • Software Technology Group, Darmstadt

Kitchensink

  • Conferences
  • My first patent: Method and system for performance profiling of software (pending)
  • Photos

Research projects

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

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
  • ICSE 2010
  • IEEE Transactions on Software Engineering (TSE)
  • International Journal of Image and Graphics
  • ISSTA 2011
  • NFM 2011
  • OOPSLA 2008
  • OOPSLA 2010
  • 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 other people I know

  • Adrian Colyer
  • Bruno Dufour
  • Dan North
  • Daniel Klink
  • Dave Thomas
  • Dean Wampler
  • Eric Tanter
  • 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
  • Master Sgt. Eric Bodden

Previous posts

July 2010
M T W T F S S
« Jun    
 1234
567891011
12131415161718
19202122232425
262728293031  

Tags

Alumni AOSD AspectJ Atlanta Blizzard Bug finding Clara COMP 621 Eclipse FSE Google ISSTA Java LinkedIn Mac McGill Microsoft Montreal Blog NASA OOPSLA Photos Politics Programming Quebec City Race detection Racer Random ranting Runtime verification RWTH Seattle Slides Snow storm Soot Soot Tutorial Static Analysis Strike TamiFlex 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