The type work is somewhat interesting. I've actually seen variants of it done in a few private JIT's for dynamic languages, but not to this extent (mainly because most languages don't have code that change types as often as javascript :P). In the worst case, they still have to monitor every property write, they just use some forms of static analysis to try to reduce this in what they hope is the common case (that the types are not changing over the program lifetime).

The rest is just research. Interesting research nonetheless, but research. I don't say that as a dig, more to point out that while some of it may be productionized, most of it probably won't.

At least to me, i'm most impressed that the author doesn't present their research as the be-all, end-all of JIT's, but instead, something that may turn out well. This is not something against JIT research, i've just read way too many compiler analysis and optimization papers that don't actually compare against anywhere the near the state of the art, and then act as if they've made huge gains instead of incremental improvements.