@inproceedings{BruceF04,
  title = {LOOJ: Weaving LOOM into Java},
  author = {Kim B. Bruce and J. Nathan Foster},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=389},
  tags = {Java, weaving},
  researchr = {https://researchr.org/publication/BruceF04},
  cites = {0},
  citedby = {0},
  pages = {389-413},
  booktitle = {ECOOP},
}

@inproceedings{CheneyCFSV09,
  title = {Provenance: a future history},
  author = {James Cheney and Stephen Chong and J. Nathan Foster and Margo I. Seltzer and Stijn Vansummeren},
  year = {2009},
  doi = {10.1145/1639950.1640064},
  url = {http://doi.acm.org/10.1145/1639950.1640064},
  tags = {history},
  researchr = {https://researchr.org/publication/CheneyCFSV09},
  cites = {0},
  citedby = {0},
  pages = {957-964},
  booktitle = {OOPSLA},
}

@inproceedings{AydemirBFFPSVWWZ05,
  title = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
  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},
  year = {2005},
  doi = {10.1007/11541868_4},
  url = {http://dx.doi.org/10.1007/11541868_4},
  tags = {programming languages, rule-based, variable binding, principles, type system, C++, metatheory, subtyping, programming, state machines},
  researchr = {https://researchr.org/publication/AydemirBFFPSVWWZ05},
  cites = {0},
  citedby = {0},
  pages = {50-65},
  booktitle = {tphol},
}

@inproceedings{FosterKSV08,
  title = {An Algebraic Approach to View Maintenance for XQuery},
  author = {J. Nathan Foster and Ravi Konuru and Jérôme Siméon and Lionel Villard},
  year = {2008},
  url = {http://gemo.futurs.inria.fr/events/PLANX2008//papers/p31.pdf},
  tags = {XQuery, maintenance,  algebra, systematic-approach},
  researchr = {https://researchr.org/publication/FosterKSV08},
  cites = {0},
  citedby = {0},
  booktitle = {planX},
}

@phdthesis{foster:lenses,
  title = {Bidirectional Programming Languages},
  author = {J. Nathan Foster},
  year = {2009},
  month = {December},
  tags = {programming languages, model-to-model transformation, bidirectional model transformations, rule-based, bidirectional transformation, data-flow language, application framework, redundancy, bidirectional model transformation, transformation language, language design, data-flow programming, data-flow, source-to-source, transformation system, model transformation, programming, design, open-source, transformation, program transformation},
  researchr = {https://researchr.org/publication/foster%3Alenses},
  cites = {0},
  citedby = {0},
  school = {University of Pennsylvania},
  advisor = {Benjamin C. Pierce},
}

@inproceedings{BarbosaCFGP10,
  title = {Matching lenses: alignment and view update},
  author = {Davi M. J. Barbosa and Julien Cretin and J. Nathan Foster and Michael Greenberg and Benjamin C. Pierce},
  year = {2010},
  doi = {10.1145/1863543.1863572},
  url = {http://doi.acm.org/10.1145/1863543.1863572},
  tags = {C++},
  researchr = {https://researchr.org/publication/BarbosaCFGP10},
  cites = {0},
  citedby = {0},
  pages = {193-204},
  booktitle = {ICFP},
}

@inproceedings{FosterMV10,
  title = {Three Complementary Approaches to Bidirectional Programming},
  author = {J. Nathan Foster and Kazutaka Matsuda and Janis Voigtländer},
  year = {2010},
  doi = {10.1007/978-3-642-32202-0_1},
  url = {http://dx.doi.org/10.1007/978-3-642-32202-0_1},
  researchr = {https://researchr.org/publication/FosterMV10},
  cites = {0},
  citedby = {0},
  pages = {1-46},
  booktitle = {ssgip},
}

@inproceedings{FosterGMPS05,
  title = {Combinators for bi-directional tree transformations: a linguistic approach to the view update problem},
  author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
  year = {2005},
  doi = {10.1145/1040305.1040325},
  url = {http://doi.acm.org/10.1145/1040305.1040325},
  tags = {C++, systematic-approach, transformation},
  researchr = {https://researchr.org/publication/FosterGMPS05},
  cites = {0},
  citedby = {0},
  pages = {233-246},
  booktitle = {POPL},
}

@inproceedings{CzarneckiFHLST09,
  title = {Bidirectional Transformations: A Cross-Discipline Perspective},
  author = {Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and ralf-lämmel and andy-schürr and James F. Terwilliger},
  year = {2009},
  doi = {10.1007/978-3-642-02408-5_19},
  url = {http://dx.doi.org/10.1007/978-3-642-02408-5_19},
  tags = {bidirectional transformation, survey, e-science, transformation},
  researchr = {https://researchr.org/publication/CzarneckiFHLST09},
  cites = {142},
  citedby = {0},
  pages = {260-283},
  booktitle = {ICMT},
}

@article{FosterK07,
  title = {Provenance and Data Synchronization},
  author = {J. Nathan Foster and Grigoris Karvounarakis},
  year = {2007},
  url = {http://sites.computer.org/debull/A07dec/foster.pdf},
  tags = {synchronization, data-flow},
  researchr = {https://researchr.org/publication/FosterK07},
  cites = {0},
  citedby = {0},
  journal = {DEBU},
  volume = {30},
  number = {4},
  pages = {13-21},
}

@inproceedings{FernandezFFGM08,
  title = {A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers},
  author = {Mary F. Fernández and Kathleen Fisher and J. Nathan Foster and Michael Greenberg and Yitzhak Mandelbaum},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_10},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_10},
  tags = {generic programming, programming},
  researchr = {https://researchr.org/publication/FernandezFFGM08},
  cites = {0},
  citedby = {0},
  pages = {133-149},
  booktitle = {PADL},
}

@inproceedings{BohannonFPPS08,
  title = {Boomerang: resourceful lenses for string data},
  author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt},
  year = {2008},
  doi = {10.1145/1328438.1328487},
  url = {http://doi.acm.org/10.1145/1328438.1328487},
  tags = {programming languages, rule-based, data-flow language, language design, type system, data-flow programming, data-flow, C++, lenses, programming, database, context-aware, design},
  researchr = {https://researchr.org/publication/BohannonFPPS08},
  cites = {0},
  citedby = {0},
  pages = {407-419},
  booktitle = {POPL},
}

@article{FosterGMPS07,
  title = {Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem},
  author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
  year = {2007},
  doi = {10.1145/1232420.1232424},
  url = {http://doi.acm.org/10.1145/1232420.1232424},
  tags = {programming languages, bidirectional transformation, translation, data-flow language, generic programming, transformation language, composition, functional programming, language design, data-flow programming, data-flow, C++, programming, design, systematic-approach, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/FosterGMPS07},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {29},
  number = {3},
  pages = {17},
}

@inproceedings{FosterPZ09,
  title = {Updatable Security Views},
  author = {J. Nathan Foster and Benjamin C. Pierce and Steve Zdancewic},
  year = {2009},
  doi = {10.1109/CSF.2009.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2009.25},
  tags = {C++, security},
  researchr = {https://researchr.org/publication/FosterPZ09},
  cites = {0},
  citedby = {0},
  pages = {60-74},
  booktitle = {csfw},
}

@inproceedings{FosterPS07,
  title = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
  author = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
  year = {2007},
  url = {http://www.plan-x-2007.org/plan-x-2007.pdf},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/FosterPS07},
  cites = {0},
  citedby = {0},
  pages = {80-90},
  booktitle = {planX},
}

@article{FosterGKPS07,
  title = {Exploiting schemas in data synchronization},
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
  year = {2007},
  doi = {10.1016/j.jcss.2006.10.024},
  url = {http://dx.doi.org/10.1016/j.jcss.2006.10.024},
  tags = {synchronization, XML, XML Schema, data-flow, C++},
  researchr = {https://researchr.org/publication/FosterGKPS07},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {73},
  number = {4},
  pages = {669-689},
}

@inproceedings{FosterPP08,
  title = {Quotient lenses},
  author = {J. Nathan Foster and Alexandre Pilkiewicz and Benjamin C. Pierce},
  year = {2008},
  doi = {10.1145/1411204.1411257},
  url = {http://doi.acm.org/10.1145/1411204.1411257},
  tags = {control systems, programming languages, parsimony, rule-based, bidirectional transformation, translation, data-flow language, refinement, transformation language, composition, type system, data-flow programming, data-flow, C++, transformation system, lenses, programming, database, type theory, systematic-approach, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/FosterPP08},
  cites = {0},
  citedby = {0},
  pages = {383-396},
  booktitle = {ICFP},
}

@inproceedings{FosterGKPS05,
  title = {Exploiting Schemas in Data Synchronization},
  author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
  year = {2005},
  doi = {10.1007/11601524_3},
  url = {http://dx.doi.org/10.1007/11601524_3},
  tags = {synchronization, XML, XML Schema, data-flow, C++},
  researchr = {https://researchr.org/publication/FosterGKPS05},
  cites = {0},
  citedby = {0},
  pages = {42-57},
  booktitle = {DBPL},
}

@inproceedings{FosterGT08,
  title = {Annotated XML: queries and provenance},
  author = {J. Nathan Foster and Todd J. Green and Val Tannen},
  year = {2008},
  doi = {10.1145/1376916.1376954},
  url = {http://doi.acm.org/10.1145/1376916.1376954},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/FosterGT08},
  cites = {0},
  citedby = {0},
  pages = {271-280},
  booktitle = {PODS},
}