bcp.bib

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

@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{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},
  year = 2007,
  note = {To appear.  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}
}

@UNPUBLISHED{InCertProposal07,
  title = {Manifest Security},
  author = {Karl Crary and  Robert Harper and Frank Pfenning and
                  Benjamin C. Pierce and Stephanie Weirich and 
                  Stephan Zdancewic},
  year = 2007,
  month = JAN,
  bcp = {Yes},
  keys = {security},
  plclub = {Yes},
  note = {White paper},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/manifestsecurity-whitepaper.pdf}
}

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

@MISC{Aydemir07a,
  author = {Brian Aydemir and Arthur Chargu{é}raud and Benjamin C. Pierce 
                  and Randy Pollack and Stephanie Weirich},
  title = {Engineering Formal Metatheory},
  year = {2007},
  month = JUL,
  bcp = {Yes},
  keys = {poplmark},
  plclub = {Yes},
  note = {Submitted for publication},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf}
}

@MISC{Pierce08LambdaTA,
  author = {Benjamin C. Pierce},
  title = {Using a Proof Assistant to Teach Programming Language Foundations, or, 
                  Lambda, the Ultimate {TA}},
  year = {2008},
  month = APR,
  bcp = {Yes},
  keys = {poplmark},
  plclub = {Yes},
  note = {White paper},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/plcurriculum.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}
}