June 2011: the paper Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications is accepted at ESEC/FSE'11 1 June 2011 by Ann Eg Mølhave Link to the paper