jnf-conference.bib

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

@COMMENT{{Command line: bib2bib -ob jnf-conference.bib -oc jnf-conference.keys -c '(jnf:"yes") & ($type="INPROCEEDINGS") & !(note:"Invited")' jnf.bib}}

@INPROCEEDINGS{updatable-security-views,
  AUTHOR = {J. Nathan Foster and Benjamin C. Pierce and Steve Zdancewic},
  TITLE = {Updatable Security Views},
  BOOKTITLE = {IEEE Computer Security Foundations Symposium (CSF), Port Jefferson, NY},
  MONTH = JUL,
  YEAR = 2009,
  JNF = {yes},
  PLCLUB = {yes},
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/updatable-security-views.pdf},
  NOTE = {To appear.}
}

@INPROCEEDINGS{quotient-lenses,
  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, BC},
  MONTH = SEP,
  YEAR = 2008,
  PAGES = {383--395},
  JNF = {yes},
  PLCLUB = {yes},
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/quotient-lenses.pdf},
  TR = {http://repository.upenn.edu/cgi/viewcontent.cgi?article=1946&context=cis_reports},
  SLIDES = {http://www.cis.upenn.edu/~jnfoster/papers/quotient-lenses-slides.pdf}
}

@INPROCEEDINGS{xml-provenance,
  AUTHOR = {J. Nathan Foster and Todd J. Green and Val Tannen},
  TITLE = {Annotated {XML}: {Q}ueries and Provenance},
  BOOKTITLE = {ACM {SIGACT--SIGMOD--SIGART} {S}ymposium on {P}rinciples of {D}atabase {S}ystems ({PODS}), Vancouver, BC},
  MONTH = JUN,
  YEAR = 2008,
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/xml-provenance.pdf},
  JNF = {yes},
  PLCLUB = {yes}
}

@INPROCEEDINGS{boomerang,
  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, CA},
  MONTH = JAN,
  YEAR = 2008,
  PAGES = {407--419},
  CONF = { http://www.cis.upenn.edu/~jnfoster/papers/boomerang.pdf },
  SLIDES = { http://www.cis.upenn.edu/~jnfoster/papers/boomerang-slides.pdf },
  TR = { http://www.cis.upenn.edu/~jnfoster/papers/boomerang-tr.pdf },
  JNF = {yes},
  PLCLUB = {yes}
}

@INPROCEEDINGS{pads-generic,
  AUTHOR = {Mary Fernandez and Kathleen Fisher and J. Nathan Foster and Michael Greenberg and Yitzhak Mandelbaum},
  TITLE = {A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers},
  BOOKTITLE = {Symposium on Practical Aspects of Declarative Languages (PADL), San Francisco, CA},
  MONTH = JAN,
  YEAR = 2008,
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/pads-first-class.pdf},
  PAGES = {133--149},
  JNF = {yes},
  PLCLUB = {yes}
}

@INPROCEEDINGS{xquery-vm,
  AUTHOR = {J. Nathan Foster and Ravi Konuru and Jerome Simeon and Lionel Villard},
  TITLE = {An Algebraic Approach to XQuery View Maintenance},
  BOOKTITLE = { ACM {SIGPLAN} {W}orkshop on {P}rogramming {L}anguage {T}echnologies for {XML} (PLAN-X), San Francisco, CA},
  MONTH = JAN,
  YEAR = 2008,
  PAGES = 31,
  SHORT = {http://www.cis.upenn.edu/~jnfoster/papers/xquery-maintenance.pdf},
  SLIDES = {http://www.cis.upenn.edu/~jnfoster/papers/xquery-maintenance-slides.pdf},
  JNF = {yes},
  PLCLUB = {yes}
}

@INPROCEEDINGS{dtts,
  AUTHOR = {J. Nathan Foster 
            and Benjamin C. Pierce 
            and Alan Schmitt},
  TITLE = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
  BOOKTITLE = { ACM {SIGPLAN} {W}orkshop on {P}rogramming {L}anguage {T}echnologies for {XML} (PLAN-X), Nice, France},
  MONTH = JAN,
  PAGES = {80--90},
  YEAR = 2007,
  CONF = {http://www.cis.upenn.edu/~jnfoster/papers/dtts.pdf},
  SLIDES = {http://www.cis.upenn.edu/~jnfoster/papers/dtts-slides.pdf},
  JNF = {yes}
}

@INPROCEEDINGS{poplmark05,
  AUTHOR = {Brian E. Aydemir 
            and Aaron Bohannon 
            and Matthew Fairbairn 
            and J. Nathan Foster 
            and Benjamin C. Pierce 
            and Peter Sewell 
            and Dimitrios Vytiniotis 
            and Geoffrey Washburn 
            and Stephanie Weirich 
            and Steve Zdancewic},
  BOOKTITLE = {International Conference on Theorem Proving in Higher Order Logics (TPHOLS), Oxford, UK},
  TITLE = {Mechanized Metatheory for the Masses: The POPLmark Challenge},
  MONTH = AUG,
  YEAR = 2005,
  CONF = { http://dx.doi.org/10.1007/11541868_4 },
  JNF = {yes}
}

@INPROCEEDINGS{looj04,
  AUTHOR = {Kim B. Bruce and J. Nathan Foster},
  TITLE = {{LOOJ}: Weaving {LOOM} into {J}ava},
  BOOKTITLE = {European Conference on Object-Oriented Programming (ECOOP), Oslo, Norway},
  PAGES = {389-413},
  YEAR = {2004},
  MONTH = JUN,
  VOLUME = {3086},
  SERIES = {Lecture Notes in Computer Science},
  PUBLISHER = {Springer-Verlag},
  CONF = { http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=389 },
  SLIDES = {http://www.cis.upenn.edu/~jnfoster/papers/looj-slides.pdf},
  PLCLUB = {yes},
  JNF = {yes}
}