RE: [abc] Tracematch / Program Monitoring paper

Thanks for this, Julian. I think this is a very useful outline!

I can certainly work on some of the parts. Do you want us to sign up for
particular tasks?
Also, speaking about benchmarks, I mentioned that I tried to process
AProVe with abc but it took about forever. The problem is that I don't
know if it would ever terminate... I don't know if it's worth debugging
this. On the other hand I think it's a nice benchmark because it's a
really large scale application and spends most of it's time in
deterministically computing things (and not for instance graphics or
IO)... I don't know. What do you guys think about it?

/Eric
Received on Fri Jan 20 15:14:49 2006