Benjamin S. Lerner

According to our database, Benjamin S. Lerner authored at least 18 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2021

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

Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021

2020

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

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

The Next 700 Semantics: A Research Challenge.

Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only).

Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

2017

Synthesis of Recursive ADT Transformations from Reusable Templates.

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2015

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.

Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

CoRR, 2015

2013

Verifying Web Browser Extensions' Compliance with Private-Browsing Mode.

Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi

Proceedings of the Computer Security - ESORICS 2013, 2013

Combining Form and Function: Static Types for JQuery Programs.

Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

TeJaS: retrofitting type systems for JavaScript.

Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi

Proceedings of the DLS'13, 2013

2012

Modeling and Reasoning about DOM Events.

Benjamin S. Lerner, Matthew J. Carroll, Dan P. Kimmel, Hannah Quay-de la Vallee, Shriram Krishnamurthi

Proceedings of the 3rd USENIX Conference on Web Application Development, 2012

A tested semantics for getters, setters, and eval in JavaScript.

Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi

Proceedings of the 8th Symposium on Dynamic Languages, 2012

Detecting conflicts among declarative UI extensions.

Benjamin S. Lerner, Dan Grossman

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications.

Benjamin S. Lerner, Brian Burg, Herman Venter, Wolfram Schulte

Proceedings of the 2nd USENIX Conference on Web Application Development, 2011

2010

Supporting dynamic, third-party code customizations in JavaScript using aspects.

Benjamin S. Lerner, Herman Venter, Dan Grossman

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2007

Searching for type-error messages.

Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Seminal: searching for ML type-error messages.

Benjamin S. Lerner, Dan Grossman, Craig Chambers

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006