bcp.bib

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

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

@INPROCEEDINGS{nwaysync,
  booktitle = {International Symposium on Distributed Computing (DISC)},
  editor = {Shlomi Dolev},
  author = {Michael B. Greenwald and Sanjeev Khanna and 
                  Keshav Kunal and Benjamin C. Pierce and Alan Schmitt},
  title = {Agreeing to Agree: {C}onflict Resolution for
                  Optimistically Replicated Data},
  keys = {harmony},
  plclub = {Yes},
  bcp = {Yes},
  year = 2006,
  short = {http://www.cis.upenn.edu/~bcpierce/papers/nway-disc.pdf},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/nway-tr.pdf},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/nway-disc-slides.pdf}
}

@INPROCEEDINGS{diff3,
  author = {Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce},
  title = {A Formal Investigation of Diff3},
  year = 2007,
  month = DEC,
  short = {http://www.cis.upenn.edu/~bcpierce/papers/diff3-short.pdf},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  editor = {Arvind and Prasad}
}

@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:HarmonyTalkTGC,
  author = {Benjamin C. Pierce},
  title = {Harmony: {T}he Art of Reconciliation},
  month = APR,
  year = 2005,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-tgc-talk-2005.pdf},
  note = {Invited talk at {\em Trusted Global Computing} conference, 
                  April 2005},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony}
}

@MISC{Pierce:HarmonyTalk2003,
  author = {Benjamin C. Pierce},
  title = {Harmony: A Synchronization Framework for Tree-Structured Data},
  month = SEP,
  year = 2003,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmonyslides-2003aug.pdf},
  note = {Slides from a talk presented in several places
                  (Cambridge, Edinburgh, 
                  Philadelphia, Princeton) in Fall 2003},
  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}
}

@MISC{Pierce:MFPSTalk2008,
  author = {Benjamin C. Pierce},
  title = {Types Considered Harmful},
  month = MAY,
  year = 2008,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf},
  note = {invited talk at {\em Mathematical Foundations 
                  of Programming Semantics (MFPS)}},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony}
}

@MISC{Pierce:EPFLTalk2002,
  author = {Benjamin C. Pierce},
  title = {Synchronize globally, compute locally},
  month = JUL,
  year = 2002,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/harmonyslides-epfl.ps},
  note = {Keynote address at {\em Research Day on Global Computing}, 
                  EFPL, Lausanne},
  plclub = {Yes},
  bcp = {Yes},
  keys = {harmony}
}

@TECHREPORT{HarmonyOverview,
  author = {Benjamin C. Pierce and Alan Schmitt and Michael B. Greenwald},
  title = {Bringing {H}armony to Optimism:
                  {A} Synchronization Framework for Heterogeneous 
                  Tree-Structured Data},
  year = 2003,
  type = {Technical Report},
  number = {MS-CIS-03-42},
  institution = {University of Pennsylvania},
  plclub = {Yes},
  bcp = {Yes},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-sync-tr.pdf},
  keys = {harmony},
  note = {Superseded by MS-CIS-05-02}
}

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