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.
Versions
| 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 |
Authors
Illinois Institute of Technology
— awolosewicz@hawk.iit.edu
ORCID
— ashish.gehani@sri.com
Georgetown University
— Ben.Ujcich@georgetown.edu
Georgetown University
— ds1849@georgetown.edu
Illinois Institute of Technology
— nsultana1@iit.edu
Google
— yegnev@gmail.com