Towards efficient and verified virtual machines for dynamic languages
Martin Desharnais, Stefan Brunthaler · 2021
The prevalence of dynamic languages is not commensurate with the security guarantees provided by their execution mechanisms. Consider, for example, the ubiquitous case of JavaScript: it runs everywhere and its complex just-in-time compilers produce code that is fast and, unfortunately, sometimes incorrect.