Frenetic: a network programming language

By Nate Foster, R. Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, A. Story, David Walker. ACM SIGPLAN International Conference on Functional Programming, 2011

751 citations recorded by the source corpus.

Subfields: Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/5ccd54d806f307edc411b3fd5143390967f580db

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

Citations in the corpus

Security in Software Defined Networks: A Survey (2015, neutral): “Therefore, various network programming languages, such as Frentic [68], Procera [69], and NetCore [70] are proposed that simplify the development of applications in SDN.”
A Survey on Software-Defined Wireless Sensor Networks: Challenges and Design Requirements (2017, background): “More SDN based network declarative languages can be found in [165]–[168].”
Composing Software Defined Networks (2013, neutral): “Doing this would entail manually constructing the " cross-product " of the two policies, and query and sum the relevant traffic counters to monitor the Web traffic [4].”
Software-Defined Network Function Virtualization: A Survey (2015, neutral): “a network through programming [37], [38].”
FRESCO: Modular Composable Security Services for Software-Defined Networks (2013, background): “Frenetic [9] and Procera [40] provide declarative query language frameworks for managing distributed OF switches, describing high-level packet-forwarding and specifying network policies.”
Language-Directed Hardware Design for Network Performance Monitoring (2017, methodology): “Sketches [34, 48, 49, 52, 63] and programmable switch counters [38, 54] expose traffic volume statistics using summary data structures and flow counters on switches.”
Distributed SDN Control: Survey, Taxonomy, and Challenges (2018, background): “Frenetic [41], Procera [42] and Pyretic [43] as an indirect way for applications to interact with the controller.”
A Survey on Software-Defined Network and OpenFlow: From Concept to Implementation (2014, background): “The Frenetic language [59] allows the programs written for one platform to work in other platforms.”
Bohatei: Flexible and Elastic DDoS Defense (2015, background): “6While it is possible to explicitly minimize network congestion [33], minimizing suspicious traffic footprint naturally helps reduce network congestion as well.”
Network Innovation using OpenFlow: A Survey (2014, background): “[25] proposed Frenetic, a network programming language that simplifies the development of applications on top of network operating systems.”
Towards programmable enterprise WLANS with Odin (2012, methodology): “Categories and Subject Descriptors C.2.3 [Network Operations]: Network management; C.2.1 [Network Architecture and Design]: Wireless Communication Keywords Odin, SDN, Enterprise WLANs, Virtualization, OpenFlow”
Towards secure and dependable software-defined networks (2013, background): “such designs may benefit from the use of traditional techniques, such as firewalls or intrusion detection systems, and novel tools to specify and compose packet-forwarding policies (and updating them in a consistent way) [31] and to check network-wide invariants in real time [32].”
A General Approach to Network Configuration Analysis (2015, background): “For instance, researchers have proposed high-level, declarative languages to program networks [9] [18] [19] [26], but a major hurdle in adopting them is migrating a network while faithfully preserving its forwarding policies.”
Software defined networking: State of the art and research challenges (2014, neutral): “[72] proposes a design for Frenetic, a high-level language for programming OpenFlow architectures.”
VeriFlow: verifying network-wide invariants in real time (2012, neutral): “Frenetic [9] is a high-level programming language that can be used to write OpenFlow applications running on top of NOX.”
A Survey and a Layered Taxonomy of Software-Defined Networking (2014, background): “2) NetCore [68]: It is a successor of Frenetic that enriches the policy management library of Frenetic and proposes algorithms for compiling monitoring policies and managing controller-switch interactions.”
Protocol-oblivious forwarding: unleash the power of SDN through a future-proof forwarding plane (2013, background): “There are some ongoing research eﬀorts towards this direction [3].”