There's been a very recent paper by Mozilla about "CacheIR", which reminded me a little of the upcoming uops (linear IR, the operations replace higher level ones, with guards, constructed after getting feedback from the runtime types, also speeds up interpreter). I thought you might be interested: https://dl.acm.org/doi/10.1145/3617651.3622979
There's been a very recent paper by Mozilla about "CacheIR", which reminded me a little of the upcoming uops (linear IR, the operations replace higher level ones, with guards, constructed after getting feedback from the runtime types, also speeds up interpreter). I thought you might be interested: https://dl.acm.org/doi/10.1145/3617651.3622979