On the public citation graph

Debugging P4 programs with vera

0 signed · 121 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1109/ancs.2017.33openalex-snapshot

ClassBench-ng: Recasting ClassBench after a Decade of Network Evolution

inferredcites →https://doi.org/10.1145/1592681.1592683openalex-snapshot

Practical declarative network management

inferredcites →https://doi.org/10.1145/1950365.1950396openalex-snapshot

S2E

inferredcites →https://doi.org/10.1145/2018436.2018470openalex-snapshot

Debugging the data plane with anteater

inferredcites →https://doi.org/10.1145/2342441.2342452openalex-snapshot

VeriFlow

inferredcites →https://doi.org/10.1145/2491185.2491187openalex-snapshot

FatTire

inferredcites →https://doi.org/10.1145/2656877.2656890openalex-snapshot

inferredcites →https://doi.org/10.1145/2934872.2934876openalex-snapshot

Fast Control Plane Analysis Using an Abstract Representation

inferredcites →https://doi.org/10.1145/2934872.2934881openalex-snapshot

SymNet

inferredcites →https://doi.org/10.1145/2935634.2935638openalex-snapshot

Paxos Made Switch-y

inferredcites →https://doi.org/10.1145/3098822.3098825openalex-snapshot

Re-architecting datacenter networks and stacks for low latency and high performance

inferredcites →https://doi.org/10.1145/3098822.3098833openalex-snapshot

A Formally Verified NAT

inferredcites →https://doi.org/10.1145/3098822.3098834openalex-snapshot

A General Approach to Network Configuration Verification

inferredcites →https://doi.org/10.1145/3132747.3132759openalex-snapshot

CrystalNet

inferredcites →https://doi.org/10.1145/3185467.3185497openalex-snapshot

p4pktgen

inferredcites →https://doi.org/10.1145/3185467.3185499openalex-snapshot

Uncovering Bugs in P4 Programs with Assertion-based Verification

inferredcites →https://doi.org/10.1145/3230543.3230582openalex-snapshot

p4v

inferredcites →https://doi.org/10.1145/354871.354874openalex-snapshot

The click modular router

inferredcites →https://doi.org/10.4230/lipics.snapl.2019.9openalex-snapshot

P4K: A Formal Semantics of P4 and Applications

inferredcites →https://doi.org/10.5555/1855741.1855756openalex-snapshot

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

inferredcites →https://doi.org/10.5555/2616448.2616459openalex-snapshot

Software dataplane verification

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.3427455openalex-extracted

Navigating the Landscape of Programmable Networks: Looking beyond the Regulatory Status Quo

inferred← citeshttps://doi.org/10.1002/dac.5554openalex-snapshot

Packet processing and data plane program verification: A survey with tools, techniques, and challenges

inferred← citeshttps://doi.org/10.1007/978-3-031-86695-1_5openalex-snapshot

Proof-Producing Symbolic Execution for P4

inferred← citeshttps://doi.org/10.1007/978-3-032-27340-6_5openalex-snapshot

HOL4P4.EXE: A Formally Verified P4 Software Switch

inferred← citeshttps://doi.org/10.1007/978-3-032-32519-8_11openalex-snapshot

Octopus: Practical Equivalence Checking of P4 Packet Parsers

inferred← citeshttps://doi.org/10.1007/s44443-025-00083-6openalex-snapshot

NetChecker: enabling real-time and error-locatable runtime verification for programmable networks

inferred← citeshttps://doi.org/10.1016/j.comnet.2022.108800openalex-snapshot

A survey on security applications of P4 programmable switches and a STRIDE-based vulnerability assessment

inferred← citeshttps://doi.org/10.1016/j.comnet.2023.109873openalex-snapshot

PEDDA: Practical and Effective Detection of Distributed Attacks on enterprise networks via progressive multi-stage inference

inferred← citeshttps://doi.org/10.1016/j.jnca.2022.103561openalex-snapshot

A survey on data plane programming with P4: Fundamentals, advances, and applied research

inferred← citeshttps://doi.org/10.1109/access.2021.3086704openalex-snapshot

An Exhaustive Survey on P4 Programmable Data Plane Switches: Taxonomy, Applications, Challenges, and Future Trends

inferred← citeshttps://doi.org/10.1109/bigdata62323.2024.10825816openalex-snapshot

Federated Orchestration Framework for Integrated Core and Edge Network Security: Combining P4-ShieldNet and SAFE-CAST

inferred← citeshttps://doi.org/10.1109/comnetsat53002.2021.9530834openalex-snapshot

Visual Editor for Streamlining P4-based Programmable Parser Development

inferred← citeshttps://doi.org/10.1109/comst.2022.3217613openalex-snapshot

AI-Driven Packet Forwarding With Programmable Data Plane: A Survey

inferred← citeshttps://doi.org/10.1109/comst.2023.3265984openalex-snapshot

Empowering Network Security With Programmable Switches: A Comprehensive Survey

inferred← citeshttps://doi.org/10.1109/csf64896.2025.00031openalex-snapshot

Securing P4 Programs by Information Flow Control

inferred← citeshttps://doi.org/10.1109/ctisc52352.2021.00022openalex-snapshot

SRCV: A Source Routing based Consistency Verification Mechanism in SDN

inferred← citeshttps://doi.org/10.1109/dsn-s.2019.00016openalex-snapshot

P4AIG: Circuit-Level Verification of P4 Programs

inferred← citeshttps://doi.org/10.1109/dsn64029.2025.00049openalex-snapshot

Securing In-Network Traffic Control Systems with P4Auth

inferred← citeshttps://doi.org/10.1109/hpsr62440.2024.10635926openalex-snapshot

Generating P4 Dataplanes Using LLMs

inferred← citeshttps://doi.org/10.1109/infocom42981.2021.9488772openalex-snapshot

Fix with P6: Verifying Programmable Switches at Runtime

inferred← citeshttps://doi.org/10.1109/infocom42981.2021.9488857openalex-snapshot

Flow Algebra: Towards an Efficient, Unifying Framework for Network Management Tasks

inferred← citeshttps://doi.org/10.1109/infocom52122.2024.10621366openalex-snapshot

P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs

inferred← citeshttps://doi.org/10.1109/infocom59046.2026.11571581openalex-snapshot

T4G: Trace-based P4 Program Generation

inferred← citeshttps://doi.org/10.1109/iwqos57198.2023.10188714openalex-snapshot

Vulnerabilities and Attacks of Inter-device Coordination in Programmable Networks

inferred← citeshttps://doi.org/10.1109/iwqos65803.2025.11143362openalex-snapshot

REP4: Automated Testing and Repairing Programmable Data Planes

inferred← citeshttps://doi.org/10.1109/jsac.2020.2999653openalex-snapshot

P4Consist: Toward Consistent P4 SDNs

inferred← citeshttps://doi.org/10.1109/mascots50786.2020.9285941openalex-snapshot

Symbolic Execution for Network Functions with Time-Driven Logic

inferred← citeshttps://doi.org/10.1109/netsoft57336.2023.10175397openalex-snapshot

Toward Highly Reliable Programmable Data Planes: Verification of P4 Code Generation

inferred← citeshttps://doi.org/10.1109/noms47738.2020.9110307openalex-snapshot

P4 Switch Code Data Flow Analysis: Towards Stronger Verification of Forwarding Plane Software

inferred← citeshttps://doi.org/10.1109/noms54207.2022.9789811openalex-snapshot

NetWords: Enabling the Understanding of Network Property Violation Occurrences

inferred← citeshttps://doi.org/10.1109/noms69089.2026.11668269openalex-snapshot

P4SymTest: A Framework for Modular Verification and Early Bug Detection for P4 Programs

inferred← citeshttps://doi.org/10.1109/tifs.2023.3315128openalex-snapshot

Stalker Attacks: Imperceptibly Dropping Sketch Measurement Accuracy on Programmable Switches

inferred← citeshttps://doi.org/10.1109/tnet.2019.2927110openalex-snapshot

P4DB: On-the-Fly Debugging for Programmable Data Planes

inferred← citeshttps://doi.org/10.1109/tnet.2021.3068339openalex-snapshot

Dynamic Property Enforcement in Programmable Data Planes

inferred← citeshttps://doi.org/10.1109/tnet.2022.3214062openalex-snapshot

PTA: Finding Hard-to-Find Data Plane Bugs

inferred← citeshttps://doi.org/10.1109/tnet.2023.3234931openalex-snapshot

Runtime Verification for Programmable Switches

inferred← citeshttps://doi.org/10.1109/tnet.2024.3508464openalex-snapshot

Waterfall: Fast Network Flow Rules Checking and Conflict Resolution

inferred← citeshttps://doi.org/10.1109/tnsm.2022.3229675openalex-snapshot

Kano: Efficient Cloud Native Network Policy Verification

inferred← citeshttps://doi.org/10.1109/tnsm.2026.3715353openalex-snapshot

Detecting Adversarial State Manipulation in In-Network Fast ReRoute Systems

inferred← citeshttps://doi.org/10.1109/ton.2025.3580638openalex-snapshot

Toward Secure Inter-Device Coordination in Programmable Networks

inferred← citeshttps://doi.org/10.1109/uemcon59035.2023.10316086openalex-snapshot

P4Chain: A Multichain Approach for Real-Time Anomaly Traffic Detection in P4 Network

inferred← citeshttps://doi.org/10.1145/3230543.3230582openalex-snapshot

p4v

inferred← citeshttps://doi.org/10.1145/3281411.3281421openalex-snapshot

Verification of P4 programs in feasible time using assertions

inferred← citeshttps://doi.org/10.1145/3317550.3321436openalex-snapshot

In-Network Compute

inferred← citeshttps://doi.org/10.1145/3326285.3329040openalex-snapshot

P4Tester

inferred← citeshttps://doi.org/10.1145/3341216.3342206openalex-snapshot

Runtime Verification of P4 Switches with Reinforcement Learning

inferred← citeshttps://doi.org/10.1145/3341302.3342094openalex-snapshot

Validating datacenters at scale

inferred← citeshttps://doi.org/10.1145/3359993.3366648openalex-snapshot

P4-InTel

inferred← citeshttps://doi.org/10.1145/3365609.3365860openalex-snapshot

Architecting Programmable Data Plane Defenses into the Network with FastFlex

inferred← citeshttps://doi.org/10.1145/3373360.3380836openalex-snapshot

Can we exploit buggy P4 programs?

inferred← citeshttps://doi.org/10.1145/3373360.3380843openalex-snapshot

Tracking P4 Program Execution in the Data Plane

inferred← citeshttps://doi.org/10.1145/3386367.3431313openalex-snapshot

Finding hard-to-find data plane bugs with a PTA

inferred← citeshttps://doi.org/10.1145/3387514.3405872openalex-snapshot

Composing Dataplane Programs with μP4

inferred← citeshttps://doi.org/10.1145/3387514.3405888openalex-snapshot

bf4

inferred← citeshttps://doi.org/10.1145/3422604.3425930openalex-snapshot

A General Framework for Compositional Network Modeling

inferred← citeshttps://doi.org/10.1145/3434322openalex-snapshot

Petr4: formal foundations for p4 data planes

inferred← citeshttps://doi.org/10.1145/3445814.3446764openalex-snapshot

Probabilistic profiling of stateful data planes for adversarial testing

inferred← citeshttps://doi.org/10.1145/3452296.3472937openalex-snapshot

Aquila

inferred← citeshttps://doi.org/10.1145/3472873.3472880openalex-snapshot

Anomaly Detection in Data Plane Systems using Packet Execution Paths

inferred← citeshttps://doi.org/10.1145/3482898.3483352openalex-snapshot

DBVal

inferred← citeshttps://doi.org/10.1145/3485983.3494842openalex-snapshot

Determination of throughput guarantees for processor-based SmartNICs

inferred← citeshttps://doi.org/10.1145/3498701openalex-snapshot

Dependently-typed data plane programming

inferred← citeshttps://doi.org/10.1145/3544216.3544247openalex-snapshot

Meissa

inferred← citeshttps://doi.org/10.1145/3544912.3544914openalex-snapshot

Data-plane security applications in adversarial settings

inferred← citeshttps://doi.org/10.1145/3552326.3567502openalex-snapshot

Foxhound: Server-Grade Observability for Network-Augmented Applications

inferred← citeshttps://doi.org/10.1145/3556973openalex-snapshot

Advancing SDN from OpenFlow to P4: A Survey

inferred← citeshttps://doi.org/10.1145/3565475.3569081openalex-snapshot

HOL4P4

inferred← citeshttps://doi.org/10.1145/3573105.3575670openalex-snapshot

P4Cub: A Little Language for Big Routers

inferred← citeshttps://doi.org/10.1145/3603269.3604834openalex-snapshot

P4Testgen: An Extensible Test Oracle For P4

inferred← citeshttps://doi.org/10.1145/3603269.3604856openalex-snapshot

Hydra: Effective Runtime Network Verification

inferred← citeshttps://doi.org/10.1145/3611643.3613091openalex-snapshot

P4b: A Translator from P4 Programs to Boogie

inferred← citeshttps://doi.org/10.1145/3622866openalex-snapshot

P4R-Type: A Verified API for P4 Control Plane Programs

inferred← citeshttps://doi.org/10.1145/3629136openalex-snapshot

DINC: Toward Distributed In-Network Computing

inferred← citeshttps://doi.org/10.1145/3641541openalex-snapshot

Learning Failure-Inducing Models for Testing Software-Defined Networks

inferred← citeshttps://doi.org/10.1145/3672197.3673435openalex-snapshot

Towards Functional Verification of eBPF Programs

inferred← citeshttps://doi.org/10.1145/3689743openalex-snapshot

Computing Precise Control Interface Specifications

inferred← citeshttps://doi.org/10.1145/3733717openalex-snapshot

Learning-Guided Fuzzing for Testing Stateful SDN Controllers

inferred← citeshttps://doi.org/10.1145/3742876openalex-snapshot

Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

inferred← citeshttps://doi.org/10.1145/3742876.3742879openalex-snapshot

P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4

inferred← citeshttps://doi.org/10.1145/3750022.3750458openalex-snapshot

Formal Specifications for Data Plane Programs

inferred← citeshttps://doi.org/10.1145/3789240.3822364openalex-snapshot

Chameleon: Toward Runtime-Pluggable Verification of Programmable Networks

inferred← citeshttps://doi.org/10.1145/3789240.3829122openalex-snapshot

Towards Efficient Verification of Distributed In-Network Computing Programs

inferred← citeshttps://doi.org/10.1145/3789240.3829171openalex-snapshot

VeriLucid: A Verification-aware Data-plane Programming Language

inferred← citeshttps://doi.org/10.1145/3820441.3820465openalex-snapshot

Towards Learned Switch Behavior Modeling

inferred← citeshttps://doi.org/10.14232/actacyb.24.1.2019.6openalex-snapshot

Keeping P4 Switches Fast and Fault-free through Automatic Verification

inferred← citeshttps://doi.org/10.14232/actacyb.289731openalex-snapshot

Component-based Error Detection of P4 programs

inferred← citeshttps://doi.org/10.15439/2019f355openalex-snapshot

A formal method to detect possible P4 specific errors

inferred← citeshttps://doi.org/10.15439/978-83-955416-1-2openalex-snapshot

Position Papers of the 2019 Federated Conference on Computer Science and Information Systems

inferred← citeshttps://doi.org/10.23919/ifipnetworking.2019.8816830openalex-snapshot

Dynamic Property Enforcement in Programmable Data Planes

inferred← citeshttps://doi.org/10.23919/ifipnetworking46909.2019.8999458openalex-snapshot

Dynamic property enforcement in programmable data planes

inferred← citeshttps://doi.org/10.23919/ifipnetworking62109.2024.10619865openalex-snapshot

Anomaly Detection in In-Network Fast ReRoute Systems

inferred← citeshttps://doi.org/10.33039/ami.2023.03.002openalex-snapshot

P4Query: Static analyser framework for P4

inferred← citeshttps://doi.org/10.48550/arxiv.2004.10887openalex-snapshot

Towards Runtime Verification of Programmable Switches

inferred← citeshttps://doi.org/10.48550/arxiv.2009.12861openalex-snapshot

The Remaining Improbable: Toward Verifiable Network Services

inferred← citeshttps://doi.org/10.48550/arxiv.2103.16437openalex-snapshot

Order P4-66: Characterizing and mitigating surreptitious programmable network device exploitation

inferred← citeshttps://doi.org/10.48550/arxiv.2107.13694openalex-snapshot

P4COM: In-Network Computation with Programmable Switches

inferred← citeshttps://doi.org/10.5220/0010494504210428openalex-snapshot

Preventive Model-based Verification and Repairing for SDN Requests

inferred← citeshttps://doi.org/10.54337/aau588616986openalex-snapshot

Quantitative Verification and Synthesis of Resilient Networks

inferred← citeshttps://doi.org/10.5753/wpeif.2022.223586openalex-snapshot

A Simple Approach to Verify and Debug Data Plane Programs

inferred← citeshttps://doi.org/10.70675/5c4b4ecaz7597z4051zaa74zb23fd0fa8630openalex-snapshot

In-network real-value computation on programmable switches

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.