FOAL Keynote: Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs

Eric | January 20, 2012

Attending AOSD? Consider coming two days early to enjoy beautiful Postdam and attend FOAL. I will be giving a keynote presentation in which I will be talking about Closure Join Points and Join Point Interfaces (joint work with Milton Inostroza and Eric Tanter), and how they allow, for the first time, to define aspects that can be truly modularly type-checked and therefore are completely de-coupled from the base code they advise.

Abstract:

In previous work, we and others have studied how aspects can implement important cross-cutting concerns, such as runtime monitors, security monitors, and other security primitives. It is hard to design aspects that implement such concerns correctly. Therefore, once written, one desires to reuse the according aspect definitions for other systems.

In current aspect-oriented systems, however, aspects usually carry, through their pointcuts, explicit references to the base code. Those references are fragile and give up important software engineering properties such as modular reasoning and independent evolution of aspects and base code, hence hindering aspect reuse. A well-studied solution to this problem is to separate base code and aspects using an intermediate interface abstraction. Read the rest of this entry »

Comments
Comments Off on FOAL Keynote: Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs
Categories
Research
Tags
AOP, AOSD, AspectJ, CJP, JPI

MODULARITY: aosd2012 – Submit now!

Eric | April 1, 2011

The title of next year’s AOSD conference will be MODULARITY: aosd2012, to emphasize that AOSD has grown beyond the topics of pointcut/advice and now strongly encourages submissions related to any kind of modularity that facilitates reasoning about or maintenance of software systems.

AOSD 2012 will see three submission rounds and the first submission deadline is just about in four weeks:

  • Abstract submission: April 21, 2011
  • Paper submission: April 25, 2011

As Shigeru Chiba showed at AOSD 2011, submitting to an early round clearly pays off! The statistics of the two-round process of AOSD 2011 show that only 8% of new submissions were accepted at the second round. And this despite the fact that the overall acceptance rate at that round was roughly 25%. This is because new submissions have to compete with revised papers, which tended to be stronger (the acceptance rate of resubmissions was 50% that year).

We hence strongly encourage you to submit AOSD, and especially to submit to the first deadline already.

Submission information is available online, along with an FAQ about the three-deadline process.

Comments
Comments Off on MODULARITY: aosd2012 – Submit now!
Categories
Research
Tags
AOSD, modularity

Closure Joinpoints: Block Joinpoints without Surprises

Eric | December 28, 2010

Closure JoinpointsTo appear at AOSD 2011:

Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of creating a joinpoint. Block joinpoints appear simple to define and implement. After all, regular block statements in Java- like languages are constructs well-known to the programmer and have simple control-flow and data-flow semantics.

Our major insight is, however, that by exposing a block of code as a joinpoint, the code is no longer only called in its declaring static context but also from within aspect code. The block effectively becomes a closure, Read the rest of this entry »

Comments
Comments Off on Closure Joinpoints: Block Joinpoints without Surprises
Categories
Research
Tags
AOSD, AspectJ, Closures, Joinpoint

Hosting a Program Committee meeting with Skype

Eric | August 30, 2010

Caller List I recently had the pleasure to host a PC Meeting conference call with skype, with 22 people! Actually things went surprisingly well. However, it really helps if people stick to a few rules. I have written down a few tricks that I learned on the way.

Comments
Comments Off on Hosting a Program Committee meeting with Skype
Categories
Research
Tags
AOSD, Skype

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
Comments Off on AOSD 2011 in Brazil
Categories
Misc, Research
Tags
AOSD

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
Comments Off on The RV 2009 DEADLINE has been EXTENDED
Categories
Research
Tags
AOSD, Runtime verification

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
Comments Off on AOSD 2009
Categories
Research
Tags
AOSD, AspectJ, Charlottesville