Combining Form and Function: Static Types for JQuery Programs. - Benjamin S. Lerner; Liam Elberty; Jincheng Li; Shriram Krishnamurthi (ECOOP, 2013)

Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. - Benjamin S. Lerner; Liam Elberty; Neal Poole; Shriram Krishnamurthi (ESORICS, 2013)

The Next 700 Semantics: A Research Challenge. - Shriram Krishnamurthi; Benjamin S. Lerner; Liam Elberty (SNAPL, 2019)