A tested semantics for getters, setters, and eval in JavaScript. - Joe Gibbs Politz; Matthew J. Carroll; Benjamin S. Lerner; Justin Pombrio; Shriram Krishnamurthi (DLS, 2012)

Modeling and Reasoning about DOM Events. - Benjamin S. Lerner; Matthew J. Carroll; Dan P. Kimmel; Hannah Quay-de la Vallee; Shriram Krishnamurthi (WebApps, 2012)