Benjamin Lerner

@inproceedings{Schanzer2022,
  author = {Schanzer, Emmanuel and Pfenning, Nancy and Denny, Flannery
            and Dooman, Samuel and Politz, Joe and
            Lerner, Benjamin and Fisler, Kathi and Krishnamurthi, Shriram},
  title = {Integrated Data Science for Secondary Schools: Design and
Assessment of a Curriculum},
  year = {2022},
  isbn = {9781450390705},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {doi:10.1145/3478431.3499311},
  booktitle = {Proceedings of the 53rd ACM Technical Symposium on
  Computer Science Education},
  pages = {22–28},
}
@article{Phipps-Costin2022, 
  author = {Phipps-Costin, Luna and MacLeod, Michael and
            Vo, Alex and Nguyen, Tiffany and Politz, Joe Gibbs and
            Krishnamurthi, Shriram and Lerner, Benjamin S.},
  title = {Combining Interactive and Whole-Program Editing with REPARTEE},
  year = {2022},
  month = {6}, 
  url = {https://kilthub.cmu.edu/articles/conference_contribution/Combining_Interactive_and_Whole-Program_Editing_with_REPARTEE/19787683},
  doi = {doi:10.1184/R1/19787683.v1},
} 
@inproceedings{Fisler2021,
  author = {Fisler, Kathi and Schanzer, Emmanuel and Weimar, Steve and 
            Fetter, Annie and Renninger, K. Ann and 
            Krishnamurthi, Shriram and Politz, Joe Gibbs and 
            Lerner, Benjamin and Poole, Jennifer and Koerner, Christine},
  title = {Evolving a K-12 Curriculum for Integrating Computer
  Science into Mathematics},
  year = {2021},
  isbn = {9781450380621},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  doi = {doi:10.1145/3408877.3432546},
  booktitle = {Proceedings of the 52nd ACM Technical Symposium on
  Computer Science Education},
  pages = {59–65},
}
@INPROCEEDINGS{Krishnamurthi2019,
  author={Krishnamurthi, Shriram and Lerner, Benjamin S. and Elberty, Liam},
  title={The Next 700 Semantics: A Research Challenge},
  booktitle={Summit on Advances in Programming Languages (SNAPL)},
  year={2019},
  doi={doi:10.4230/LIPIcs.SNAPL.2019.9}
  isbn={}
}
          
@INPROCEEDINGS{Politz2019,
  author={Politz, Joe Gibbs Politz and Lerner, Benjamin S. and 
          Porncharoenwase, Sorawee and Krishnamurthi, Shriram},
  title={Event Loops as First-Class Values: A Case Study in
         Pedagogic Language Design},
  booktitle={The Art, Science, and Engineering of Programming},
  year={2019},
  doi={doi:10.22152/programming-journal.org/2019/3/11}
  isbn={}
}
          
@INPROCEEDINGS{Inala2017,
  author={Inala, Jeevana Priya and Polikarpova, Nadia and 
          Qiu, Xiaokang and Lerner, Benjamin S. and Solar-Lezama, Armando},
  editor={Legay, Axel and Margaria, Tiziana},
  title={Synthesis of Recursive ADT Transformations from Reusable
         Templates},
  booktitle={Tools and Algorithms for the Construction and Analysis of
             Systems},
  year={2017},
  publisher={Springer Berlin Heidelberg},
  address={Berlin, Heidelberg},
  pages={247--263},
  doi={doi:10.1007/978-3-662-54577-5_14}
  isbn={978-3-662-54577-5}
}
          
@INPROCEEDINGS{Lerner2013c,
  author = {Lerner, Benjamin S. and Politz, Joe Gibbs and Guha, Arjun and
            Krishnamurthi, Shriram},
  title = {TeJaS: retrofitting type systems for JavaScript},
  booktitle = {Dynamic Languages Symposium (DLS)},
  year = {2013},
  pages = {1--16},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {2508170},
  doi = {doi:10.1145/2508168.2508170},
  isbn = {978-1-4503-2433-5},
  keywords = {javascript, type systems},
  location = {Indianapolis, Indiana, USA},
  numpages = {16},
}
	  
@INCOLLECTION{Lerner2013b,
  author = {Benjamin S. Lerner and Liam Elberty and Neal Poole
            and Shriram Krishnamurthi},
  title = {Verifying Web Browser Extensions' Compliance with
           Private-Browsing Mode},
  booktitle = {European Symposium on Research in Computer Security
               (ESORICS)},
  publisher = {Springer Berlin Heidelberg},
  year = {2013},
  editor = {Crampton, Jason and Jajodia, Sushil and Mayes, Keith},
  volume = {8134},
  series = {Lecture Notes in Computer Science},
  pages = {57-74},
  month = sep,
  doi = {doi:10.1007/978-3-642-40203-6_4},
  isbn = {978-3-642-40202-9},
}
	  
@TECHREPORT{Lerner2013a,
  author = {Benjamin S. Lerner and Liam Elberty and Neal Poole
            and Shriram Krishnamurthi},
  title = {Verifying Web Browser Extensions' Compliance with 
           Private-Browsing Mode},
  institution = {Brown University},
  year = {2013},
  number = {CS13-02},
  url={http://cs.brown.edu/research/pubs/techreports/reports/CS-13-02.html}
}
	  
@INPROCEEDINGS{Lerner2013,
  author = {Benjamin S. Lerner and Liam Elberty and Jincheng Li 
            and Shriram Krishnamurthi},
  title = {Combining Form and Function: Static Types for {JQuery} Programs},
  year = {2013},
  address = {Montpellier, France},
  publisher = {Springer-Verlag},
  booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
  url={http://www.cs.brown.edu/~blerner/papers/ecoop2013_jquery.html}
}
	  
@INPROCEEDINGS{Lerner2012a,
  author = {Lerner, Benjamin S. and Grossman, Dan},
  title = {Detecting conflicts among declarative {UI} extensions},
  booktitle = {Dynamic Languages Symposium (DLS)},
  year = {2012},
  doi = {doi:10.1145/2384577.2384590},
  keywords = {conflicts, extensions, overlays, web browsers},
  location = {Tucson, Arizona, USA},
  url={http://www.cs.brown.edu/~blerner/papers/dls2012_overlays.html}
}
	  
@INPROCEEDINGS{Politz2012a,
  author = {Joe Gibbs Politz and Matt Carroll and Benjamin S. Lerner and 
            Justin Pombrio and Shriram Krishnamurthi},
  title = {A Tested Semantics for Getters, Setters, and Eval in 
           {J}ava{S}cript},
  booktitle = {Dynamic Languages Symposium (DLS)},
  year = {2012},
}
	  
@INPROCEEDINGS{Lerner2012,
  author = {Benjamin S. Lerner and Matthew J. Carroll and Dan P. Kimmel and 
            Hannah Quay-de la Vallee and Shriram Krishnamurthi},
  title = {Modeling and Reasoning about {DOM} Events},
  year = {2012},
  publisher = {USENIX Association},
  month = jun,
  booktitle = {{USENIX} Conference on Web Application Development
               (Web\-Apps)},
  location = {Boston, Massachusetts},
  url={http://www.cs.brown.edu/~blerner/papers/webapps2012.html}
}
	  
@PHDTHESIS{Lerner2011a,
  author = {Benjamin S. Lerner},
  title = {Designing for Extensibility and Planning for Conflict: 
           Experiments in Web-Browser Design},
  school = {University of Washington Computer Science \& Engineering},
  year = {2011},
  month = aug,
  url={http://www.cs.brown.edu/~blerner/papers/thesis.html}
}
	  
@INPROCEEDINGS{Lerner2011,
  author = {Benjamin S. Lerner and Brian Burg and Herman Venter and 
            Wolfram Schulte},
  title = {C3: An Experimental, Extensible, Reconfigurable Platform 
           for {HTML}-based Applications},
  year = {2011},
  publisher = {USENIX Association},
  month = jun,
  booktitle = {{USENIX} Conference on Web Application Development 
               (Web\-Apps)},
  url={http://www.cs.brown.edu/~blerner/papers/webapps2011.html}
}
          
@INPROCEEDINGS{Lerner2010a,
  author = {Lerner, Benjamin S. and Grossman, Dan},
  title = {Language support for extensible web browsers},
  doi = {doi:10.1145/1810139.1810146},
  year = {2010},
  booktitle = {{ACM} Analysis and Programming Languages for Web
               Applications and	Cloud Applications (APLWACA)},
  url={http://www.cs.brown.edu/~blerner/papers/aplwaca2010.html}
}
          
@INPROCEEDINGS{Lerner2010,
  author = {Benjamin S. Lerner and Herman Venter and Dan Grossman},
  title = {Supporting Dynamic, Third-Party Code Customizations in 
           {JavaScript} Using Aspects},
  year = {2010},
  month = oct,
  booktitle = {{ACM} {SIGPLAN} Conference on Object-Oriented Programming, 
               Systems, Languages, and Applications (OOPSLA)},
  doi = {doi:10.1145/1869459.1869490},
  keywords = {JavaScript, aspects, extensions},
  url = {http://www.cs.brown.edu/~blerner/papers/oopsla2010.html}
}
          
@INPROCEEDINGS{Lerner2007,
  author = {Benjamin Lerner and Matthew Flower and 
            Dan Grossman and Craig Chambers},
  title = {Searching for Type-Error messages},
  booktitle = {{PLDI} '07: Proceedings of the 2007 ACM SIGPLAN conference
               on Programming language design and implementation},
  year = {2007},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  location = {San Diego, California, USA},
  url = {http://www.cs.washington.edu/homes/blerner/papers/pldi2007.html}
}
          
@INPROCEEDINGS{Lerner2006,
  author = {Benjamin Lerner and Dan Grossman and Craig Chambers},
  title = {{S{\sc eminal}}: searching for {ML} type-error messages},
  booktitle = {{ML} '06: Proceedings of the 2006 workshop on {ML}},
  year = {2006},
  doi = {doi:10.1145/1159876.1159887},
  location = {Portland, Oregon, USA},
  url = {http://www.cs.washington.edu/homes/blerner/papers/ml2006.html}
}
          

Contact

download vcard icon
Email (essential):
Location (likely):
West Village H, Office 326
Post (possible):
Northeastern University
Khoury College of Computer Sciences
360 Huntington Ave, 2nd floor
Boston, MA 02115
work Lecturer Office 326