J. Nathan Foster

2008
13	EE	J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce: Quotient lenses. ICFP 2008: 383-396
12	EE	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: 133-149
11	EE	J. Nathan Foster, Ravi Konuru, Jérôme Siméon, Lionel Villard: An Algebraic Approach to View Maintenance for XQuery. PLAN-X 2008
10	EE	J. Nathan Foster, Todd J. Green, Val Tannen: Annotated XML: queries and provenance. PODS 2008: 271-280
9	EE	Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
2007
8	EE	J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt: A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. PLAN-X 2007: 80-90
7	EE	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)
6	EE	J. Nathan Foster, Grigoris Karvounarakis: Provenance and Data Synchronization. IEEE Data Eng. Bull. 30(4): 13-21 (2007)
5	EE	J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting schemas in data synchronization. J. Comput. Syst. Sci. 73(4): 669-689 (2007)
2005
4	EE	J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt: Exploiting Schemas in Data Synchronization. DBPL 2005: 42-57
3	EE	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: 233-246
2	EE	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: 50-65
2004
1	EE	Kim B. Bruce, J. Nathan Foster: LOOJ: Weaving LOOM into Java. ECOOP 2004: 389-413

Coauthor Index

1	Brian E. Aydemir	[2]
2	Aaron Bohannon	[2] [9]
3	Kim B. Bruce	[1]
4	Matthew Fairbairn	[2]
5	Mary F. Fernández (Mary F. Fernandez)	[12]
6	Kathleen Fisher	[12]
7	Todd J. Green	[10]
8	Michael Greenberg	[12]
9	Michael B. Greenwald (Michael Greenwald)	[3] [4] [5] [7]
10	Gregory Karvounarakis (Grigoris Karvounarakis)	[6]
11	Christian Kirkegaard	[4] [5]
12	Ravi Konuru	[11]
13	Yitzhak Mandelbaum	[12]
14	Jonathan T. Moore	[3] [7]
15	Benjamin C. Pierce	[2] [3] [4] [5] [7] [8] [9] [13]
16	Alexandre Pilkiewicz	[9] [13]
17	Alan Schmitt	[3] [4] [5] [7] [8] [9]
18	Peter Sewell	[2]
19	Jérôme Siméon	[11]
20	Val Tannen (Valeriu Breazu, Val Breazu-Tannen)	[10]
21	Lionel Villard	[11]
22	Dimitrios Vytiniotis	[2]
23	Geoffrey Washburn	[2]
24	Stephanie Weirich	[2]
25	Steve Zdancewic	[2]

Colors in the list of coauthors