N. Foster

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Avenir: Managing data plane diversity with control plane synthesis

E. H. Campbell and others (2021) · NSDI

P4v: Practical verification for programmable data planes

J. Liu and others (2018) · Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication

Event-driven network programming

J. McClurg and others (2016) · Association for Computing Machinery (ACM)

NetKAT: Semantic foundations for networks

C. J. Anderson and others (2014) · ACM SIGPLAN Notices