Earlier quoted context omitted.
I've actually seen most of those, I guess I'm more advanced than I thought :)
You're probably ready to write your own JIT -- I'd recommend making one for Python ;-) I think after the low-hanging fruit above, there's lot of weird interpreter/compiler folklore on old usenet posts, Forth VM designs, random papers (like the Register vs. Stack machine showdown). There are also some enlightening books like "Lisp in Small Pieces". I'm at SciPy right now and I was just talking to the Julia developers…
I'd enjoy being on a project like that. Can I send you an email?