P4 - Language Consortium

P4 Developer Days – A Multi-Site Testbed for Heterogeneous P4 Data Plane Experimentation on Research Cyberinfrastructure
2026-06-10 08:00 - 09:00 (America/Vancouver)
Register to attend this P4 Developer Day webinar on June 10 at 11 am ET/5 pm CET
A Multi-Site Testbed for Heterogeneous P4 Data Plane Experimentation on Research Cyberinfrastructure

Abstract
This presentation introduces a multi-site testbed that unifies three distinct classes of P4-programmable hardware, FPGA SmartNICs (AMD Alveo), DPUs (NVIDIA BlueField), and software switches (BMv2), under a single Kubernetes control plane on the National Research Platform (NRP). We detail the architecture that uses ESnet’s SENSE orchestrator for dynamic multi-domain Layer 2 path provisioning and a unified shell automation framework for reproducible experiments. We also share critical lessons learned from integrating heterogeneous targets and running a real-world deployment. This work provides a blueprint for building and operating advanced, reproducible P4 experimentation infrastructure for the research community.
Speaker
Mohammad Firas Sada is a researcher at SDSC specializing in deep learning, high-performance computing (HPC), and advanced networking. His work within the Nautilus Kubernetes cluster at the National Research Platform focuses on distributed AI workflows, network programmability, hardware acceleration with novel compute architectures, and scalable cyberinfrastructure for data-intensive science. His interests include optimizing AI training across GPU clusters, accelerating scientific computing with programmable networks, and developing tools for large-scale data movement and workflow automation. He enjoys working with talented teams to foster collaboration, exchange ideas, and advance research in computing.

Register to attend this virtual & free event

P4 Developer Days – P4Check: a P4 Verification Tool
2026-06-25 08:00 - 09:00
Register to attend this P4 Developer Day webinar on June 25 at 8 am PT/11 am ET/5 pm CET
P4Check: a P4 Verification Tool

Abstract
We present P4Check, a scalable and practical one-stop shop for verifying data planes defined in P4. P4Check combines well-proven techniques, symbolic execution, big-step semantics and model checking with a novel high-level specification language into a tool to verify properties of stateful P4 programs at both the device and network levels. We present case studies showing property verification and bug detection for real-world P4 programs and conduct experiments to quantify the performance of p4Check compared to earlier works.
Speaker
Tommaso Pacciani is a PhD candidate in Multiscale Networked Systems (MNS) at the University of Amsterdam. His research focuses on applying formal methods and language design to enable the verification of programmable networks. His additional research interests include functional programming, effect systems, and debugging.

Register to attend this virtual & free event

P4 Developer Days – MORP4: A Dynamic Network Telescope
2026-07-09 08:00 - 09:00
Register to attend this P4 Developer Day webinar on July 9 at 9 am PT/11 am ET/5 pm CET
MORP4: A Dynamic Network Telescope

Abstract
A network telescope passively monitors unsolicited traffic reaching unused Internet address space advertised to the global routing system. For more than two decades, network telescopes have allowed unique global visibility into a wide range of Internet phenomena. However, telescopes are afflicted by two main issues: progressive erosion due to IPv4 space unavailability and blacklisting. To overcome these issues, we propose MORP4, a programmable data-plane framework implementing a “dynamic” network telescope.
MORP4 accurately and adaptively tracks unused space of an organization’s network with configurable time and space granularity and captures only traffic directed towards unused addresses at line rate. We provide an implementation in P4 and Python/C++, and deploy it on a Tofino switch. We show that it can detect unused IPv4 address space at the finest granularity (/32) while operating at line rate and provide an effective approach for operating a telescope in the IPv6 domain.
Speaker
Iliana is a fourth-year PhD student in Computer Science at Georgia Tech, supervised by Prof. Dainotti. Her research focuses on interdomain routing security and Internet measurements. She holds a Diploma in Electrical and Computer Engineering from the National Technical University of Athens. Iliana is particularly interested in detecting and analyzing BGP routing anomalies and conducting network telescope measurements with the use of programmable switches. Her work aims to shed more light on current trends in misconfigurations and attacks in both the control and data planes. Iliana is also a recipient of the Onassis Foundation Scholarship.

Register to attend this virtual & free event
