SPEjs: a symbolic partial evaluator for JavaScript. - Sümeyye Süslü; Christoph Csallner (A-Mobile@ASE, 2018)