This repository is used to host the open-source P4 implementations of some of our research projects.
- AES: AES encryption on BMV2 model
- AES-tofino: AES encryption on Tofino switch
- ConQuest-tofino: ConQuest queue analysis on Tofino switch
- ONTAS: Traffic anonymization on BMV2 / Tofino
- PRECISION-tofino: The PRECISION heavy-hitter algorithm on Tofino switch
- RTT-tofino: TCP Round-Trip Time measurement on Tofino switch
- SipHash-tofino: Secure keyed hash function on Tofino switch
- Meta4-tofino: Analyzing Internet Traffic by Domain Name on Tofino switch
Please refer to individual project sub-folders for open-source licenses.
Below is a non-exhaustive list of other repositories hosting open-sourced P4 programs. (Please add to this list -- pull requests welcomed!)
- BeauCoup: Run multiple distinct-counting queries on Tofino
- MicroP4: Modularized data-plane programming
- ACC-Turbo: Online packet clustering on Tofino for DDoS mitigation
- ATP: Provide in-network aggregation service to accelerate deep learning training in multi-tenant settings
- ATP-SwitchML: Provide in-network aggregation service to accelerate deep learning training
- Cheetah: Use Tofino to accelerate Spark queries
- Chipmunk: Use program synthesis to generate P4 code
- NetLock: Using P4 switch for lock management
- Mantis: Generates reactive P4 program and C++ agent
- SP-PIFO: Enabling programmable scheduling in Tofino
- NetCache: Using P4 switch as cache for key-value store
- NetChain: Using P4 switch for coordination service
- NetHCF: Employing programmable switches for spoofed IP traffic filtering
- PINT: Probabilistic In-band Network Telemetry
- PRECISION-bmv2: The PRECISION heavy-hitter algorithm on BMV2 switch
- QPipe: Quantile sketch in data plane
- Speedlight: Synchronized Network Snapshots
- Tutorial: The official P4 tutorial has many example P4 programs (under the solution folders)
- P4-Guide: More example P4 programs
- SP-PIFO: Enabling programmable scheduling in P4 switches