[abc] Fw: OOPSLA 2006 papers Submission Feedback

Forwarded because cyberchair doesn't like more than 6 authors...

----- Original Message -----
From: "OOPSLA 2006 - CyberChairPRO" <oopsla2006-papers-webadmin@borbala.com>
To: <pavel.avgustinov@comlab.ox.ac.uk>; <julian.tibble@comlab.ox.ac.uk>;
<eric.bodden@mail.mcgill.ca>; <olhotak@uwaterloo.ca>;
<laurie.hendre@mcgill.ca>; <oege.de.moor@comlab.ox.ac.uk>
Cc: <papers@oopsla.org>; <oopsla2006-papers-webadmin@borbala.com>
Sent: Friday, March 17, 2006 5:06 PM
Subject: OOPSLA 2006 papers Submission Feedback

> Dear Pavel, Julian, Eric, Ondrej, Laurie and Oege,
>
> ===========================================================================
> To correct or update your submission, use the following URL:
>
> https://cyberchair.acm.org/oopslapapers/submit/
>
> and click the "Check and/or update your submission" link.
>
> At the appropriate places fill in the following:
>
> Login: pavel.avgustinov@comlab.ox.ac.uk
> Password: OOP-357472435
>
> (Note that this can only be done until the deadline.)
> ===========================================================================
>
> You have submitted the following data for the track Technical Papers of
> OOPSLA 2006:
>
> Title: Efficient Trace Monitoring
>
> Author 1:
> Name: Pavel Avgustinov
> Affiliation: University of Oxford
> Country: UK
> Email: pavel.avgustinov@comlab.ox.ac.uk
>
> Author 2:
> Name: Julian Tibble
> Affiliation: University of Oxford
> Country: UK
> Email: julian.tibble@comlab.ox.ac.uk
>
> Author 3:
> Name: Eric Bodden
> Affiliation: McGill University
> Country: Canada
> Email: eric.bodden@mail.mcgill.ca
>
> Author 4:
> Name: Ondrej Lhotak
> Affiliation: University of Waterloo
> Country: Canada
> Email: olhotak@uwaterloo.ca
>
> Author 5:
> Name: Laurie Hendren
> Affiliation: McGill University
> Country: Canada
> Email: laurie.hendre@mcgill.ca
>
> Author 6:
> Name: Oege de Moor
> Affiliation: University of Oxford
> Country: UK
> Email: oege.de.moor@comlab.ox.ac.uk
>
> More authors: Yes
>
> Author is Committee Member: No
>
> First author is student: Yes
>
> Main topic(s):
> 2. Aspects, Separation of Concerns
> 4. Compilation, Type Systems, Static Analysis
> 10. Language Design, Domain-Specific Languages
> 15. Reflection, Metaprogramming and Metaobject Models
>
> Other main topic(s):
> program monitoring
> runtime verification
>
> Abstract:
> A trace monitor observes the sequence of actions in a software
> system, and when it detects that this sequence matches
> a given pattern, it executes some extra code of its own.
> Trace monitors are often specified declaratively using patterns
> based on regular expressions, context free grammars
> or logical formulae, and then the trace monitor implementation
> is generated from the specification. Trace monitors
> are particularly useful for runtime verification, and many
> variations have been proposed. Despite this intense interest,
> there have been hardly any systems that implement
> the idea in its full generality, because it is hard to generate
> efficient code from a purely declarative statement of the
> pattern. This paper identifies and addresses the challenges
> faced in generating efficient trace monitors from declarative
> pattern-based specifications.
>
> We present the first set of benchmarks and experiments
> to identify these implementation challenges which include:
> (1) careful generation of the automaton for recognizing the
> pattern, (2) specializing the generated code to the pattern
> being recognized, (3) avoiding memory leaks and (4) quickly
> locating relevant partial matches. We also examine the impact
> of the choice of specification formalism on performance.
> Based on our experimental observations we present several
> novel techniques that address these challenges, purely
> through a careful analysis of the monitor specification. Our
> techniques do not require a whole-program analysis of the
> base program that is being monitored. All of our techniques
> have been implemented in abc, an extensible compiler for
> the AspectJ language, which is itself an extension of Java.
> Their applicability is by no means restricted to this setup,
> however, and we argue that they can be used to improve
> any trace monitoring system. Both the benchmarks and the
> implementation are publicly available.
>
>
> Keywords:
> program monitoring, runtime verification, program analysis,
> aspect-oriented programming
>
> PDF file: C:\Documents and Settings\Julian\Desktop\paper.pdf
> File size: 336373 bytes
>
> PS file: C:\Documents and Settings\Julian\Desktop\paper.ps.gz
> File size: 272416 bytes
>
> Number of pages: 20
>
> Remarks:
> Additional authors:
>
> Neil Ongkingco, neil.ongkingco@comlab.ox.ac.uk, University of Oxford, UK
> Ganesh Sittampalam, ganesh@earth.li, University of Oxford, UK
>
> If you have questions about this message, please contact Richard van de
> Stadt
> (oopsla2006-papers-webadmin@borbala.com).
>
>
>
Received on Fri Mar 17 17:09:59 2006