J. Nathan Foster

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