Err, the partially flow sensitive escape analysis talked about here is a generally decades old technique. The only interesting part is making it practical for J

Err, the partially flow sensitive escape analysis talked about here is a generally decades old technique. The only interesting part is making it practical for JITs by being able to choose which branches to care about. And honestly, while well thought out and engineered, it hardly qualifies as almost alien technology. The thesis it's based on points out there are no published papers covering exactly this technique, but are in fact two other production implementations that do basically the same thing (luajit and pypy) that exist. That's usually a really good sign that what you've done is not that novel (in the sense of being straightforward to those in the world) even if it is really good engineering.