An AOT compiler seems like it could work. If none exists, my idea was to do some translation of JS to the fastest, open-source implementations of Common Lisp or Scheme. That could have other benefits. A more serious team could just do a clean-slate compiler using anything learned in other dynamic languages. I'm talking the quick-and-dirty, lazy, hacker approach.