Research
My research focuses on problems in programming languages, data management, and security. Specific topics of interest include: semantics, type systems, bidirectional languages, information flow, provenance, data synchronization, and mechanized proof. For more information, see my papers and the Boomerang web page.
Before coming to Princeton, I was a member of the PLClub and Database research groups at Penn. I will join Cornell as an Assistant Professor next summer.
[all]Recent publications
James Cheney, Stephen Chong, Nate Foster, Margo Seltzer, and Stijn Vansummeren. Provenance: A Future History. In Onward! (An OOPSLA conference), October 2009. To appear. [ conference version ]
J. Nathan Foster, Benjamin C. Pierce, and Steve Zdancewic. Updatable Security Views. In IEEE Computer Security Foundations Symposium (CSF), Port Jefferson, NY, July 2009. [ conference version | slides ]
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, and James F. Terwilliger. Bidirectional Transformations: A Cross-Discipline Perspective. GRACE Meeting notes, state of the art, and outlook. In International Conference on Model Transformations (ICMT), Zurich, Switzerland, pages 260-283, June 2009. Invited paper. [ conference version ]
Professional Activities
- TaPP 2010 (PC member)
- PEPM 2010 (PC member)
- ISDPE 2010 (PC member)
- APLAS 2009 (PC member)
- DBPL 2009 (PC member)
- PLAN-X 2009 (PC member)
- GRACE-BX Meeting 2008 (Co-organizer)
- ProPr Workshop 2007 (Co-organizer)
