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

Deadline Extension – NFM 2011 (Updated)

Eric | December 12, 2010

The deadline for NFM 2011 has been extended to December 26th! Merry Christmas!

The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels.

Update: We received more than 140 submissions, (whew) so please stop submitting! ;-)

I wonder if snow shoveling boosts creativity or something… (think)

Comments
Comments Off on Deadline Extension – NFM 2011 (Updated)
Categories
Research
Tags
NASA, NFM

ESEC/FSE 2011 – Call for New Ideas Track papers

Eric | December 6, 2010

The ESEC/FSE 2011 New Ideas track provides researchers with a forum to promote new and original research projects, to seek feedback on novel directions in a research program, and to discover opportunities for new research collaborations.

New Ideas submissions are intended to describe a single and well-defined idea at an early stage of investigation. As opposed to regular research papers, New Ideas papers are not intended to serve as a vehicle for the dissemination of research results. Submissions to the New Ideas track should describe research in progress. Authors of contributions to other tracks are welcome to also submit a paper to the New Ideas track if a specific aspect of their research meets the goal of the track.

Submissions are due June 12th, 2011. Click here for the complete call.

Comments
Comments Off on ESEC/FSE 2011 – Call for New Ideas Track papers
Categories
Research