The paper Type Analysis for JavaScript is accepted at SAS'09