Compiling Path Queries

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Symposium on Networked Systems Design and Implementation

• Publication date

  2016-03-16

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A bottom-up approach to real-time search in large networks and clouds

  2016cited by this paper
• Latency in Software Defined Networks

  2015cited by this paper
• Packet-Level Telemetry in Large Datacenter Networks

  2015influential reference
• In-band Network Telemetry via Programmable Dataplanes

  2015cited by this paper
• Compiling Packet Programs to Reconfigurable Switches

  2015cited by this paper
• A fast compiler for NetKAT

  2015influential reference
• Simon: scriptable interactive monitoring for SDNs

  2015cited by this paper
• CherryPick: tracing packet trajectory in software-defined datacenter networks

  2015influential reference
• Enforcing Network-Wide Policies in the Presence of Dynamic Middlebox Actions using FlowTags

  2014cited by this paper
• NetKAT: semantic foundations for networks

  2014influential reference
• Enabling layer 2 pathlet tracing through context encoding in software-defined networking

  2014influential reference
• Compiling path queries in software-defined networks

  2014cited by this paper
• Packet Traceback for Software-Defined Networks

  2014cited by this paper
• Millions of little minions

  2014cited by this paper
• Concurrent NetCore

  2014cited by this paper
• Minimization of symbolic automata

  2014cited by this paper
• Planck

  2014cited by this paper
• Merlin: A Language for Provisioning Network Resources

  2014cited by this paper
• I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks

  2014influential reference
• DREAM

  2014cited by this paper
• FatTire: declarative fault tolerance for software-defined networks

  2013cited by this paper
• Ananta: cloud scale load balancing

  2013cited by this paper
• Software Defined Traffic Measurement with OpenSketch

  2013cited by this paper
• High-fidelity switch models for software-defined network emulation

  2013cited by this paper
• Composing Software Defined Networks

  2013influential reference
• B4: experience with a globally-deployed software defined wan

  2013cited by this paper
• Virtual network diagnosis as a service

  2013cited by this paper
• Forwarding metamorphosis: fast programmable match-action processing in hardware for SDN

  2013influential reference
• SIMPLE-fying middlebox policy enforcement using SDN

  2013cited by this paper
• Chimera: A Declarative Language for Streaming Network Traffic Analysis

  2012cited by this paper
• VeriFlow: verifying network-wide invariants in real time

  2012influential reference
• Header Space Analysis: Static Checking for Networks

  2012influential reference
• Understanding network failures in data centers: measurement, analysis, and implications

  2011cited by this paper
• Frenetic: a network programming language

  2011cited by this paper
• NetQuery: a knowledge plane for reasoning about network properties

  2011cited by this paper
• Identifying performance bottlenecks in CDNs through TCP-level monitoring

  2011cited by this paper
• Profiling Network Performance for Multi-tier Data Center Applications

  2011cited by this paper
• DevoFlow: scaling flow management for high-performance networks

  2011influential reference
• OpenFlow-Based Server Load Balancing Gone Wild

  2011cited by this paper
• Keeping Track of 70, 000+ Servers: The Akamai Query System

  2010cited by this paper
• DECOR: DEClarative network management and OpeRation

  2010cited by this paper
• Hedera: Dynamic Flow Scheduling for Data Center Networks

  2010cited by this paper
• Toward Interactive Debugging for ISP Networks

  2009cited by this paper
• DECOR: DEClaritive network management and OpeRation

  2009cited by this paper
• IGen: Generation of router-level Internet topologies through network design heuristics

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

  2008cited by this paper
• Towards systematic design of enterprise networks

  2008cited by this paper
• ProgME: Towards Programmable Network MEasurement

  2007cited by this paper
• The Internet Protocol

  2005cited by this paper
• Querying the Internet with PIER

  2005cited by this paper
• Measuring ISP topologies with Rocketfuel

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

  2003cited by this paper
• Fast accurate computation of large-scale IP traffic matrices from link loads

  2003cited by this paper
• Hash-based IP traceback

  2001cited by this paper
• Deriving traffic demands for operational IP networks: methodology and experience

  2001cited by this paper
• Trajectory sampling for direct traffic observation

  2001influential reference
• NetScope: traffic engineering for IP networks

  2000cited by this paper
• Practical network support for IP traceback

  2000influential reference
• Analysis of an Equal-Cost Multi-Path Algorithm

  2000cited by this paper
• NetScope: Tra c Engineering for IP Networks

  1999cited by this paper
• Efficient path profiling

  1996cited by this paper
• Routing of multipoint connections

  1988cited by this paper
• Response time in man-computer conversational transactions

  1899cited by this paper

• HyperDrive: Direct Network Telemetry Storage via Programmable Switches

  2025cites this paper
• Fast and Scalable Data Plane Verification for Burst Updates With Edge-Predicate

  2025cites this paper
• Hermes: Low-Overhead Inter-Switch Coordination in Network-Wide Data Plane Program Deployment

  2024cites this paper
• Distributed Network Telemetry With Resource Efficiency and Full Accuracy

  2024cites this paper
• INT-MC: Low-Overhead In-Band Network-Wide Telemetry Based on Matrix Completion

  2024cites this paper
• RuleOut Forwarding Anomalies for SDN

  2023influential citation
• SD-INT: Towards Lightweight Network-Wide Passive INT in the Self-Driving Way

  2023cites this paper
• SwitchLog: A Logic Programming Language for Network Switches

  2023cites this paper
• Causal network telemetry

  2022cites this paper
• Toward Low-Overhead Inter-Switch Coordination in Network-Wide Data Plane Program Deployment

  2022cites this paper
• DUNE: Improving Accuracy for Sketch-INT Network Measurement Systems

  2022cites this paper
• Moving Target Defense-Based Denial-of-Service Mitigation in Cloud Environments: A Survey

  2022cites this paper
• Task Scheduling for Probabilistic In -Band Network Telemetry

  2022cites this paper
• Revelio: ML-Generated Debugging Queries for Distributed Systems

  2021cites this paper
• In-band Network Telemetry: A Survey

  2021cites this paper
• This paper is

  2021cites this paper
• Correct-by-Construction Network Programming for Stateful Data-Planes

  2021cites this paper
• In-situ Programmable Switching using rP4: Towards Runtime Data Plane Programmability

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

  2021influential citation
• TeleNoise: A Network-Noise Module for In-Band Real-Time Telemetry

  2021cites this paper
• Measuring Congestion in High-Performance Datacenter Interconnects

  2020cites this paper
• Detecting routing loops in the data plane

  2020cites this paper
• Exploring Network-Wide Flow Data With Flowyager

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

  2020cites this paper
• Concerto: cooperative network-wide telemetry with controllable error rate

  2020cites this paper
• OmniMon: Re-architecting Network Telemetry with Resource Efficiency and Full Accuracy

  2020influential citation
• PINT: Probabilistic In-band Network Telemetry

  2020cites this paper
• I Know If the Journey Changes: Flexible Source and Path Validation

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

  2020cites this paper
• QCluster: Clustering Packets for Flow Scheduling

  2020cites this paper
• P4Consist: Toward Consistent P4 SDNs

  2020cites this paper
• PacketScope: Monitoring the Packet Lifecycle Inside a Switch

  2020cites this paper
• Toward Consistent SDNs: A Case for Network State Fuzzing

  2020cites this paper
• Consistent SDNs through Network State Fuzzing

  2019cites this paper
• Contra: A Programmable System for Performance-aware Routing

  2019cites this paper
• Confluo: Distributed Monitoring and Diagnosis Stack for High-speed Networks

  2019cites this paper
• dShark: A General, Easy to Program and Scalable Framework for Analyzing In-network Packet Traces

  2019influential citation
• Fault Management in Software-Defined Networking: A Survey

  2019influential citation
• Improving network flexibility

  2019cites this paper
• Network telemetry: towards a top-down approach

  2019cites this paper
• Resilient Disaggregated Network Flow Monitoring

  2019cites this paper
• Navigating the Landscape of Programmable Networks: Looking beyond the Regulatory Status Quo

  2019cites this paper
• A System-Wide Debugging Assistant Powered by Natural Language Processing

  2019cites this paper
• Scalable, Network-Wide Telemetry with Programmable Switches

  2019cites this paper
• SwitchScope: A View from the Inside

  2019cites this paper
• Study of the cost of measuring virtualized networks. (Etude du coût de mesure des réseaux virtualisés)

  2019cites this paper
• Accurate and resource-efficient monitoring for future networks

  2019influential citation
• EQuery: Enable event-driven declarative queries in programmable network measurement

  2018cites this paper
• Plane 
 Information Topology § 5 When ? Slot 1 Traffic Slice Capture Update Traffic Statistics § 6 Compilation Processing Application Measurement Database Measurement Stream

  2018cites this paper
• Flexible and Scalable Systems for Network Management

  2018influential citation
• Forwarding Table Entries in Software Defined Networks: Representation and Uses in Network Engineering

  2018cites this paper
• UniROPE: Universal and Robust Packet Trajectory Tracing for Software-Defined Networks

  2018cites this paper
• Distributed Network Monitoring and Debugging with SwitchPointer

  2018cites this paper
• Stroboscope: Declarative Network Monitoring on a Budget

  2018cites this paper
• Towards Fine-grained Network Security Forensics and Diagnosis in the SDN Era

  2018cites this paper
• Bayonet: probabilistic inference for networks

  2018cites this paper
• Network Measurement and Performance Analysis at Server Side

  2018cites this paper
• Trident: toward a unified SDN programming framework with automatic updates

  2018cites this paper
• Sonata: query-driven streaming network telemetry

  2018influential citation
• Synthesizing Performance-Aware Routing Protocols from Network-Wide Policies

  2018cites this paper
• Network-Wide Heavy Hitter Detection with Commodity Switches

  2018cites this paper
• Sketchlearn: relieving user burdens in approximate measurement with automated statistical inference

  2018cites this paper
• An Efficient Framework for Data-Plane Verification With Geometric Windowing Queries

  2017cites this paper
• Safe, Efficient, and Robust SDN Updates by Combining Rule Replacements and Additions

  2017cites this paper
• Towards meticulous data plane monitoring

  2017cites this paper
• Language-Directed Hardware Design for Network Performance Monitoring

  2017cites this paper
• Srinivas Narayana : Statement of Research Interests

  2017cites this paper
• SketchVisor: Robust Network Measurement for Software Packet Processing

  2017cites this paper
• A Call To Arms for Tackling the Unexpected Implications of SDN Controller Enhancements

  2017cites this paper
• Why (and How) Networks Should Run Themselves

  2017cites this paper
• Fault Localization in Large-Scale Network Policy Deployment

  2017cites this paper
• Delta-net: Real-time Network Verification Using Atoms

  2017influential citation
• Let me rephrase that: Transparent optimization in SDNs

  2017cites this paper
• Sonata: Query-Driven Network Telemetry

  2017cites this paper
• Designing fast and programmable routers

  2017cites this paper
• Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion

  2016cites this paper
• Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations

  2016cites this paper
• High-Level Abstractions for Programming Network Policies

  2016cites this paper
• Co-Designing Software and Hardware for Declarative Network Performance Measurement

  2016cites this paper
• Declarative Network Path Queries

  2016cites this paper
• Hardware-Software Co-Design for Network Performance Measurement

  2016cites this paper
• Sentinels : Guarding ISP Networks from Forwarding Anomalies

  2016cites this paper
• Dynamic Network Probes: A Stepping Stone to Omni Network Visibility

  2016cites this paper
• An efficient framework for data-plane verification with geometric windowing queries

  2016cites this paper
• Temporal NetKAT

  2016influential citation
• Compiling Stateful Network Properties for Runtime Verification

  2016cites this paper
• Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis

  2016cites this paper
• Sibyl: A Practical Internet Route Oracle

  2016cites this paper
• Mille-Feuille: Putting ISP traffic under the scalpel

  2016cites this paper
• This paper is included in the Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation.

  year unknowncites this paper
• This paper is included in the Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation.

  year unknowncites this paper
• This Paper Is Included in the Proceedings of the 12th Usenix Symposium on Operating Systems Design and Implementation (osdi '16). Simplifying Datacenter Network Debugging with Pathdump Simplifying Datacenter Network Debugging with Pathdump

  year unknowncites this paper