Re: [abc] Runtime verification, abc docs, benchmarks

Hi,

Do you have the source code for the AProVE project? From the website I
could only find the bytecode.

Thanks
Jennifer
On Thu, Jan 12, 2006 at 09:08:38AM -0500, Eric Bodden wrote:
> 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
>
>
Received on Thu Jan 12 17:25:40 2006