The P4 Language Consortium

P4TC enables programmable packet processing in the Linux kernel via TC and eBPF, but its control plane is limited to the tc CLI and shell scripts....

BMv2 currently provides only textual logs for tracing packets through a P4 pipeline, which must be parsed with brittle regex hacks and cannot be...

P4-SpecTec provides mechanized formal semantics for the P4 language, but its adoption is currently limited by a lack of accessible learning...

This project is to improve the P4Sim module by enhancing its Traffic Manager and integrating ns-3's built-in QueueDisc class into it. This will help...

This project integrates Planter, an in-network machine learning framework, into the P4Pi Raspberry Pi platform. The work includes adding a p4c-dpdk...

Gigaflow is an innovative solution to accelerate network processing in large-scale data centers by leveraging flow locality and pipeline-aware...

Contemporary developments of Machine Learning Applications in real-time Networks to classify traffic for better security and performance are examples...

This project aims to extend the existing P4sim module integrated within the ns-3 network simulator by implementing control plane functionalities. The...

P4 empowers developers to program the data plane of network devices—switches, routers, and NICs—at a level of detail previously only accessible to...