Re: [abc] plans

On Mon, Aug 15, 2005 at 08:57:29PM +0100, Oege de Moor wrote:
> > > AOSD and ETAPS tutorial submissions, October 14:
> > > * Implementing Aspect-Oriented Programming Languages
>
> I believe this is pretty important to get more users.
> Ondrej, are you perhaps game to do part of the tutorial?
> Submitting it is not a lot of work, I think.

My current plan is to attend ETAPS (and PLDI) but not AOSD.
I'm willing to contribute to preparing the tutorial (presumably with
something about analyses/optimizations) and to help present
it at ETAPS. I'm assuming we're doing the same tutorial at both
conferences.

The ETAPS and AOSD web sites are not very clear on what is required
for tutorials and what the deadlines are. The AOSD one says they want
an abstract (200-300 words) and a synopsis (1000-3000 words). Is the
synopsis something that they publish in the proceedings somewhere, like
OOPSLA does? Or is it just for the PC to decide whether to accept the
tutorial?

> > -------------------------------------------------------
> > > * Optimising tracematches?
> > >
> > > The stuff that Pavel and Julian have been doing
> > > already merits a paper on its own, I think, but it's
> > > quite technical.
> > I'm very interested in interproc analyses needed to further optimize. It
> > fits very well with my previous work in shape analysis (I think).
>
> Yes, I also have a feeling it links to the recent stuff by Mooly and
> friends on shape analysis. Can you perhaps suggest some papers you think
> relevant for the reading group?

This was probably directed at Laurie, but I have two suggestions:
Rakesh Ghiya's PhD thesis: Putting Pointer Analysis to Work
Hackett and Rugina POPL05: Region-based shape analysis with tracked locations
  (there's a longer tech report version of it as well)

Mooly Sagiv has lots of relevant stuff. I'm not sure which of it would
be *most* relevant.

Ondrej
Received on Wed Aug 17 18:31:56 2005