2026
5 projects
Polyglot P4TC: Python and Rust API Wrappers for Linux TC-based P4
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 packet trace support
BMv2 currently provides only textual logs for tracing packets through a P4 pipeline, which must be parsed with brittle regex hacks and cannot be...
Enhancing P4-SpecTec Usability: A Mechanized Specification for Nano-P4
P4-SpecTec provides mechanized formal semantics for the P4 language, but its adoption is currently limited by a lack of accessible learning...
Improving The Traffic Manager of the P4Sim Switch
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...
Integrating P4 Based In Network Machine Learning Framework into P4Pi
This project integrates Planter, an in-network machine learning framework, into the P4Pi Raspberry Pi platform. The work includes adding a p4c-dpdk...