The current focus of my Ph.D. research is to build a type inference and optimization system to help better optimize JavaScript through a mix of static and dynamic analysis (I've been calling this "optimistic optimization"). My original Ph.D. project idea was to implement optimistic optimization techniques in a custom JIT compiler I would build for a dynamic language of my own conception, which I was then planning on naming "Go". The approach to optimization would have been two-fold: design optimizations for dynamic languages, and design my own dynamic language to be efficiently optimized.