Benjamin S. Lerner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2007–2022
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGCSE | 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 |
| 2021 | SIGCSE | 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 |
| 2018 | SIGCSE | From Spreadsheets to Programs: Data Science and CS1 in Pyret (Abstract Only). | Joe Gibbs Politz, Kathi Fisler, Shriram Krishnamurthi, Benjamin S. Lerner |
| 2017 | TACAS | Synthesis of Recursive ADT Transformations from Reusable Templates. | Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama |
| 2013 | DLS | TeJaS: retrofitting type systems for JavaScript. | Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi |
| 2013 | ECOOP | Combining Form and Function: Static Types for JQuery Programs. | Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi |
| 2013 | ESORICS | Verifying Web Browser Extensions' Compliance with Private-Browsing Mode. | Benjamin S. Lerner, Liam Elberty, Neal Poole, Shriram Krishnamurthi |
| 2012 | DLS | Detecting conflicts among declarative UI extensions. | Benjamin S. Lerner, Dan Grossman |
| 2012 | DLS | A tested semantics for getters, setters, and eval in JavaScript. | Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi |
| 2010 | OOPSLA | Supporting dynamic, third-party code customizations in JavaScript using aspects. | Benjamin S. Lerner, Herman Venter, Dan Grossman |
| 2007 | PLDI | Searching for type-error messages. | Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers |