JSAI: A static analysis platform for JavaScript

Publication
ACM SIGSOFT International Symposium on Foundations of Software Engineering