Benjamin Lerner

@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 = {http://doi.acm.org/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 = {http://dx.doi.org/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 = {http://doi.acm.org/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 = {http://doi.acm.org/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 = {http://doi.acm.org/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 = {http://doi.acm.org/10.1145/1159876.1159887},
  location = {Portland, Oregon, USA},
  url = {http://www.cs.washington.edu/homes/blerner/papers/ml2006.html}
}