coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0

From: "John Wiegley" <johnw AT newartisans.com>
To: Beta Ziliani <bziliani AT famaf.unc.edu.ar>
Cc: Coq Club <coq-club AT inria.fr>, Howard Reubenstein <howard.reubenstein AT baesystems.com>, Haskell List <haskell AT haskell.org>, Ssreflect <ssreflect AT msr-inria.inria.fr>, Haskell Libraries <libraries AT haskell.org>, Haskell Cafe <haskell-cafe AT haskell.org>
Subject: Re: [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0
Date: Fri, 20 Nov 2015 13:13:51 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jwiegley AT gmail.com; spf=Pass smtp.mailfrom=jwiegley AT gmail.com; spf=None smtp.helo=postmaster AT mail-pa0-f49.google.com
Ironport-phdr: 9a23:sCxsCRF5QNFEKxaFZQIlNJ1GYnF86YWxBRYc798ds5kLTJ75oMSwAkXT6L1XgUPTWs2DsrQf27eQ6/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLvj6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysefmqRCLfwqL53IaUy1CmAhJBwnM6hDSUJ70uyW8q+x2niSWIIv/V+Zndy6l6vIhahjojm84NjM29GzGwIQkjqVbpg2JoRFgypTIYZqcMuE4daTYK4BJDVFdV9pcAnQSSri3aJECWq9YZb5V
Organization: New Artisans LLC

>>>>> Beta Ziliani
>>>>> <bziliani AT famaf.unc.edu.ar>
>>>>> writes:

> I'd be interested to know what was the outcome of the project from the point
> of view of BEA Systems. Is there any report about it?

From BAE's point of view, we gained some industrial perspective. Separately, I
have prepared an experience report that is currently seeking a venue.

John

[Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0, John Wiegley, 11/20/2015
- Re: [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0, Beta Ziliani, 11/20/2015
  - Re: [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0, John Wiegley, 11/20/2015