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:CERNtalk,
  author = {Benjamin C. Pierce},
  title = {Mysteries of Dropbox},
  note = {Keynote address at CERN {\em Workshop on Cloud Services for File Synchronisation and Sharing}},
  year = 2014,
  month = nov,
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony},
  slides = {https://indico.cern.ch/event/336753/session/1/contribution/28},
  video = {https://indico.cern.ch/event/336753/session/1/contribution/28}
}
@misc{Pierce:ClojureConjtalk,
  author = {Benjamin C. Pierce},
  title = {A Deep Specification for Dropbox},
  note = {Keynote address at Clojure/conj},
  year = 2015,
  month = nov,
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/clojure-deepspec-2015.pdf},
  video = {https://www.youtube.com/watch?v=Y2jQe8DFzUM}
}
@misc{HarmonyRelationsPoster,
  author = {Aaron Bohannon and Jeffrey A. Vaughan and
                  Benjamin C. Pierce},
  title = {Relational Lenses: {A} language for defining
                  updateable views},
  year = {2005},
  month = oct,
  note = {Poster presented at Greater Philadelphia DB/IR Day},
  bcp = {Yes},
  keys = {harmony},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-relations-dbir-poster.pdf}
}
@techreport{BohannonPierceVaughanTR,
  author = {Aaron Bohannon and Jeffrey A. Vaughan and
                  Benjamin C. Pierce},
  title = {Relational Lenses: {A} Language for Updateable Views},
  year = {2005},
  month = dec,
  keys = {harmony},
  institution = {Dept. of Computer and Information Science,
                  University of Pennsylvania},
  number = {MS-CIS-05-27},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/dblenses-tr.pdf}
}
@inproceedings{BohannonPierceVaughan,
  author = {Aaron Bohannon and Jeffrey A. Vaughan and
                  Benjamin C. Pierce},
  title = {Relational Lenses: {A} Language for Updateable Views},
  year = {2006},
  booktitle = {Principles of Database Systems (PODS)},
  note = {Extended version available as University of Pennsylvania
                  technical report MS-CIS-05-27},
  bcp = {Yes},
  plclub = {Yes},
  keys = {harmony},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/dblenses-pods.pdf},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/dblenses-tr.pdf}
}
@article{Focal2005-long,
  author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore
                  and Benjamin C. Pierce and Alan Schmitt},
  title = {Combinators for bidirectional tree transformations:
                  {A} linguistic approach to the view-update problem},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {29},
  number = {3},
  pages = {17},
  month = may,
  year = {2007},
  publisher = {ACM Press},
  address = {New York, NY, USA},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-final.pdf},
  fullappendix = {http://www.cis.upenn.edu/~bcpierce/papers/lenses-toplas-electronic-appendix.pdf},
  doi = {http://portal.acm.org/citation.cfm?doid=1232420.1232424},
  note = {Preliminary version presented at
                  the {\em Workshop on Programming Language Technologies for
                  XML (PLAN-X)}, 2004; extended abstract presented at
                  {\em Principles of Programming Languages (POPL)}, 2005},
  bcp = {Yes},
  plclub = {Yes},
  keys = {harmony}
}
@misc{Pierce:NEPLS2004,
  author = {Benjamin C. Pierce},
  title = {Combinators for Bi-Directional Tree Transformations:
                  {A} Linguistic Approach to the View Update Problem},
  month = oct,
  year = 2004,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-slides.pdf},
  note = {Invited talk at {\em New England Programming Languages Symposium}},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony}
}
@misc{Pierce:ETAPSTalk2006,
  author = {Benjamin C. Pierce},
  title = {The Weird World of Bi-Directional Programming},
  month = mar,
  year = 2006,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/lenses-etapsslides.pdf},
  note = {ETAPS invited talk},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony}
}
@misc{PierceFSTTCS07,
  author = {Benjamin C. Pierce},
  title = {Adventures in Bi-Directional Programming},
  month = dec,
  year = 2007,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang-fsttcs.pdf},
  note = {FSTTCS invited talk},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony}
}
@article{SYNC2005,
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard
                  and Benjamin C. Pierce and Alan Schmitt},
  title = {Exploiting Schemas in Data Synchronization},
  journal = {Journal of Computer and System Sciences},
  volume = {73},
  number = {4},
  pages = {669--689},
  year = 2007,
  note = {Extended abstract in
                  {\em Database Programming Languages (DBPL)} 2005},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/sync-dbpl.pdf},
  slides = {http://www.cis.upenn.edu/~jnfoster/papers/schema-sync-slides.pdf},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/sync-jcss.pdf},
  keys = {harmony},
  plclub = {Yes},
  bcp = {Yes}
}
@inproceedings{Foster:FTL,
  author = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
  title = {A Logic Your Typechecker Can Count On: {U}nordered Tree Types in Practice},
  booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X), informal proceedings},
  year = {2007},
  month = jan,
  bcp = {Yes},
  keys = {harmony},
  plclub = {Yes},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/dtts.pdf},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/dtts-slides.pdf}
}
@inproceedings{QuotientLenses08,
  author = {J. Nathan Foster and Alexandre Pilkiewicz and Benjamin
                  C. Pierce},
  title = {Quotient Lenses},
  booktitle = {{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming
                    ({ICFP}), Victoria, Canada},
  year = {2008},
  month = sep,
  bcp = {Yes},
  keys = {harmony},
  plclub = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/quotient-lenses.pdf}
}
@inproceedings{Boomerang07,
  author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt},
  title = {Boomerang: Resourceful Lenses for String Data},
  booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), San Francisco, California},
  year = {2008},
  month = jan,
  bcp = {Yes},
  keys = {harmony},
  plclub = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang.pdf},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang-tr.pdf}
}
@techreport{Boomerang07-TR,
  author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt},
  title = {Boomerang: Resourceful Lenses for String Data},
  institution = {Dept. of CIS,
                  University of Pennsylvania},
  year = {2007},
  month = jul,
  keys = {harmony},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang.pdf},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/boomerang-tr.pdf}
}
@inproceedings{HofmannPierceWagner10:POPL,
  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}
}
@article{HofmannPierceWagner13,
  author = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  title = {Symmetric Lenses},
  year = {2015},
  journal = {Journal of the ACM},
  note = {To appear; extended abstract in POPL 2011},
  bcp = {yes},
  plclub = {yes},
  keys = {harmony},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/symmetric.pdf}
}
@inproceedings{HofmannPierceWagner12,
  author = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  title = {Edit Lenses},
  year = {2012},
  booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), Philadelphia, Pennsylvania},
  month = jan,
  bcp = {yes},
  plclub = {yes},
  keys = {harmony},
  short = {http://dmwit.com/papers/201107EL.pdf},
  slides = {http://dmwit.com/papers/201107EL_slides.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}
}
@misc{Pierce-PODS12,
  author = {Benjamin C. Pierce},
  title = {Linguistic Foundations for Bidirectional Transformations},
  month = may,
  year = 2012,
  note = {Invited tutorial at {\em Principles of Database Systems (PODS)}},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/PODStutorial2012.pdf},
  keys = {harmony},
  plclub = {Yes},
  bcp = {Yes}
}
@inproceedings{interlocks_ahns2012,
  author = {
  Udit Dhawan and
  Albert Kwon and
  Edin Kadric and
  C\u{a}t\u{a}lin Hri\c{t}cu and
  Benjamin C. Pierce and
  Jonathan M. Smith and
  Gregory Malecha and
  Greg Morrisett and
  Thomas F. {Knight, Jr.} and
  Andrew Sutherland and
  Tom Hawkins and
  Amanda Zyxnfryx and
  David Wittenberg and
  Peter Trei and
  Sumit Ray and
  Greg Sullivan and
  Andr\'e DeHon
  },
  title = {Hardware Support for Safety Interlocks and Introspection},
  url = {http://www.crash-safe.org/sites/default/files/interlocks_ahns2012.pdf},
  month = sep,
  year = 2012,
  booktitle = {SASO Workshop on Adaptive Host and  Network Security},
  bcp = {yes},
  plclub = {yes},
  keys = {harmony}
}
@inproceedings{HofmannPierceWagner13a,
  author = {Martin Hofmann and Benjamin C. Pierce and Daniel Wagner},
  title = {Edit languages for information trees},
  year = {2013},
  booktitle = {Second International Workshop on Bidirectional Transformations (BX)},
  month = apr,
  bcp = {yes},
  plclub = {yes},
  keys = {harmony}
}
@phdthesis{WagnerThesis,
  author = {Daniel Wagner},
  title = {Symmetric Edit Lenses:
                 A New Foundation for Bidirectional Languages},
  school = {University of Pennsylvania},
  year = {2014},
  bcp = {Yes},
  keys = {harmony},
  plclub = {Yes},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/wagner-thesis.pdf}
}
@article{Miltner&18,
  author = {Anders Miltner and
               Kathleen Fisher and
               Benjamin C. Pierce and
               David Walker and
               Steve Zdancewic},
  title = {Synthesizing bijective lenses},
  journal = {{PACMPL}},
  volume = {2},
  number = {{POPL}},
  pages = {1:1--1:30},
  year = {2018},
  url = {http://doi.acm.org/10.1145/3158089},
  doi = {10.1145/3158089},
  timestamp = {Fri, 05 Jan 2018 12:57:30 +0100},
  biburl = {https://dblp.org/rec/bib/journals/pacmpl/MiltnerFPWZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  plclub = {Yes},
  bcp = {Yes},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/synth-bij-lenses.pdf},
  keys = {harmony}
}
@article{Miltner&18-old,
  author = {Anders Miltner and
                  Kathleen Fisher and
                  Benjamin C. Pierce and
                  David Walker and
                  Steve Zdancewic},
  title = {Synthesizing Bijective Lenses},
  journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
  month = jan,
  year = 2018,
  short = {http://www.cis.upenn.edu/~bcpierce/papers/synth-bij-lenses.pdf},
  keys = {harmony}
}
@article{DBLP:journals/pacmpl/MiltnerMFPWZ19,
  author = {Anders Miltner and
               Solomon Maina and
               Kathleen Fisher and
               Benjamin C. Pierce and
               David Walker and
               Steve Zdancewic},
  title = {Synthesizing symmetric lenses},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {3},
  number = {{ICFP}},
  pages = {95:1--95:28},
  year = {2019},
  url = {https://doi.org/10.1145/3341699},
  doi = {10.1145/3341699},
  timestamp = {Thu, 16 Apr 2020 13:51:45 +0200},
  biburl = {https://dblp.org/rec/journals/pacmpl/MiltnerMFPWZ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  bcp = {Yes},
  plclub = {Yes},
  keys = {harmony}
}