@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}
}
