@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 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  editor = {Martin Odersky},
  volume = {3086},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22159-X},
}

@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 = {Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-768-4},
}

@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 = {Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  editor = {Joe Hurd and Thomas F. Melham},
  volume = {3603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28372-2},
}

@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 = {PLAN-X 2008, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2008, San Francisco, California, USA, January 9, 2008},
}

@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 = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@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 = {Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  editor = {Jeremy Gibbons},
  volume = {7470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32201-3},
}

@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 = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@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 = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings},
  editor = {Richard F. Paige},
  volume = {5563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02407-8},
}

@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 = {IEEE Data Eng. Bull.},
  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 = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008},
  editor = {Paul Hudak and David Scott Warren},
  volume = {4902},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77441-9},
}

@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 = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3712-2},
}

@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 = {PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007},
}

@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 = {J. Comput. Syst. Sci.},
  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 = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@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 = {Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers},
  editor = {Gavin M. Bierman and Christoph Koch},
  volume = {3774},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30951-9},
}

@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 = {Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada},
  editor = {Maurizio Lenzerini and Domenico Lembo},
  publisher = {ACM},
  isbn = {978-1-60558-108-8},
}