Dependent advice: A general approach to optimizing history-based aspects

Eric | December 9, 2008

image I am happy to announce that my latest research paper has been accepted for publication at AOSD 2009. The paper is titled Dependent advice: A general approach to optimizing history-based aspects (paper here), and that’s really what it is about. If you know my past work, then you also know that my work is concerned with evaluating runtime monitors based on tracematches at compile time. The purpose of Dependent Advice (an extension to ordinary AspectJ advice) is to generalize this idea. With dependent advice, one can apply the same powerful whole-program optimizations to normal aspects that previously one could only apply to tracematches. Sounds exciting? So how does it work?

Read the rest of this entry »

Comments
Comments Off on Dependent advice: A general approach to optimizing history-based aspects
Categories
Research
Tags
AspectJ, Dependent Advice, LinkedIn

Collaborative Runtime Verification with Tracematches

Eric | November 29, 2008

imageAfter only a little more than one and a half years, we were now able to publish the (extended) journal version of our RV07 paper on Collaborative Runtime Verification with Tracematches. What’s it about? The idea is simple: Assume you are doing runtime verification, but the nature of the property you want to monitor requires you to instrument some really hot loops in your code. In result, your instrumented program runs very slow. So why not split up the instrumentation load? Multiple users get different “probes” of instrumentation. Instrumentation can even be enabled only temporarily in order to reduce the imageoverall runtime overhead. In this paper we showed that this approach works  and most importantly scales (see graphic to the right). Plus, we avoid any false positive (false warnings), due to a special pointer analysis of the verification property, even if the instrumentation is partially disabled and therefore certain events may be missed. The journal paper is very similar to the workshop paper but it’s self-contained. free download here

Comments
Comments Off on Collaborative Runtime Verification with Tracematches
Categories
Research
Tags
collaborative, LinkedIn, Runtime verification, tracematches

Packs and phases in Soot

Eric | November 26, 2008

This the fourth post in a series of blog posts about frequently asked questions with using Soot. Today’s topic will be on packs and phases in Soot.

One frequent question that comes up on the Soot mailing list is when to run a particular analysis in Soot. Soot’s execution is divided in a set of different packs and each pack contains different phases. Therefore the question could be rephrased as “In which pack do I have to run my analysis or transformation?”. This tutorial tries to help you answer this question.

Read the rest of this entry »

Comments
Comments Off on Packs and phases in Soot
Categories
Research
Tags
LinkedIn, Soot, Soot Tutorial

Congratulations

Eric | November 22, 2008

image I am happy to announce the winners of the annual Peephole Optimization Contest in COMP 520 (Compiler Design): Ning Jia, Alexis Malozemoff and Wei Wu. Congratulations!

 

 

 

imageAs you can see in the results (PPTX), these students even managed to outperform javac in terms of the size of the generated code!

 

 

 

P.S. The above image is courtesy of Harlan Erskine, showing a piece of art of Jen Stark (and has nothing to do with the contest 😉 , in case you are wondering ).

Comments
Comments Off on Congratulations
Categories
Misc, Research
Tags
LinkedIn

FSE slides

Eric | November 13, 2008

imageSome people asked me about the slides of my FSE presentation. You can download the slides here. Note that you may need the PowerPoint 2007 player. Feedback  is welcome! 😉

Comments
Comments Off on FSE slides
Categories
Research
Tags
FSE, LinkedIn, Presentation, Slides

Off to “Peachtree City”

Eric | November 10, 2008

imageDuring the next fee days I will be enjoying FSE in Atlanta, where for some weird reason everything is called Peachtree <whatever>. I guess that must be an American thing. In Canada they don’t do that: if you search for a “Maple Road” in Montreal, where do you land? Wisconsin! Point proven 🙂

At FSE, I’ll be presenting our latest breed on static verification using tracematches. Who knows – maybe I’ll see you there?

Comments
Comments Off on Off to “Peachtree City”
Categories
Research
Tags
Atlanta, FSE, LinkedIn

Hire an Eric

Eric | November 4, 2008

IMG_0826Yes,  I guess it’s time to put my suit on… As I am planning to graduate (with Ph.D.) in summer 2009, I am currently looking out for interesting jobs, both in academia and industry. So if you have an interesting opening in some German or English speaking part of Europe, please let me know. All my application material (Resume, CV, Research and Teaching Statement) are available on my hiring website. To find out more about my research have a look here or browse my research block.

Comments
Comments Off on Hire an Eric
Categories
Misc, Research
Tags
job search, LinkedIn

Implementing an intra-procedural data-flow analysis in Soot

Eric | September 22, 2008

After my last tutorials on using Soot on the command line, and using the Soot Eclipse plugin, this is the third of a series of blog posts about frequently asked questions with using Soot. Today’s topic will be on extending Soot with your own intra-procedural data-flow analysis.

Read the rest of this entry »

Comments
Comments Off on Implementing an intra-procedural data-flow analysis in Soot
Categories
Research
Tags
Data-flow analysis, Eclipse, LinkedIn, Soot, Soot Tutorial