We present P4Testgen, a test oracle for the P416 language. P4Testgen supports automatic
test generation for any P4 target and is designed to be extensible to many P4 targets. It …

In networks, availability is of paramount importance. As link failures are disruptive, modern
networks in turn provide Fast ReRoute (FRR) mechanisms to rapidly restore connectivity …

Due to limited memory usage and provably high accuracy, sketches running on
programmable switches have been commonly used by the literature for network …

The P4 software ecosystem to operate programmable data planes is increasingly becoming
complex. The packet-processing behavior is defined by several components: the P4 …

Communication is crucial to the performance of distributed training. Today's solutions tightly
couple the control and data planes and lack flexibility, generality, and performance. In this …

Packet level measurement in the data plane provides a microscopic view of the network's
state. Although advances in programmable switches and routers make it possible to …

Compared to fixed-function switches, the flexibility of programmable switches comes at a
cost, as programmer mistakes frequently result in subtle bugs in the network data plane. In …

Programmable packet parsers in the space data plane, responsible for identifying protocols
and extracting keywords on demand, are significant to realize protocol upgrading for satellite …

Programmable networks come with the promise of logically centralized control, in order to
optimize the network's routing behavior. However, until now, controllers are heavily involved …

We introduce a runtime verification framework for programmable switches that complements
static analysis. To evaluate our approach, we design and develop P6, a runtime verification …