Some people have asked me for my AOSD 2011 slides on Closure Joinpoints. I have made them available here. Enjoy!
Slides on Closure Joinpoints
Eric | March 25, 2011RV 2011 – Call for Papers
Eric | March 18, 2011Deadline 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:
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!
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.
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.
The new keyboard with Googleberg, erm Guttenberg layout
Eric | March 1, 2011Sha
melessly copied from Ebay… 😉
