RE: [abc] Verification error

From: Eric Bodden <eric.bodden@mail.mcgill.ca>
Date: Tue Jan 24 2006 - 14:57:45 GMT

> Are you suggesting that we use jlo-rt as a benchmark in the
> oopsla paper?
> It could be interesting, but perhaps a bit confusing for the
> reader to have one of the benchmarked systems as a benchmark itself.

No, actually that was not my plan. I just tried to instrument J-LO with
some interesting aspects, as it is the coursework I have to do for
Laurie (or should I say "I have the privilege to do"? :-)). So the
NullPointerCheck came handy because it was written already. So my email
was actually really only about this bug. Of course - if you want to have
this for the paper, I am fine with that (though confusing, I have to
admit).

Eric
Received on Tue Jan 24 17:09:00 2006

This archive was generated by hypermail 2.1.8 : Tue Jan 24 2006 - 17:10:09 GMT