Polyglot P4TC: Python and Rust API Wrappers for Linux TC-based P4
Attaullah Ansari
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
c8ef
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
Haechan Kwon
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
Vineet Goel
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
WeiWei Luo
This project integrates Planter, an in-network machine learning framework, into the P4Pi Raspberry Pi platform. The work includes adding a p4c-dpdk...
