News for hackers. Stuff that matters.

A comment on Superoptimizer – A Look at the Smallest Program [pdf] (1987). Parent comment

Re:Superoptimizer – A Look at the Smallest Program [pdf] (1987) by nextaccountic on Wednesday November 25, 2020 @03:05AM (#25206943)
Do you have a site or paper about your SMT-based superoptimizer? Or maybe even a Github.
[ Parent | on HN ]
Re:Superoptimizer – A Look at the Smallest Program [pdf] (1987) by glangdale on Wednesday November 25, 2020 @03:28AM (#25207079)
Not yet. I have a (currently neglected) blog at branchfree.org, but haven't yet posted about my superoptimizer. Certainly no paper yet.

I may well be churlish enough not to make my superoptimizer open source, as I'm still daydreaming about doing mildly commercial things with it.

[ Parent | on HN ]