[abc] Runtime verification, abc docs, benchmarks

Hi all.

I just had an extensive phone call with Klause Havelund yesterday. He
was very impressed by our work and seems really very interested in
getting those two communities (AOP and Runtime Verification) together
within the next time. Here is a short summary of what we talked about:

1.) We agreed that there is a lot common interest in what we were/are
doing with tracematches and what others are doing e.g. with HAWK, PQL,
etc. So maybe we should consider some collaboration in the future.
Oege/Laurie that's probably something you should decide.

2.) Klaus will probably attend AOSD. I told him about our turotial. Vice
versa, he gave me a pointer to FATES/RV06, which is a satellite event of
FLoC in August in Seattle. So maybe that is something we should have a
look at.

3.) Klaus was also trying to setup abc and have it extended. He did not
succeed right away, so I gave him quite an extensive phone tutorial,
which convinced me of the fact that our website should really have more
detailed information about what files are required and how an intial
configuration would work. I am willing to update that myself if somebody
could provide me access to the website.

4.) For Laurie's compiler optimization course, I will be setting up an
AspectJ-instrumented version of the (currently pure Java) program AProVE
(http://www-i2.informatik.rwth-aachen.de/AProVE/), which is a HUGE tool
for termination analysis and induction prooving, as a benchmark. So we
might hopefully be able to also use this as a TM benchmark. The thing is
that it's Java5, so we might only be able to do bytecode->bytecode
transformations, but this should be good enough, actually. Anyway, I
will keep you informed.

Cheers,
Eric

--
Eric Bodden
Sable Reseach Group, McGill University
Montreal, Canada