Jalangi: a selective record-replay and dynamic analysis framework for JavaScript
An infrastructure for adaptive dynamic optimization