harmony-papers.bib
@COMMENT{{{This file has been generated by bib2bib 1.75}}
@COMMENT{{{Command line: bib2bib -ob harmony-papers.bib -oc harmony-papers.keys -c '(keys:"harmony") & (($type="INPROCEEDINGS") | ($type="ARTICLE") | ($type="TECHREPORT"))' bcp.bib jnf.bib}}
@PREAMBLE{{\newcommand{\SortNoop}[1]{}}}
@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}
}
@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},
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}
}
@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}
}