[PRL] Fwd: PL seminar

Karl Lieberherr lieber at ccs.neu.edu
Sun Sep 4 22:02:48 EDT 2011


Shmuel has sent us background information about his talk
which I would like to share with you.

-- Karl
---------- Forwarded message ----------
From: katz <katz at cs.technion.ac.il>
Date: Sun, Aug 7, 2011 at 3:53 AM
Subject: Re: PL seminar
To: Karl Lieberherr <lieber at ccs.neu.edu>, Ahmed Abdelmeged <mohsen at ccs.neu.edu>


Hi Karl and Ahmed,

Attached are our full journal paper in FMSD on modular verification of aspects
(that does not include all possible connections among aspects, or
consideration of events),
a paper on language extensions of AspectJ to faciltate event
processing, from the
Modularity Visions track of AOSD 2011, and some very preliminary work
on specifying
and verifying event detectors, from FOAL 2011.
The talk has material from all 3, plus some new work.
Regards,
Shmuel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MAVEN_FULL_AS_PUBLISHED.pdf
Type: application/pdf
Size: 759318 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/prl/attachments/20110904/363944a9/attachment-0003.pdf 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p285.pdf
Type: application/pdf
Size: 610202 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/prl/attachments/20110904/363944a9/attachment-0004.pdf 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: FOAL11_paper01.pdf
Type: application/pdf
Size: 193873 bytes
Desc: not available
Url : http://lists.ccs.neu.edu/pipermail/prl/attachments/20110904/363944a9/attachment-0005.pdf 


More information about the PRL mailing list