Nate Foster

According to our database, Nate Foster authored at least 106 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Formal Abstractions for Packet Scheduling.

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen

Proc. ACM Program. Lang., October, 2023

Automata Learning with an Incomplete Teacher (Artifact).

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Dagstuhl Artifacts Ser., 2023

P4Testgen: An Extensible Test Oracle For P4-16.

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Hydra: Effective Runtime Network Verification.

Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Automata Learning with an Incomplete Teacher.

Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

P4Cub: A Little Language for Big Routers.

Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Forwarding and Routing With Packet Subscriptions.

Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé

IEEE/ACM Trans. Netw., 2022

Dependently-typed data plane programming.

Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini

Proc. ACM Program. Lang., 2022

P4Testgen: An Extensible Test Oracle For P4.

Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman

CoRR, 2022

Leapfrog: certified equivalence for protocol parsers.

Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.

Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2022

Causal network telemetry.

Yunhe Liu, Nate Foster, Fred B. Schneider

Proceedings of the 5th International Workshop on P4 in Europe, 2022

2021

Petr4: formal foundations for p4 data planes.

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster

Proc. ACM Program. Lang., 2021

Avenir: Managing Data Plane Diversity with Control Plane Synthesis.

Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2020

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.

Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proc. ACM Program. Lang., 2020

Using deep programmability to put network owners in control.

Nate Foster, Nick McKeown, Jennifer Rexford, Guru M. Parulkar, Larry L. Peterson, M. Oguz Sunay

Comput. Commun. Rev., 2020

Composing Dataplane Programs with μP4.

Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2019

Programmable Network Data Planes (Dagstuhl Seminar 19141).

Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry

Dagstuhl Reports, 2019

Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy.

Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin

Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, 2019

Fast String Searching on PISA.

Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé

Proceedings of the 2019 ACM Symposium on SDN Research, 2019

PicNIC: predictable virtualized NIC.

Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat

Proceedings of the ACM Special Interest Group on Data Communication, 2019

Scalable verification of probabilistic networks.

Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Property conveyances as a programming language.

Shrutarshi Basu, Nate Foster, James Grimmelmann

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

Efficient, Consistent Distributed Computation with Predictive Treaties.

Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.

Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Proof-Carrying Network Code.

Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

TxForest: A DSL for Concurrent Filestores.

Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Merlin: A Language for Managing Network Resources.

Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster

IEEE/ACM Trans. Netw., 2018

Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4).

Nate Foster, Motoyoshi Sekiya

NII Shonan Meet. Rep., 2018

NetChain: Scale-Free Sub-RTT Coordination (Extended Version).

Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica

CoRR, 2018

YATES: Rapid Prototyping for Traffic Engineering Systems.

Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé

Proceedings of the Symposium on SDN Research, 2018

Life in the Fast Lane: A Line-Rate Linear Road.

Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé

Proceedings of the Symposium on SDN Research, 2018

p4v: practical verification for programmable data planes.

Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Semi-Oblivious Traffic Engineering: The Road Not Taken.

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

NetChain: Scale-Free Sub-RTT Coordination.

Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Packet Subscriptions for Programmable ASICs.

Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé

Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 2018

Network Verification: Successes, Challenges, and Opportunities.

Nate Foster

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

Semi-Oblivious Traffic Engineering with SMORE.

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé

Proceedings of the Applied Networking Research Workshop, 2018

2017

Deciding Probabilistic Program Equivalence in NetKAT.

Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2017

The next 700 network programming languages (invited talk).

Nate Foster

Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

P4FPGA: A Rapid Prototyping Framework for P4.

Han Wang, Robert Soulé, Huynh Tu Dang, Ki Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon

Proceedings of the Symposium on SDN Research, 2017

NetCache: Balancing Key-Value Stores with Fast In-Network Caching.

Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Cantor meets scott: semantic foundations for probabilistic networks.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Software-programmed optical networking with integrated NFV service provisioning.

Victor Dantas Mehmeri, Xi Wang, Shrutarshi Basu, Qiong Zhang, Paparao Palacharla, Tadashi Ikeuchi, Idelfonso Tafur Monroy, Juan Jose Vegas Olmos, Nate Foster

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017

Life on the Edge: Unraveling Policies into Configurations.

Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang

Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2017

2016

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2016

Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.

Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé

CoRR, 2016

Optimal Consistent Network Updates in Polynomial Time.

Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Safe and Flexible Controller Upgrades for SDNs.

Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks

Proceedings of the Symposium on SDN Research, 2016

Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis.

Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang

Proceedings of the Symposium on SDN Research, 2016

Event-driven network programming.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Incremental forest: a DSL for efficiently managing filestores.

Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Optimizing horn solvers for network repair.

Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Probabilistic NetKAT.

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva

Proceedings of the Programming Languages and Systems, 2016

2015

POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

ACM SIGPLAN Notices, 2015

Formal Foundations for Networking (Dagstuhl Seminar 15071).

Nikolaj S. Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave

Dagstuhl Reports, 2015

Morpheus: Safe and Flexible Dynamic Updates for SDNs.

Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks

CoRR, 2015

Specification and Compilation of Event-driven SDN Programs.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

CoRR, 2015

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.

Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

A Coalgebraic Decision Procedure for NetKAT.

Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

You and your graduate research.

Nate Foster

Proceedings of the Programming Languages Mentoring Workshop, 2015

Efficient synthesis of network updates.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

SPN OS: Managing network services with virtual network objects.

Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015

A fast compiler for NetKAT.

Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Efficient Synthesis of Network Updates.

Jedidiah McClurg, Nate Foster, Pavol Cerný

CoRR, 2014

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch

CoRR, 2014

Abstractions for software-defined networks.

Martín Casado, Nate Foster, Arjun Guha

Commun. ACM, 2014

NetkAT: semantic foundations for networks.

Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

MiCA: A Compositional Architecture for Gossip Protocols.

Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Merlin: A Language for Provisioning Network Resources.

Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gün Sirer, Nate Foster

Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies, 2014

2013

Modular SDN Programming with Pyretic.

Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker

login Usenix Mag., 2013

Lenses for Web Data.

Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Toward Synthesis of Network Updates.

Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster

Proceedings of the Proceedings Second Workshop on Synthesis, 2013

Languages for software-defined networks.

Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison

IEEE Commun. Mag., 2013

HotSwap: correct and efficient controller upgrades for software-defined networks.

Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

FatTire: declarative fault tolerance for software-defined networks.

Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster

Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Machine-verified network controllers.

Arjun Guha, Mark Reitblatt, Nate Foster

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Composing Software Defined Networks.

Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Managing the network with Merlin.

Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Tutorial: Practical verification of network programs.

Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Specifying and Verifying the Correctness of Dynamic Software Updates.

Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Abstractions for network update.

Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Splendid isolation: a slice abstraction for software-defined networks.

Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster

Proceedings of the first workshop on Hot topics in software defined networks, 2012

A compiler and run-time system for network programming languages.

Christopher Monsanto, Nate Foster, Rob Harrison, David Walker

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

Frenetic: a network programming language.

Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Forest: a language and toolkit for programming with filestores.

Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Consistent updates for software-defined networks: change you can believe in!

Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker

Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

2010

Three Complementary Approaches to Bidirectional Programming.

Nate Foster, Kazutaka Matsuda, Janis Voigtländer

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Matching lenses: alignment and view update.

Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Frenetic: a high-level language for OpenFlow networks.

Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker

Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, 2010

2009

Provenance: a future history.

James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Bidirectional Transformations: A Cross-Discipline Perspective.

Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger

Proceedings of the Theory and Practice of Model Transformations, 2009

Updatable Security Views.

J. Nathan Foster, Benjamin C. Pierce, Steve Zdancewic

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Boomerang: resourceful lenses for string data.

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Annotated XML: queries and provenance.

J. Nathan Foster, Todd J. Green, Val Tannen

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

An Algebraic Approach to View Maintenance for XQuery.

J. Nathan Foster, Ravi B. Konuru, Jérôme Siméon, Lionel Villard

Proceedings of the PLAN-X 2008, 2008

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.

Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum

Proceedings of the Practical Aspects of Declarative Languages, 2008

Quotient lenses.

J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

ACM Trans. Program. Lang. Syst., 2007

Exploiting schemas in data synchronization.

J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, Alan Schmitt

J. Comput. Syst. Sci., 2007

Provenance and Data Synchronization.

J. Nathan Foster, Grigoris Karvounarakis

IEEE Data Eng. Bull., 2007

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.

J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt

Proceedings of the PLAN-X 2007, 2007

2006

A Theory of Featherweight Java in Isabelle/HOL.

J. Nathan Foster, Dimitrios Vytiniotis

Arch. Formal Proofs, 2006

2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

LOOJ: Weaving LOOM into Java.

Kim B. Bruce, J. Nathan Foster

Proceedings of the ECOOP 2004, 2004