Concepedia

Benjamin S. Lerner

BS

9

Publications

283

Citations

9

H-Index

2006

Active since

Affiliations

University of Washington(Current)

Brown University

University of California San Diego

Northeastern University

Benjamin S. Lerner is an author at University of Washington specializing in engineering, software engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal MethodsSoftware TestingFormal VerificationSoftware DesignCompilers

Publications per year

2006–2022

9

Publications

9

Searching for type-error messages

Benjamin S. Lerner, Matthew Flower, Dan Grossman et al. · 2007 · 91 citations

Engineering, Type Theory, Verification +19

Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha et al. · 2013 · 47 citations

Engineering, Single Type System, Generic Programming +13

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

Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner et al. · 2012 · 45 citations

Engineering, Information Security, Scripting Language +18

Seminal

Benjamin S. Lerner, Dan Grossman, Craig Chambers · 2006 · 31 citations

Evolving a K-12 Curriculum for Integrating Computer Science into Mathematics

Kathi Fisler, Emmanuel Schanzer, Steve Weimar et al. · 2021 · 16 citations

Stem Education, Mathematics Education, Mathematics Curriculum +13

Rows per page

1–5 of 9