Analysis and Optimization of Engines for Dynamically Typed Languages
Towards a type system for analyzing javascript programs