Robuta

https://capra.cs.cornell.edu/bril/lang/spec.html
speculative executionintermediate representationbrilcompilerlearning