Seminal: searching for ML type-error messages. - Benjamin S. Lerner; Dan Grossman; Craig Chambers (ML, 2006)

Searching for type-error messages. - Benjamin S. Lerner; Matthew Flower; Dan Grossman; Craig Chambers (PLDI, 2007)

Supporting dynamic, third-party code customizations in JavaScript using aspects. - Benjamin S. Lerner; Herman Venter; Dan Grossman (OOPSLA, 2010)

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. - Benjamin S. Lerner; Brian Burg; Herman Venter; Wolfram Schulte (WebApps, 2011)

Detecting conflicts among declarative UI extensions. - Benjamin S. Lerner; Dan Grossman (DLS, 2012)

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)

TeJaS: retrofitting type systems for JavaScript. - Benjamin S. Lerner; Joe Gibbs Politz; Arjun Guha; Shriram Krishnamurthi (DLS, 2013)

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)

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. - Jeevana Priya Inala; Xiaokang Qiu; Benjamin S. Lerner; Armando Solar-Lezama (CoRR, 2015)

Synthesis of Recursive ADT Transformations from Reusable Templates. - Jeevana Priya Inala; Nadia Polikarpova; Xiaokang Qiu; Benjamin S. Lerner; Armando Solar-Lezama (TACAS (1), 2017)

From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). - Joe Gibbs Politz; Kathi Fisler; Shriram Krishnamurthi; Benjamin S. Lerner (SIGCSE, 2018)

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

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. - Joe Gibbs Politz; Benjamin S. Lerner; Sorawee Porncharoenwase; Shriram Krishnamurthi (Art Sci. Eng. Program., 2019)

Data Science as a Route to AI for Middle- and High-School Students. - Shriram Krishnamurthi; Emmanuel Schanzer; Joe Gibbs Politz; Benjamin S. Lerner; Kathi Fisler; Sam Dooman (CoRR, 2020)

Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics. - Kathi Fisler; Emmanuel Schanzer; Steve Weimar; Annie Fetter; K. Ann Renninger; Shriram Krishnamurthi; Joe Gibbs Politz; Benjamin S. Lerner; Jennifer Poole; Christine Koerner (SIGCSE, 2021)

Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum. - Emmanuel Schanzer; Nancy Pfenning; Flannery Denny; Sam Dooman; Joe Gibbs Politz; Benjamin S. Lerner; Kathi Fisler; Shriram Krishnamurthi (SIGCSE (1), 2022)