Thomas Dickerson: "@regehr@mastodon.social this looks awesome" - Mastodon

Nov 29, 2022, 16:51

John Regehr @regehr@mastodon.social

Formally Verified Native Code Generation in an Effectful JIT

https://people.irisa.fr/Aurele.Barriere/papers/fmjit.pdf

5136f57a9a25c476.png

Thomas Dickerson @elfprince13@mumak.app

@regehr this looks awesome

Nov 29, 2022, 16:57 · · Web · · ·

Sign in to participate in the conversation