Prof. Dr. Eric Bodden

Some people have asked me for my AOSD 2011 slides on Closure Joinpoints. I have made them available here. Enjoy!

Deadline is May 8th, still more than six weeks to go!

AOSD 2011 has not even happened yet but preparations for AOSD 2012 (to be held at the HPI in Potsdam) are already well advanced. The 2011 has seen two submission deadlines to encourage authors to submit when their paper is ready and to allow them to retrieve feedback between multiple rounds. We have made some good experience with this and hence Eric Tanter, the PC Chair of AOSD 2012, has decided to even allow for three rounds this year! You may submit to those deadlines:

• Round 1: Submission: April 25 (soon!!!) / Notification: June 22
• Round 2: Submission: July 18 / Notification: September 14
• Round 3: Submission: October 10 / Notification: December 7

Read the full call for papers here. Good luck!

My colleagues Marcel Bruch and Johannes Lerch have been working heavily on getting ready for the first release of the Eclipse Code Recommenders project. The project uses machine-learning based recommender models to aid programmers in different tasks, including:

• Code Completion
• Extended JavaDoc
• Codesearch
• Stacktrace-based search
• Bug detectors

See this website for some exciting first videos. Marcel’s blog always contains the latest information. Also Jaxenter has just published an article in German.

The project’s vision is well described in our paper IDE 2.0: Collective Intelligence in Software Development.

The Software Technology Group is currently offering a CASED PhD scholarship in the area of secure services, funded by and in collaboration with the Software AG.

The rough topic of the research to be conducted is “Finding and avoiding Vulnerabilities”. Click here to find out more about the position, including information on how to apply.

Just in case you have been wondering why I was so silent over the past couple of months: I had the honor to coordinate a grant proposal for a call by the BMBF.

Fortunately, the hard work payed off: as the BMBF has just announced, Darmstadt, Karlsruhe and Saarbrücken were successful in the competition. (clap)

For the TU Darmstadt this means that it obtains funding to establish a new center called European Center for Security and Privacy by Design (EC SPRIDE). Researchers at EC SPRIDE will use techniques from Software Engineering and IT Security to develop novel methods that allow programmers to make their software secure by design (opposed to “adding” security later-on, which often leads to a heap of new problems). The new center will be lead by Prof. Michael Waidner (also head of the Fraunhofer SIT Darmstadt) and will comprise Darmstadt’s top researchers in IT Security and Software Engineering.

Just to let you know, to synchronize with the other TOOLS conferences, the deadline for the 10th International Conference on Software Composition has been extended to February 20th. Happy submitting! (yes)

UPDATE: The position had been filled.

I am happy to announce that, through CASED, I received generous funding from the Horst-Görtz foundation to establish a junior research group. As of now, I am therefore looking for an excellent student who is interested in doing cutting-edge research with me.

I am generally interested in using static and dynamic analyses to prove safety and security properties of (Java) programs, and the student will generally be expected to deliver excellent research in this area. Technologies that can be built on include, but are by no means limited to, Soot, abc and TamiFlex.

The student will be co-supervised by Prof. Mira Mezini. You can find more information about this position here.