Type refinement for static analysis of JavaScript.

Vineeth Kashyap, John Sarracino, John Wagner, Ben Wiedermann, Ben Hardekopf

Browse the full DLS paper archive.