Benjamin S. Lerner

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 8

Top Topics

Secondary School

Formal Descriptions

Web Directories

Top Venues

Publications

Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Shriram Krishnamurthi
Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum. SIGCSE (1) (2022)
Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin S. Lerner, Jennifer Poole, Christine Koerner
Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics. SIGCSE (2021)
Shriram Krishnamurthi, Emmanuel Schanzer, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, Sam Dooman
Data Science as a Route to AI for Middle- and High-School Students. CoRR (2020)
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. CoRR (2019)
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. Art Sci. Eng. Program. 3 (3) (2019)
Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty
The Next 700 Semantics: A Research Challenge. SNAPL (2019)
Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner
From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). SIGCSE (2018)
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) (2017)
Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR (2015)
Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
TeJaS: retrofitting type systems for JavaScript. DLS (2013)
Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi
Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. ESORICS (2013)
Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi
Combining Form and Function: Static Types for JQuery Programs. ECOOP (2013)
Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi
A tested semantics for getters, setters, and eval in JavaScript. DLS (2012)
Benjamin S. Lerner, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-de la Vallee, Shriram Krishnamurthi
Modeling and Reasoning about DOM Events. WebApps (2012)
Benjamin S. Lerner, Dan Grossman
Detecting conflicts among declarative UI extensions. DLS (2012)
Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte
C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications. WebApps (2011)
Benjamin S. Lerner, Herman Venter, Dan Grossman
Supporting dynamic, third-party code customizations in JavaScript using aspects. OOPSLA (2010)
Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers
Searching for type-error messages. PLDI (2007)
Benjamin S. Lerner, Dan Grossman, Craig Chambers
Seminal: searching for ML type-error messages. ML (2006)