Programming languages

The P4 Language Consortium

Evolve the programmable data plane ecosystem!

Technologies
C++ebpflinux kernelllvmmlirZ3
Topics
AI/ML Networkingcompilernetworkingnetworking securityprogramming languages
Total projects
13
Years participating
3
Most recent
2026

Participation history

3 program years
Projects by participation year 2024: 4 projects, 2025: 4 projects, 2026: 5 projects 4 2024 4 2025 5 2026

Historical projects

2026 5 projects

Official GSoC page ↗

Polyglot P4TC: Python and Rust API Wrappers for Linux TC-based P4

Contributor: 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

Contributor: 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

Contributor: 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

Contributor: 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

Contributor: 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...