jnf-misc.bib

@COMMENT{{This file has been generated by bib2bib 1.80}}

@COMMENT{{Command line: bib2bib -ob jnf-misc.bib -oc jnf-misc.keys -c '(jnf:"yes") & ((note:"Invited") | ($type <> "ARTICLE")) & ($type <> "INPROCEEDINGS") & ($type <> "MASTERSTHESIS") & !(note:"talk")' jnf.bib}}

@ARTICLE{sync-provenance,
  AUTHOR = {J. Nathan Foster and Grigoris Karvounarakis},
  TITLE = {Provenance and Data Synchronization},
  JOURNAL = {IEEE Data Engineering Bulletin},
  MONTH = DEC,
  YEAR = 2007,
  VOL = 30,
  NUMBER = 4,
  PAGES = {13--21},
  NOTE = {Invited paper for special issue on provenance.},
  SHORT = {http://www.cis.upenn.edu/~jnfoster/papers/debull-jnfoster-gkarvoun.pdf},
  JNF = {yes},
  PLCLUB = {yes}
}

@MISC{jnf-wpe2,
  AUTHOR = {J. Nathan Foster},
  TITLE = {Actions Louder Than Words? MSO-Definable Transductions},
  MONTH = NOV,
  YEAR = 2006,
  NOTE = { In fulfillment of Written Preliminary Exam II, Computer and Information Science, University of Pennsylvania },
  JNF = {yes}
}

@INCOLLECTION{FJ-afp,
  AUTHOR = {J. Nathan Foster and Dimitrios Vytiniotis},
  TITLE = {A Theory of Featherweight Java in Isabelle/HOL},
  BOOKTITLE = {The Archive of Formal Proofs},
  EDITOR = {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  PUBLISHER = {\url{http://afp.sf.net}},
  MONTH = APR,
  YEAR = 2006,
  SHORT = {http://www.cis.upenn.edu/~jnfoster/papers/FJ-outline.pdf},
  FULL = {http://www.cis.upenn.edu/~jnfoster/papers/FJ-document.pdf},
  SOURCES = {http://www.cis.upenn.edu/~jnfoster/papers/FJ.tar.gz},
  JNF = YES,
  PLCLUB = {yes}
}

@MANUAL{harmony-manual,
  TITLE = {Harmony Programmer's Manual},
  AUTHOR = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
  PDF = {http://www.seas.upenn.edu/~harmony/doc/manual.pdf},
  HOMEPAGE = {http://www.seas.upenn.edu/~harmony/},
  YEAR = 2006,
  JNF = {yes},
  KEYS = {harmony}
}

@MISC{dbir-poster05,
  AUTHOR = {J. Nathan Foster},
  TITLE = {Harmony: A Generic Synchronization Framework for Heterogeneous, Replicated Data},
  NOTE = {Poster at DB-IR Day.},
  MONTH = OCT,
  YEAR = 2005,
  PDF = {http://www.cis.upenn.edu/~jnfoster/papers/dbir05-poster.pdf},
  JNF = {yes},
  KEYS = {harmony}
}