Fast and precise type checking for JavaScript. - Avik Chaudhuri; Panagiotis Vekris; Sam Goldman; Marshall Roch; Gabriel Levi (Proc. ACM Program. Lang., 2017)