bcp.bib

@PREAMBLE{{\newcommand{\SortNoop}[1]{}}}

@MISC{Pierce:ICMTtalk,
  AUTHOR = {Benjamin C. Pierce},
  TITLE = {Foundations for Bidirectional Programming, or: {H}ow To Build 
                  a Bidirectional Programming Language},
  NOTE = {Keynote address at {\em International Conference 
                  on Model Transformation (ICMT)}},
  YEAR = 2009,
  MONTH = JUN,
  PLCLUB = {Yes},
  BCP = {Yes},
  KEYS = {harmony},
  SLIDES = {http://www.cis.upenn.edu/~bcpierce/papers/icmt-2009-slides.pdf}
}

@MISC{Pierce:LambdaTA,
  AUTHOR = {Benjamin C. Pierce},
  TITLE = {Lambda, The Ultimate {TA}: {U}sing a Proof Assistant to Teach 
                  Programming Language Foundations},
  NOTE = {Keynote address at {\em International Conference on 
                  Functional Programming (ICFP)}},
  YEAR = 2009,
  PLCLUB = {Yes},
  MONTH = SEP,
  BCP = {Yes},
  KEYS = {poplmark},
  SLIDES = {http://www.cis.upenn.edu/~bcpierce/papers/LambdaTA.pdf}
}

@MISC{Pierce:LambdaTA-ITP,
  AUTHOR = {Benjamin C. Pierce},
  TITLE = {Proof Assistant
                  as Teaching Assistant: A View from the Trenches},
  NOTE = {Keynote address at {\em International Conference 
                  on Interactive Theorem Proving (ITP)}},
  YEAR = 2010,
  PLCLUB = {Yes},
  MONTH = JUL,
  BCP = {Yes},
  KEYS = {poplmark},
  SLIDES = {http://www.cis.upenn.edu/~bcpierce/papers/LambdaTA-ITP.pdf}
}

@INCOLLECTION{EncyOfDBs09,
  AUTHOR = {V\'{e}ronique Benzaken and Giuseppe Castagna and Haruo
                  Hosoya and Benjamin C. Pierce and Stijn Vansummeren},
  TITLE = {{XML}  Typechecking},
  BOOKTITLE = {Encyclopedia of Database Systems},
  PUBLISHER = {Springer},
  YEAR = {2009},
  PLCLUB = {Yes},
  BCP = {Yes},
  KEYS = {xduce},
  NOTE = {To appear}
}

@MISC{Pierce:Onward2010,
  AUTHOR = {Benjamin C. Pierce},
  TITLE = {creativity: sensitivity and surprise},
  MONTH = OCT,
  YEAR = 2010,
  SLIDES = {http://www.cis.upenn.edu/~bcpierce/cgi-bin/photos/Onward.pdf},
  NOTE = {Keynote talk at {\em SPLASH / Onward!}},
  PLCLUB = {Yes},
  BCP = {Yes},
  KEYS = {misc}
}

@PROCEEDINGS{POPL09,
  TITLE = {Principles of Programming Languages (POPL)},
  EDITOR = {Benjamin C. Pierce},
  PUBLISHER = {ACM Press},
  YEAR = {2009},
  LOCATION = {Savannah, Georgia, January 2009},
  PLCLUB = {Yes},
  BCP = {Yes}
}

@INPROCEEDINGS{Greenberg10,
  AUTHOR = {Michael Greenberg and Benjamin C. Pierce and Stephanie Weirich},
  TITLE = {Contracts Made Manifest},
  YEAR = {2010},
  PUBLISHER = {ACM},
  BOOKTITLE = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), Madrid, Spain},
  YEAR = {2010},
  MONTH = JAN,
  BCP = {Yes},
  KEYS = {types},
  PLCLUB = {Yes},
  SHORT = {http://www.cis.upenn.edu/~bcpierce/papers/contracts-popl.pdf}
}

@INPROCEEDINGS{updatable-security-views,
  AUTHOR = {J. Nathan Foster and Benjamin C. Pierce and Steve Zdancewic},
  TITLE = {Updatable Security Views},
  BOOKTITLE = {IEEE Computer Security Foundations Symposium (CSF), Port Jefferson, NY},
  MONTH = JUL,
  YEAR = 2009,
  BCP = {yes},
  PLCLUB = {yes},
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/updatable-security-views.pdf}
}

@MISC{Pierce:POPL09ChairsReport,
  AUTHOR = {Benjamin C. Pierce},
  TITLE = {POPL 2009 PC Chair's Report},
  MONTH = JAN,
  YEAR = {2009},
  PLCLUB = {Yes},
  BCP = {Yes},
  SLIDES = {http://www.cis.upenn.edu/~bcpierce/papers/popl09-chairs-reports.pdf}
}

@BOOK{Pierce:SF,
  AUTHOR = {Benjamin C. Pierce and Chris Casinghino and 
                  Michael Greenberg and Vilhelm Sjoberg and Brent Yorgey},
  TITLE = {Software Foundations},
  YEAR = {2011},
  PUBLISHER = {Distributed electronically},
  PLCLUB = {Yes},
  BCP = {Yes},
  KEYS = {poplmark},
  FULL = {http://www.cis.upenn.edu/~bcpierce/sf}
}

@MISC{Spiders,
  AUTHOR = {Benjamin C. Pierce and Alessandro Romanel and Daniel Wagner},
  TITLE = {The {Spider Calculus}: Computing in Active Graphs},
  YEAR = {2010},
  PLCLUB = {Yes},
  BCP = {Yes},
  KEYS = {mobileagents},
  MANUSCRIPT = {http://www.cis.upenn.edu/~bcpierce/papers/spider_calculus.pdf}
}

@INPROCEEDINGS{DPCS2010,
  AUTHOR = {Jason Reed and Adam J. Aviv and Daniel
                  Wagner and Andreas Haeberlen and Benjamin C. Pierce and 
                  Jonathan M. Smith},
  TITLE = {Differential Privacy for Collaborative Security},
  BOOKTITLE = {European Workshop on System Security (EUROSEC)},
  YEAR = {2010},
  MONTH = APR,
  PLCLUB = {Yes},
  BCP = {Yes},
  KEYS = {security},
  MANUSCRIPT = {http://www.cis.upenn.edu/~bcpierce/papers/eurosec2010.pdf}
}

@MISC{OLDHofmannPierceWagner10,
  AUTHOR = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  TITLE = {Symmetric Lenses},
  YEAR = {2010},
  MONTH = SEP,
  NOTE = {Submitted for publication},
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {security},
  SHORT = {http://www.cis.upenn.edu/~bcpierce/papers/symmetric.pdf},
  FULL = {http://www.cis.upenn.edu/~bcpierce/papers/symmetric-full.pdf}
}

@INPROCEEDINGS{HofmannPierceWagner10,
  AUTHOR = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  TITLE = {Symmetric Lenses},
  YEAR = {2011},
  BOOKTITLE = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), Austin, Texas},
  MONTH = JAN,
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {harmony},
  SHORT = {http://www.cis.upenn.edu/~bcpierce/papers/symmetric.pdf},
  FULL = {http://www.cis.upenn.edu/~bcpierce/papers/symmetric-full.pdf}
}

@INPROCEEDINGS{Matching10,
  AUTHOR = {Davi M. J. Barbosa and Julien Cretin and Nate Foster
                  and Michael Greenberg and Benjamin C. Pierce},
  TITLE = {Matching Lenses: Alignment and View Update},
  YEAR = {2010},
  MONTH = SEP,
  BOOKTITLE = {{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming
                    ({ICFP}), Baltimore, Maryland},
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {harmony},
  TR = {http://repository.upenn.edu/cis_reports/915/},
  SHORT = {http://www.cis.upenn.edu/~bcpierce/papers/alignment.pdf}
}

@INPROCEEDINGS{ReedPierce10,
  AUTHOR = {Jason Reed and Benjamin C. Pierce},
  TITLE = {Distance Makes the Types Grow Stronger: 
                  {A} Calculus for Differential Privacy},
  BOOKTITLE = {{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming
                    ({ICFP}), Baltimore, Maryland},
  YEAR = {2010},
  MONTH = SEP,
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {security},
  SHORT = {http://www.cis.upenn.edu/~bcpierce/papers/dp.pdf}
}

@INPROCEEDINGS{BohannonPierce10,
  AUTHOR = {Aaron Bohannon and Benjamin C. Pierce},
  TITLE = {Featherweight {F}irefox:
                  {F}ormalizing the Core of a Web Browser},
  BOOKTITLE = {Usenix Conference on Web Application Development (WebApps)},
  YEAR = {2010},
  MONTH = JUN,
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {security},
  SHORT = {http://www.cis.upenn.edu/~bcpierce/papers/webapps_2010_bohannon_final.pdf}
}

@INPROCEEDINGS{Bohannon&09,
  AUTHOR = {Bohannon, Aaron and Pierce, Benjamin C. and Sj\"{o}berg, Vilhelm and Weirich, Stephanie and Zdancewic, Steve},
  TITLE = {Reactive Noninterference},
  BOOKTITLE = {CCS '09: Proceedings of the 16th ACM conference on Computer and communications security},
  YEAR = {2009},
  ISBN = {978-1-60558-894-0},
  PAGES = {79--90},
  LOCATION = {Chicago, Illinois, USA},
  DOI = {http://doi.acm.org/10.1145/1653662.1653673},
  PUBLISHER = {ACM},
  ADDRESS = {New York, NY, USA},
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {security}
}

@INPROCEEDINGS{Haeberlen&11,
  AUTHOR = {Andreas Haeberlen and Benjamin C. Pierce and 
                  Arjun Narayan},
  TITLE = {Differential Privacy Under Fire},
  BOOKTITLE = {Proceedings of the 20th USENIX Security Symposium},
  LOCATION = {San Francisco, CA},
  MONTH = AUG,
  YEAR = {2011},
  BCP = {yes},
  PLCLUB = {yes},
  KEYS = {security},
  PDF = {http://www.cis.upenn.edu/~ahae/papers/fuzz-sec2011.pdf}
}

@UNPUBLISHED{SAFEsummary2011,
  TITLE = {Preliminary Design of the SAFE Platform},
  AUTHOR = {Andr\'{e} DeHon and
                  Ben Karel and
                  Beno\^{i}t Montagu and
                  Benjamin C. Pierce and
                  Jonathan M. Smithand
                  Thomas F. Knight, Jr. and
                  Sumit Ray and
                  Gregory Sullivan and
                  Gregory Malecha and
                  Greg Morrisett and
                  Randy Pollack and
                  Robin Morisset and
                  Olin Shivers},
  MONTH = JUN,
  YEAR = 2011,
  BCP = {Yes},
  KEYS = {security},
  PLCLUB = {Yes},
  NOTE = {Submitted},
  PDF = {http://www.crash-safe.org/sites/default/files/plos11-submission.pdf}
}

@INPROCEEDINGS{DBLP:conf/esop/BeloGIP11,
  AUTHOR = {Jo{\~a}o Filipe Belo and
                  Michael Greenberg and
                  Atsushi Igarashi and
                  Benjamin C. Pierce},
  TITLE = {Polymorphic Contracts},
  BOOKTITLE = {European Symposium on Programming (ESOP), Saarbr{\"u}cken, Germany},
  YEAR = {2011},
  PAGES = {18-37},
  EE = {http://dx.doi.org/10.1007/978-3-642-19718-5_2},
  BCP = {Yes},
  PLCLUB = {Yes},
  KEYS = {contracts},
  CROSSREF = {DBLP:conf/esop/2011},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}

@PROCEEDINGS{DBLP:conf/esop/2011,
  EDITOR = {Gilles Barthe},
  TITLE = {Programming Languages and Systems - 20th European Symposium
                  on Programming, ESOP 2011, Held as Part of the Joint European
                  Conferences on Theory and Practice of Software, ETAPS 2011,
                  Saarbr{\"u}cken, Germany, March 26-April 3, 2011. 
                  Proceedings},
  BOOKTITLE = {ESOP},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {6602},
  YEAR = {2011},
  ISBN = {978-3-642-19717-8},
  EE = {http://dx.doi.org/10.1007/978-3-642-19718-5},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}