Currently working on V8.
Previously wrote my phd thesis (pdf) on JIT compilation and implemented a JIT for the R language, called Ř. This JIT is based on context dispatch and a custom IR to handle reflection and laziness (see here for more details).
I also worked on formalizing speculative optimizations, see sourir and CoreJit.