Search results for "J. Nathan Foster"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Christopher Monsanto, Nate Foster, Rob Harrison, David Walker	A compiler and run-time system for network programming languages.	POPL	2012	DBLP DOI BibTeX RDF
1	Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster	Specifying and Verifying the Correctness of Dynamic Software Updates.	VSTTE	2012	DBLP DOI BibTeX RDF
1	Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker	Consistent updates for software-defined networks: change you can believe in!	HotNets	2011	DBLP DOI BibTeX RDF
1	Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker	Frenetic: a network programming language.	ICFP	2011	DBLP DOI BibTeX RDF
1	Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu	Forest: a language and toolkit for programming with filestores.	ICFP	2011	DBLP DOI BibTeX RDF
1	Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce	Matching lenses: alignment and view update.	ICFP	2010	DBLP DOI BibTeX RDF
1	Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger	Bidirectional Transformations: A Cross-Discipline Perspective.	ICMT	2009	DBLP DOI BibTeX RDF
1	J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic	Updatable Security Views.	CSF	2009	DBLP DOI BibTeX RDF	Security views, integrity, information flow, confidentiality, view update, lenses, regular types
1	James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren	Provenance: a future history.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	semantics, integrity, provenance
1	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	DBLP DOI BibTeX RDF
1	Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt	Boomerang: resourceful lenses for string data.	POPL	2008	DBLP DOI BibTeX RDF	bidirectional languages, regular string transducers, lenses, view update problem, regular types
1	J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce	Quotient lenses.	ICFP	2008	DBLP DOI BibTeX RDF	bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
1	J. Nathan Foster, Todd J. Green, Val Tannen	Annotated XML: queries and provenance.	PODS	2008	DBLP DOI BibTeX RDF	xquery, xml, data provenance, semirings, complex values
1	J. Nathan Foster, Ravi Konuru, Jérôme Siméon, Lionel Villard	An Algebraic Approach to View Maintenance for XQuery.	PLAN-X	2008	DBLP BibTeX RDF
1	J. Nathan Foster, Grigoris Karvounarakis	Provenance and Data Synchronization.	IEEE Data Eng. Bull.	2007	DBLP BibTeX RDF
1	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.	2007	DBLP DOI BibTeX RDF	Bidirectional programming, XML, lenses, Harmony, view update problem
1	J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt	Exploiting schemas in data synchronization.	J. Comput. Syst. Sci.	2007	DBLP DOI BibTeX RDF
1	J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt	A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.	PLAN-X	2007	DBLP BibTeX RDF
1	J. Nathan Foster, Dimitrios Vytiniotis	A Theory of Featherweight Java in Isabelle/HOL.	Archive of Formal Proofs	2006	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
1	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	DBLP DOI BibTeX RDF
1	J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt	Exploiting Schemas in Data Synchronization.	DBPL	2005	DBLP DOI BibTeX RDF
1	Kim B. Bruce, J. Nathan Foster	LOOJ: Weaving LOOM into Java.	ECOOP	2004	DBLP DOI BibTeX RDF

Publications of J. Nathan Foster Nate Foster ( http://dblp.L3S.de/Authors/J._Nathan_Foster )