The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Fix with P6: Verifying Programmable Switches at Runtime
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
We design, develop, and evaluate P6, an automated approach to (a) detect, (b) localize, and (c) patch software bugs in P4 programs. Bugs are reported via a violation of pre-specified expected behavior that is captured by P6. P6 is based on machine learning-guided fuzzing that tests P4 switch non-intrusively, i.e., without modifying the P4 program for detecting runtime bugs. This enables an automated and real-time localization and patching of bugs. We used a P6 prototype to detect and patch existing bugs in various publicly available P4 application programs deployed on two different switch platforms: behavioral model (bmv2) and Tofino. Our evaluation shows that P6 significantly outperforms bug detection baselines while generating fewer packets and patches bugs in large P4 programs such as switch.p4 without triggering any regressions.
How it got here
How it got here
agent via openalex
Added
2026-10-28 21:22 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{shukla2021fix,
title = {Fix with P6: Verifying Programmable Switches at Runtime},
author = {Apoorv Shukla and Kevin Nico Hudemann and Zsolt Vági and Lily Hügerich and Georgios Smaragdakis and Artur Hecker and Stefan Schmid and Anja Feldmann},
year = {2021},
journal = {IEEE Conference on Computer Communications (INFOCOM)},
pages = {1--10},
doi = {10.1109/infocom42981.2021.9488772},
}