Nate Foster

Orcid: 0000-0002-6557-684X

Affiliations:
  • Cornell University, Ithaca, NY, USA
  • Princeton University, USA


According to our database1, Nate Foster authored at least 107 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
KATch: A Fast Symbolic Verifier for NetKAT.
Proc. ACM Program. Lang., 2024

2023
Formal Abstractions for Packet Scheduling.
Proc. ACM Program. Lang., October, 2023

Automata Learning with an Incomplete Teacher (Artifact).
Dagstuhl Artifacts Ser., 2023

P4Testgen: An Extensible Test Oracle For P4-16.
Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Hydra: Effective Runtime Network Verification.
Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Automata Learning with an Incomplete Teacher.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

P4Cub: A Little Language for Big Routers.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022
Forwarding and Routing With Packet Subscriptions.
IEEE/ACM Trans. Netw., 2022

Dependently-typed data plane programming.
Proc. ACM Program. Lang., 2022

P4Testgen: An Extensible Test Oracle For P4.
CoRR, 2022

Leapfrog: certified equivalence for protocol parsers.
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.
Proceedings of the Programming Languages and Systems, 2022

Causal network telemetry.
Proceedings of the 5th International Workshop on P4 in Europe, 2022

2021
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang., 2021

Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
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.
Proc. ACM Program. Lang., 2020

Using deep programmability to put network owners in control.
Comput. Commun. Rev., 2020

Composing Dataplane Programs with μP4.
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).
Dagstuhl Reports, 2019

Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy.
Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, 2019

Fast String Searching on PISA.
Proceedings of the 2019 ACM Symposium on SDN Research, 2019

PicNIC: predictable virtualized NIC.
Proceedings of the ACM Special Interest Group on Data Communication, 2019

Scalable verification of probabilistic networks.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Property conveyances as a programming language.
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

Efficient, Consistent Distributed Computation with Predictive Treaties.
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.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Proof-Carrying Network Code.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

TxForest: A DSL for Concurrent Filestores.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
Merlin: A Language for Managing Network Resources.
IEEE/ACM Trans. Netw., 2018

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

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

YATES: Rapid Prototyping for Traffic Engineering Systems.
Proceedings of the Symposium on SDN Research, 2018

Life in the Fast Lane: A Line-Rate Linear Road.
Proceedings of the Symposium on SDN Research, 2018

p4v: practical verification for programmable data planes.
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

Semi-Oblivious Traffic Engineering: The Road Not Taken.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

NetChain: Scale-Free Sub-RTT Coordination.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Packet Subscriptions for Programmable ASICs.
Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 2018

Network Verification: Successes, Challenges, and Opportunities.
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

Semi-Oblivious Traffic Engineering with SMORE.
Proceedings of the Applied Networking Research Workshop, 2018

2017
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR, 2017

The next 700 network programming languages (invited talk).
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017

P4FPGA: A Rapid Prototyping Framework for P4.
Proceedings of the Symposium on SDN Research, 2017

NetCache: Balancing Key-Value Stores with Fast In-Network Caching.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Cantor meets scott: semantic foundations for probabilistic networks.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Software-programmed optical networking with integrated NFV service provisioning.
Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017

Life on the Edge: Unraveling Policies into Configurations.
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.
CoRR, 2016

Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.
CoRR, 2016

Optimal Consistent Network Updates in Polynomial Time.
Proceedings of the Distributed Computing - 30th International Symposium, 2016

Safe and Flexible Controller Upgrades for SDNs.
Proceedings of the Symposium on SDN Research, 2016

Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis.
Proceedings of the Symposium on SDN Research, 2016

Event-driven network programming.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Incremental forest: a DSL for efficiently managing filestores.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Optimizing horn solvers for network repair.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Probabilistic NetKAT.
Proceedings of the Programming Languages and Systems, 2016

2015
POPL 2005: Combinators for Bi-Directional Tree Transformations: Linguistic Approach to the View Update Problem.
ACM SIGPLAN Notices, 2015

Formal Foundations for Networking (Dagstuhl Seminar 15071).
Dagstuhl Reports, 2015

Morpheus: Safe and Flexible Dynamic Updates for SDNs.
CoRR, 2015

Specification and Compilation of Event-driven SDN Programs.
CoRR, 2015

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.
Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

A Coalgebraic Decision Procedure for NetKAT.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

You and your graduate research.
Proceedings of the Programming Languages Mentoring Workshop, 2015

Efficient synthesis of network updates.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

SPN OS: Managing network services with virtual network objects.
Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015

A fast compiler for NetKAT.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Efficient Synthesis of Network Updates.
CoRR, 2014

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

Abstractions for software-defined networks.
Commun. ACM, 2014

NetkAT: semantic foundations for networks.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

MiCA: A Compositional Architecture for Gossip Protocols.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Merlin: A Language for Provisioning Network Resources.
Proceedings of the 10th ACM International on Conference on emerging Networking Experiments and Technologies, 2014

2013
Modular SDN Programming with Pyretic.
login Usenix Mag., 2013

Lenses for Web Data.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Toward Synthesis of Network Updates.
Proceedings of the Proceedings Second Workshop on Synthesis, 2013

Languages for software-defined networks.
IEEE Commun. Mag., 2013

HotSwap: correct and efficient controller upgrades for software-defined networks.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

FatTire: declarative fault tolerance for software-defined networks.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, 2013

Machine-verified network controllers.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Composing Software Defined Networks.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Managing the network with Merlin.
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Tutorial: Practical verification of network programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Specifying and Verifying the Correctness of Dynamic Software Updates.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Abstractions for network update.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Splendid isolation: a slice abstraction for software-defined networks.
Proceedings of the first workshop on Hot topics in software defined networks, 2012

A compiler and run-time system for network programming languages.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011
Frenetic: a network programming language.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Forest: a language and toolkit for programming with filestores.
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!
Proceedings of the Tenth ACM Workshop on Hot Topics in Networks (HotNets-X), 2011

2010
Three Complementary Approaches to Bidirectional Programming.
Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Matching lenses: alignment and view update.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Frenetic: a high-level language for OpenFlow networks.
Proceedings of the Workshop on Programmable Routers for Extensible Services of Tomorrow, 2010

2009
Provenance: a future history.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Bidirectional Transformations: A Cross-Discipline Perspective.
Proceedings of the Theory and Practice of Model Transformations, 2009

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

2008
Boomerang: resourceful lenses for string data.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Annotated XML: queries and provenance.
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

An Algebraic Approach to View Maintenance for XQuery.
Proceedings of the PLAN-X 2008, 2008

A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Quotient lenses.
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.
ACM Trans. Program. Lang. Syst., 2007

Exploiting schemas in data synchronization.
J. Comput. Syst. Sci., 2007

Provenance and Data Synchronization.
IEEE Data Eng. Bull., 2007

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
Proceedings of the PLAN-X 2007, 2007

2006
A Theory of Featherweight Java in Isabelle/HOL.
Arch. Formal Proofs, 2006

2005
Mechanized Metatheory for the Masses: The PoplMark Challenge.
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.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
LOOJ: Weaving LOOM into Java.
Proceedings of the ECOOP 2004, 2004


  Loading...