June 2011: the paper Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications is accepted at ESEC/FSE'11