RE: [abc] Joint work on specification formalisms?

Hi, Oege.

Yes, you are right. Performance is quite an issue in that field and has
much to do with usability.

> One particular area where
> we don't have a lot of good examples is in properties of
> concurrent programs.
Well, we have this lock order reversal property. This is actually a nice
one. And with "let", it's toable in TMs as well, I believe.

> For that reason I have been a little hesitant to draw in yet
> more people from outside: we already have a lot of people
> working on it [perhaps even too many, given that we don't
> find our own examples 100% convincing]. Consequently, I
> didn't take up Klaus's suggestion of joint work when he
> emailed me about it in December, nor similar suggestions from
> Rob Walker and the Darmstadt group. Of course we should talk
> to them, but I feel a little uneasy expanding the group of
> collaborators yet further. Of course we should talk to them -
> and keep asking for benchmarks!

I see your point. Those issues were not quite clear to me until now - I
just graduated... So yes, probably it makes more sense to first try to
sort this out internally.

I will try to get some benchmarks together within the next weeks. It's
not going to be easy, but maybe I am successful.

Eric
Received on Tue Jan 31 18:26:57 2006