P4 (@P4lang) header
P4 (@P4lang) profile picture

P4 is a domain-specific language for network devices, specifying how data plane devices (switches, NICs, routers, filters, etc.) process packets.

Palo Alto, CA USA
Joined March 2015
Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)Photo by P4 (@P4lang)
Very honored to receive this recognition 🙏🥳
🎉 Congratulations to Steffen Smolka, the winner of this year’s P4 Contributor Award! 🏆 Read what Steffen had to say: hubs.la/Q04CgXgX0
1
1
8
184
Don't miss our very own Fabian Ruffy at presenting X2 #switch programming with @P4lang Consortium (P4.org) at @Google! #ProgrammableSilicon
Don't miss Fabian Ruffy's talk: XNA: Programming the X2 with P4 2026 P4 Workshop | Oct 12 | Silicon Valley Full schedule: hubs.la/Q04yc5Hp0
1
151
Successfully completed 2026. Learned a lot during this gsoc period about open source , systems programming and networking.🥳🥳🥳 Thanks @P4lang for giving me this opportunity #GSoC2026 #GSoC #OpenSource #Coding #GoogleSummerOfCode
2
1
13
312
Send us your latest research and engineering work enabled by P4, including work-in-progress ideas!
📣 Call for Papers for EuroP4'26 is open! 📅 Deadline is August 7 ❇️ Submit here: p4.org/euro-p4-2026/
1
1
255
Super excited to take part in GSoC 2026 with the P4 Language Consortium this Summer!
🎉 Five P4 projects were accepted for GSoC 2026! Congratulations to the contributors and thank you to our mentors for making it possible!☀️ View accepted projects: p4.org/gsoc-2026-projects/
1
2
142
Great opportunity to get hands-on experience with P4! We leverage it at Google to eliminate bugs in our switches and make it easy for us to work with different vendors: youtu.be/qVohRRgRuvo?si=MNGK…
P4 was accepted as a Google Summer of Code #GSoC Mentor Organization for the third year in a row! ☀️ Apply to be a P4 mentor or contributor: p4.org/gsoc-2026-mentor-org/
1
1
3
269
#ICYMI, at the '25 Workshop, Fabian Ruffy & Vladimir Gurevich revealed #XASM: the foundation for programming the Xsight Labs X2 with P4. The presentation is available on-demand. #P4 #P4Workshop #OpenSource
Check out the video by @XsightLabs from the 2025 P4 Workshop, “XASM: A Foundation to Program the X2 With P4” | tinyurl.com/2s3nscah #P4 #P4Workshop #OpenSource
1
4
245
Replying to @NVIDIANetworkng
@NVIDIANetworkng slides in @P4lang support in the latest release of their DOCA (v2.10).
1
1
176
Wrapping up the semester on a super high note with Prof. Christian Rothenberg (@chesteve) on "Turning P4/Tofinos into an Emulation and Traffic Generation Toolbox!" at @PurdueCS. Some exciting developments are coming out of his group! 😊 @P4lang | gitlab.com/purdue-cs536/fall…
Thank you so much, Keyur Patel (CTO, @arrcusinc), for visiting @PurdueCS and enlightening us with the latest-n-greatest in "Propelling Digital Transformation." We get to see a full-stack picture of the modern digital ecosystem—truly inspiring! 🙏🏼😊 gitlab.com/purdue-cs536/fall…
3
7
1,328
Excited to have @maria__apo giving a keynote at the @P4lang Workshop 2024, sharing insights on how programmability is key to scaling networks! #P4Lang #Networking #Innovation p4.org/p4_events/2024-p4-wor…
3
13
1,033
Woah! Attending the fireside chat with @martin_casado at the @P4lang Workshop 2024, moderated by @natefoster! p4.org/p4_events/2024-p4-wor…
1
11
813
Wrapping up the 2024 P4 Workshop with a panel on "P4 on Hardware: The Future," featuring perspectives from industry leaders at AMD, Intel, and Google! @P4lang p4.org/2024-p4-workshop/
1
6
596
Probably the best part of faculty life is seeing your former students do amazing things. Here’s @steffensmallcar and @dilorenzo_j presenting their work on P4-BAR modeling and automatically verifying Google’s data center switches with @P4lang.
3
40
1,680
The list of accepted papers #EuroP4 @P4lang is available! It includes our work "P4Chaskey: An Efficient MAC Algorithm for PISA Switches": to our knowledge, the first solution to compute MACs using 128-bit keys without packet recirculation, guaranteeing line rate Terabit speeds.
Announcing papers selected for P4 Euro which takes place in conjunction with the 32nd @IEEE International Conference on Networks Protocols (ICNP 2024). Check out the accepted papers and register to attend! | bit.ly/3xyhjSQ #P4 #EuroP4 #P4Workshop #OpenSource
1
6
310
Planter is an open source @P4lang in-network inference framework that supports many ML models and runs on a range of programmable network devices: switches, FPGA, DPU, Raspberry Pi, ... github.com/In-Network-Machin… 2/5
1
5
9
320
Save the date for the 2024 P4 Workshop on October 3rd in the San Francisco Bay Area! This is a great opportunity to learn, share your insights and network with peers. More info coming soon | bit.ly/4exmwLk #P4 #P4Workshop #OpenSource
5
2
10
1,614
I'm thrilled to have @msbaz2013 as co-chair of the P4 Education WG! His expertise, energy, and passion will be key to continually improve networking education with @P4lang. Also, huge thanks to @n4noa for being an amazing co-chair in the past few years.
Welcoming Muhammad Shahbaz, Purdue University, as co-chair of the P4 Education Working Group. He brings his multi-year experience of developing hands-on educational material (and platforms) using emerging tools. Check out the blog | bit.ly/45F7xt8 #P4 @LifeAtPurdue
5
12
1,757
Csaba presenting our work on verification of a P4 code generator at #IEEE #NetSoft 2023. Joint work with @schmiste_ch. @ELTE_UNI @TUBerlin @univienna schmiste.github.io/netsoft23…
7
16
1,187
Congrats to @hackedy who defended his PhD yesterday! Ryan is the leader of Petr4 project [POPL '21], which produced the first formal semantics for @P4lang, and he also designed new approaches to compiler verification in LeapFrog [PLDI '22] as shown here.
1
1
40
2,372