Slides on Closure Joinpoints

Eric | March 25, 2011

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

Comments
Comments Off on Slides on Closure Joinpoints
Categories
Research

RV 2011 – Call for Papers

Eric | March 18, 2011

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

Runtime verification (RV) is concerned with monitoring and analysis of software or hardware system executions.  The field is often referred to under different names, such as runtime verification, runtime monitoring, runtime checking, runtime reflection, runtime analysis, dynamic analysis, runtime symbolic analysis, trace analysis, log file analysis, etc.  RV can be used for many purposes, such as security or safety policy monitoring, debugging, testing, verification, validation, profiling, fault protection, behavior modification (e.g., recovery), etc.  A running system can be abstractly regarded as a generator of execution traces, i.e., sequences of relevant states or events. Traces can be processed in various ways, e.g., checked against formal specifications, analyzed with special algorithms, visualized, etc.  Topics of interest include, but are not limited to:
Comments
Comments Off on RV 2011 – Call for Papers
Categories
Research

AOSD 2012 – First Call for Papers

Eric | March 8, 2011

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!

Comments
Comments Off on AOSD 2012 – First Call for Papers
Categories
Research

Progress on the code recommenders project

Eric | March 4, 2011

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.

Comments
Comments Off on Progress on the code recommenders project
Categories
Research

PhD scholarship “Finding and avoiding Vulnerabilities” funded by Software AG

Eric | March 2, 2011

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.

Comments
Comments Off on PhD scholarship “Finding and avoiding Vulnerabilities” funded by Software AG
Categories
Research

The new keyboard with Googleberg, erm Guttenberg layout

Eric | March 1, 2011

Shamelessly copied from Ebay;-)

Comments
Comments Off on The new keyboard with Googleberg, erm Guttenberg layout
Categories
Misc