[bmc7505]

One of the authors of this work apparently now works on supercompilers at Meta and open sourced some nice tools for equivalence checking based on graph rewriting [1] and constructive type theory [2]. If you're interested in that kind of thing I would recommend checking out his work:

[1]: https://github.com/ilya-klyuchnikov/mrsc

[2]: https://github.com/ilya-klyuchnikov/ttlite

[ajkjk]

Are we already calling it 'Meta' unironically?

[noduerme]

No one should ever call that thing Meta. We have to draw the line somewhere. Facebook needs to be gratuitously dead named.

[steego]

To be fair, people who work on supercompilers have been in the meta space long before it was ironic.

[rowanG077]

Supercompilation has also been known as metacompilation for decades.

[guerrilla]

In this case by Meta I think they mean Facebook. Name change today in case you missed thar.

[mro_name]

Whom? Metaface?