Software-defined Networking (SDN) marked the beginning of a new era in the field of
networking by decoupling the control and forwarding processes through the OpenFlow …

Programmable data planes allow users to define their own data plane algorithms for network
devices including appropriate data plane application programming interfaces (APIs) which …

Traditionally, the data plane has been designed with fixed functions to forward packets using
a small set of protocols. This closed-design paradigm has limited the capability of the …

We present the design and implementation of p4v, a practical tool for verifying data planes
described using the P4 programming language. The design of p4v is based on classic …

Dataplane languages like P4 enable flexible and efficient packet-processing using domain-
specific primitives such as programmable parsers and match-action tables. Unfortunately …

P4 is a domain-specific language for programming and specifying packet-processing
systems. It is based on an elegant design with high-level abstractions like parsers and match …