Debugging programmable data planes on FABRIC using ProvP4 - KNIT'12 demo ( public )

CREASE: Causal REasoning and Attestation for Scientific Experimentation
FABRIC introduces programmable data planes with P4-enabled switches, FPGAs, and smartNICs. However, debugging large-scale network experiments becomes increasingly complex since network-level visibility alone does not provide sufficient insight into stateful data plane processing. We present and demonstrate a working prototype of ProvP4, a provenance-informed system built on CREASE that captures data plane process dependencies and that enables investigative analysis of reconfigurable data-plane hardware and reproducibility for FABRIC experiments. Our goal is to allow FABRIC users to incorporate stateful data-plane elements into the diagnosis of network issues such as misconfigurations.
Views
24
Downloads
6 active (0 retired)
Versions
1
Last Updated
April 8, 2026, 3:57 p.m.
Version Created URN Downloads Actions
2026-04-07 April 7, 2026, 5:29 p.m. urn:fabric:contents:renci:4ddf5bcb-6917-4a87-8c47-c0e74dfd963c 6 download