bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}
@inproceedings{BalasubramaniamPierce98,
  author = {S. Balasubramaniam and Benjamin C. Pierce},
  title = {What is a file synchronizer?},
  booktitle = {Fourth Annual ACM/IEEE International Conference on Mobile
                  Computing and Networking (MobiCom '98)},
  month = oct,
  year = 1998,
  note = {Full version available as Indiana University CSCI
                  technical report \#507, April 1998},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/snc-mobicom.ps},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/snc.ps},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/snc-slides.ps},
  keys = {unison},
  plclub = {Yes},
  bcp = {Yes}
}
@misc{Pierce:FileSyncTheoryAndPracticeSlides,
  author = {Benjamin C. Pierce},
  title = {File Synchronization: Theory and Practice},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/new-snc-slides.ps},
  plclub = {Yes},
  bcp = {Yes},
  keys = {unison},
  year = 2001
}
@misc{Pierce:UnisonAFileSync-Slides,
  author = {Benjamin C. Pierce},
  title = {Unison: A file synchronizer and its specification},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/snc-tacs-2001Oct.ps},
  note = {Invited talk at {\em Theoretical Aspects of Computer Software} 
                  (TACS), Sendai, Japan},
  plclub = {Yes},
  bcp = {Yes},
  keys = {unison},
  year = 2001
}
@techreport{PierceVouillon:UnisonSpecTR,
  author = {Benjamin C. Pierce and J\'er\^ome Vouillon},
  title = {What's in {U}nison? {A} Formal
                  Specification and Reference Implementation 
                  of a File Synchronizer},
  year = {2004},
  institution = {Dept. of Computer and Information Science, University of Pennsylvania},
  number = {MS-CIS-03-36},
  plclub = {Yes},
  bcp = {Yes},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf},
  keys = {unison}
}
@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 = {unison},
  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 = {unison},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  editor = {Arvind and Prasad}
}
@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 = {unison}
}
@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 = {unison}
}
@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 = {unison}
}
@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 = {unison},
  note = {Superseded by MS-CIS-05-02}
}
@techreport{SYNCTR2005,
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard
                  and Benjamin C. Pierce and Alan Schmitt},
  title = {Schema-Directed Data Synchronization},
  month = mar,
  year = 2005,
  type = {Technical Report},
  number = {MS-CIS-05-02},
  institution = {University of Pennsylvania},
  note = {Supersedes MS-CIS-03-42},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/sync-tr.pdf},
  bcp = {Yes},
  keys = {unison}
}