Concurrent NetCore: from policies to pipelines

DOI10.1145/2628136.2628157MaRDI QIDQ2819659zbMATH OpenOpenAlexFDO

Authors Cole Schlesinger, Michael Greenberg, David M. Walker

Publication date 29 September 2016

Published in Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2628136.2628157

zbMATH Keywords

freneticnetwork programming languagesOpenFlowsoftware-defined networking

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Decentralizing SDN policies
• Frenetic: a network programming language
• SDN-actors: modeling and verification of SDN programs
• Synchronization synthesis for network programs
• Optimal consistent network updates in polynomial time

Cited in

(4)

• Decentralizing SDN policies
• Frenetic: a network programming language
• Genesis: synthesizing forwarding tables in multi-tenant networks
• Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks

This page was built for publication: Concurrent NetCore: from policies to pipelines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819659)