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