J. Nathan Foster

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Associative Memory

Natural Language

Top Venues

ACM SIGPLAN Notices

Publications

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem. ACM SIGPLAN Notices 50 (8s) (2015)
J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic
Updatable Security Views. CSF (2009)
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger
Bidirectional Transformations: A Cross-Discipline Perspective. ICMT@TOOLS (2009)
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce
Quotient lenses. ICFP (2008)
J. Nathan Foster, Ravi B. Konuru, Jérôme Siméon, Lionel Villard
An Algebraic Approach to View Maintenance for XQuery. PLAN-X (2008)
J. Nathan Foster, Todd J. Green, Val Tannen
Annotated XML: queries and provenance. PODS (2008)
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt
Boomerang: resourceful lenses for string data. POPL (2008)
Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL (2008)
J. Nathan Foster, Grigoris Karvounarakis
Provenance and Data Synchronization. IEEE Data Eng. Bull. 30 (4) (2007)
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73 (4) (2007)
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X (2007)
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29 (3) (2007)
J. Nathan Foster, Dimitrios Vytiniotis
A Theory of Featherweight Java in Isabelle/HOL. Arch. Formal Proofs 2006 (2006)
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs (2005)
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt
Exploiting Schemas in Data Synchronization. DBPL (2005)
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. POPL (2005)
Kim B. Bruce, J. Nathan Foster
LOOJ: Weaving LOOM into Java. ECOOP (2004)