The Essence of JavaScript. - Arjun Guha; Claudiu Saftoiu; Shriram Krishnamurthi (ECOOP, 2010)

Typing Local Control and State Using Flow Analysis. - Arjun Guha; Claudiu Saftoiu; Shriram Krishnamurthi (ESOP, 2011)