WODA 2012 @ ISSTA

Eric | January 31, 2012

International Workshop on Dynamic Analysis
Co-located with ISSTA, July 15th, 2012, Minneapolis, MN
Submissions are due on May 4th, 2012 (extended)
Note that abstracts are due on May 1st already!

Comments
Comments Off on WODA 2012 @ ISSTA
Categories
Research

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

New Technical Reports

Eric | January 17, 2012

I have put online two new Technical Reports. Enjoy…

Identifying meaningless parameterized linear-temporal-logic formulas (Eric Bodden), Technical report TUD-CS-2012-0014, CASED, 2012.

On the Expressiveness of Parameterized Finite-state Runtime Monitors (Eric Bodden), Technical report TUD-CS-2012-0013, CASED, 2012.

Comments
Comments Off on New Technical Reports
Categories
Research