Frenetic: a network programming language

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ACM SIGPLAN International Conference on Functional Programming

• Publication date

  2011-09-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2034773.2034812
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Gradual typing for first-class classes

  2012cited by this paper
• OpenFlow-Based Server Load Balancing Gone Wild

  2011cited by this paper
• Maestro: A System for Scalable OpenFlow Control

  2010cited by this paper
• A network in a laptop: rapid prototyping for software-defined networks

  2010cited by this paper
• Frenetic: a high-level language for OpenFlow networks

  2010cited by this paper
• Onix: A Distributed Control Platform for Large-scale Production Networks

  2010cited by this paper
• Carving research slices out of your production networks with OpenFlow

  2010cited by this paper
• ElasticTree: Saving Energy in Data Center Networks

  2010cited by this paper
• Nettle: Functional Reactive Programming for OpenFlow Networks

  2010influential reference
• A Universal Calculus for Stream Processing Languages

  2010cited by this paper
• RouteBricks: exploiting parallelism to scale software routers

  2009cited by this paper
• Practical declarative network management

  2009cited by this paper
• VL2: a scalable and flexible data center network

  2009cited by this paper
• Resonance: dynamic access control for enterprise networks

  2009cited by this paper
• Rethinking Enterprise Network Control

  2009cited by this paper
• Flask

  2008cited by this paper
• NOX: towards an operating system for networks

  2008cited by this paper
• OpenFlow: enabling innovation in campus networks

  2008cited by this paper
• The CQL continuous query language: semantic foundations and query execution

  2006cited by this paper
• Embedding Dynamic Dataflow in a Call-by-Value Language

  2006cited by this paper
• FPL-3E: Towards Language Support for Reconfigurable Packet Processing

  2005cited by this paper
• Implementing declarative overlays

  2005cited by this paper
• Shangri-La: achieving high performance from compiled network applications while enabling ease of programming

  2005cited by this paper
• Declarative routing: extensible routing with declarative queries

  2005cited by this paper
• Slideshow: functional presentations

  2004cited by this paper
• Gigascope: a stream database for network applications

  2003cited by this paper
• The Yampa arcade

  2003cited by this paper
• StreamIt: A Language for Streaming Applications

  2002cited by this paper
• Adaptive functional programming

  2002cited by this paper
• SNORTRAN : An Optimizing Compiler for Snort Rules

  2002cited by this paper
• The Click modular router

  1999cited by this paper
• Lambda in Motion: Controlling Robots with Haskell

  1999cited by this paper
• Bro: a system for detecting network intruders in real-time

  1998cited by this paper
• Functional reactive animation

  1997cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992cited by this paper

• Waterfall: Fast Network Flow Rules Checking and Conflict Resolution

  2025cites this paper
• SuperFE: A Scalable and Flexible Feature Extractor for ML-based Traffic Analysis Applications

  2025cites this paper
• Perry: A High-level Framework for Accelerating Cyber Deception Experimentation

  2025cites this paper
• DDoS Mitigation Using Machine Learning in Software-Defined Networks

  2025cites this paper
• How the U.S. National Science Foundation Enabled Software-Defined Networking

  2025cites this paper
• Towards Robust SDN Security: A Comparative Analysis of Oversampling Techniques with ML and DL Classifiers

  2025cites this paper
• High-level Programming for Application Networks

  2025cites this paper
• New Evolution of Hoyan: Enhancing Scalability, Usability, and Accuracy for Alibaba's Global WAN Verification

  2025cites this paper
• Why choose when you can have both: Programmable data planes meet programmable optics

  2025cites this paper
• A Target-Agnostic Protocol-Independent Interface for the Transport Layer

  2025cites this paper
• Network Security Challenges and Countermeasures for Software-Defined Smart Grids: A Survey

  2024cites this paper
• KATch: A Fast Symbolic Verifier for NetKAT

  2024cites this paper
• Detection of Zero-Day Attacks in a Software-Defined LEO Constellation Network Using Enhanced Network Metric Predictions

  2024cites this paper
• P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF

  2024cites this paper
• Exploring Security Dynamics in SDN Controller Architectures: Threat Landscape and Implications

  2024cites this paper
• Eagle: Toward Scalable and Near-Optimal Network-Wide Sketch Deployment in Network Measurement

  2024cites this paper
• P4CGO: Control Plane Guided P4 Program Optimization

  2024cites this paper
• Enhanced Network Metric Prediction for Machine Learning-Based Cyber Security of a Software-Defined UAV Relay Network

  2024cites this paper
• Automation for Network Security Configuration: State of the Art and Research Trends

  2023influential citation
• Application Defined Networks

  2023cites this paper
• A Survey of Software-Defined Smart Grid Networks: Security Threats and Defense Techniques

  2023cites this paper
• Misconfiguration-Free Compositional SDN for Cloud Networks

  2023cites this paper
• An End-Host-Importance-Aware Secure Service-Enabled Hybrid SDN Deployment

  2023cites this paper
• Synthesizing Formal Network Specifications From Input-Output Examples

  2023cites this paper
• Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments

  2023cites this paper
• Low-Overhead Packet Loss Diagnosis for Virtual Private Clouds using P4-Programmable NICs

  2023cites this paper
• Empowering Network Security With Programmable Switches: A Comprehensive Survey

  2023cites this paper
• Automatic Synthesis of Network Security Services: A First Step

  2023cites this paper
• EXPLORING THE LANDSCAPE OF SDN-BASED DDOS DEFENSE: A HOLISTIC EXAMINATION OF DETECTION AND MITIGATION APPROACHES, RESEARCH GAPS AND PROMISING AVENUES FOR FUTURE EXPLORATION

  2023cites this paper
• INDIANA—In-Network Distributed Infrastructure for Advanced Network Applications

  2023cites this paper
• SysFlow: Toward a Programmable Zero Trust Framework for System Security

  2023cites this paper
• A review on computational tools for analytical visualisation and molecular interactions of sncRNAs: prospects in NDDs

  2022cites this paper
• Causal network telemetry

  2022cites this paper
• Zero Touch Management: A Survey of Network Automation Solutions for 5G and 6G Networks

  2022cites this paper
• Intent-Driven Security Policy Management for Software-Defined Systems

  2022cites this paper
• Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks

  2022cites this paper
• Security Challenges and Related Solutions in Software Defined Networks: A Survey

  2022cites this paper
• Aquarius—Enable Fast, Scalable, Data-Driven Service Management in the Cloud

  2022cites this paper
• Safe, modular packet pipeline programming

  2022cites this paper
• Software-Defined Networking in wireless ad hoc scenarios: Objectives and control architectures

  2022cites this paper
• An agent-based approach to disintegrate and modularise Software Defined Networks controller

  2022cites this paper
• Network Programming via Computable Products

  2022cites this paper
• NLP4: An Architecture for Intent-Driven Data Plane Programmability

  2022cites this paper
• Removing the Reliance on Perimeters for Security using Network Views

  2022cites this paper
• Software-Defined Networking: Categories, Analysis, and Future Directions

  2022cites this paper
• Rethinking Fine-Grained Measurement From Software-Defined Perspective: A Survey

  2021cites this paper
• QEMDD: Quantum Inspired Ensemble Model to Detect and Mitigate DDoS Attacks at Various Layers of SDN Architecture

  2021cites this paper
• Automated Orchestration of Security Chains Driven by Process Learning*

  2021cites this paper
• Application Threats to Exploit Northbound Interface Vulnerabilities in Software Defined Networks

  2021cites this paper
• RICE UNIVERSITY By A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE APPROVED, THESIS COMMITTEE HOUSTON, TEXAS

  2021cites this paper
• Future SDN-Based Network Architectures

  2021cites this paper
• Experimenting with Scalability of Software Defined Networks Using Pyretic and Frenetic

  2021cites this paper
• Towards a Self-Driving Management System for the Automated Realization of Intents

  2021cites this paper
• Ultrasound Triggered ZnO‐Based Devices for Tunable and Multifaceted Biomedical Applications

  2021cites this paper
• Static Equivalence Checking for OpenFlow Networks

  2021cites this paper
• Survey on Application Programming Interfaces in Software Defined Networks and Network Function Virtualization

  2021cites this paper
• A RESTful Northbound Interface for Applications in Software Defined Networks

  2021influential citation
• Hey, Lumi! Using Natural Language for Intent-Based Network Management

  2021cites this paper
• A Comprehensive Survey on Software-Defined Network Controllers

  2021cites this paper
• Trampoline variables: a general method for state accumulation in reactive programming

  2021cites this paper
• This paper is

  2021cites this paper
• Automated defense against targeted attacks using suspiciousness tracking

  2021cites this paper
• Security Enhancement in Software Defined Networking (SDN): A Threat Model

  2021cites this paper
• SDN-Enabled Secure IoT Architecture

  2021cites this paper
• A survey on network forwarding in Software-Defined Networking

  2021cites this paper
• DyNetKAT: An Algebra of Dynamic Networks

  2021cites this paper
• Enabling Performant, Flexible and Cost-Efficient DDoS Defense With Programmable Switches

  2021cites this paper
• Method for Organizing Network Requests in iOS Applications

  2021cites this paper
• Explaining Safety Failures in NetKAT

  2021cites this paper
• Software Packet-Level Network Analytics at Cloud Scale

  2021cites this paper
• Lucid: a language for control in the data plane

  2021cites this paper
• Minimizing Effort and Risk with Network Change Deployment Planning

  2021cites this paper
• Towards Software-Defined Buffer Management

  2020cites this paper
• Bertha: Tunneling through the Network API

  2020cites this paper
• Forwarding and Routing With Packet Subscriptions

  2020cites this paper
• Programming Language

  2020cites this paper
• Misconfiguration Checking for SDN: Data Structure, Theory and Algorithms

  2020influential citation
• ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices

  2020cites this paper
• On consistency and distribution in software-defined networking

  2020cites this paper
• Enhanced Solid-Flow: An Enhanced Flow Rules Security Mechanism for SDN

  2020cites this paper
• Elastic Switch Programming with P4All

  2020cites this paper
• Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs

  2020cites this paper
• Bitcoin’s APIs in Open-Source Projects: Security Usability Evaluation

  2020cites this paper
• T-cache: Dependency-free Ternary Rule Cache for Policy-based Forwarding

  2020cites this paper
• NetCruiser: Localize Network Failures by Learning from Latency Data

  2020cites this paper
• Enabling knowledge-defined networks : deep reinforcement learning, graph neural networks and network analytics

  2020cites this paper
• Building and Testing Modular Programs for Programmable Data Planes

  2020cites this paper
• Trident: Toward Distributed Reactive SDN Programming With Consistent Updates

  2020cites this paper
• Software Defined Networks using Mininet

  2020cites this paper
• A Systematic Review of Load Balancing Techniques in Software-Defined Networking

  2020cites this paper
• aiOS: An Intelligence Layer for SD-WLANs

  2020cites this paper
• Security in SDN: A comprehensive survey

  2020cites this paper
• Towards a Dynamic Policy Enhanced Integrated Security Architecture for SDN Infrastructure

  2020cites this paper
• An In-Depth Analysis of IoT Security Requirements, Challenges, and Their Countermeasures via Software-Defined Security

  2020cites this paper
• FastFE: Accelerating ML-based Traffic Analysis with Programmable Switches

  2020cites this paper
• Transition to SDN is HARMLESS: Hybrid Architecture for Migrating Legacy Ethernet Switches to SDN

  2020cites this paper
• A QoS Model for Real-Time Application in Wireless Network Using Software Defined Network

  2020cites this paper
• Detection and mitigation of DDoS attacks in SDN: A comprehensive review, research challenges and future directions

  2020cites this paper
• Poseidon: Mitigating Volumetric DDoS Attacks with Programmable Switches

  2020cites this paper
• An Intent-Based Automation Framework for Securing Dynamic Consumer IoT Infrastructures

  2020cites this paper