The Network is the Computer: A Programming Language Perspective

on YouTube ↗01h 08m

" summary

Argues that making switches programmable with the P4 language lets operators push filtering, caching and tiny distributed services into the data plane; shows a compiler for modular pipelines (microP4) that maps to real hardware with modest stage overhead (sometimes ~2×) yet fits available routers, and empirical tests (baseline vs offloaded filtering at 1M/8.25M pps) that reduce tail latency. Presents a verification pipeline that proves parser equivalence for realistic data‑center parsers using proofs in Coq plus SMT queries.

AI-written summary · about

" chapters (19)

1. 0:00Introduction
2. 1:29Network as programmable system
3. 2:16PL principles in networking
4. 5:46Modern web services complexity
5. 8:58Internet architecture challenges
6. 10:01Fused networking and PL history
7. 13:27Programmable networks now
8. 16:17P4 language introduction
9. 21:59P4 for network hardware
10. 24:02P4 architecture and model
11. 26:51P4 adoption and impact
12. 28:38In-network computing
13. 36:05Modular network pipelines
14. 39:15Compiling to hardware
15. 42:03Reasoning about network programs
16. 44:11Verifying P4 parsers
17. 55:49Reflections on PL and networks
18. 58:38Future of programmable networking
19. 1:00:25Q&A

" related talks

• 47mDeep Programmability: A New Lens on NetworkingNate Foster · ICFP 2022
• 15mEnabling In-situ Programmability in Network Data Plane: From Architecture to LanguageYong Feng, Bin Liu, Ying Wan, Zhikang Chen, Haoyu Song, Wenquan Xu, Jiahao Li, Zijian Zhang, Tong Yun · 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22)
• 18mP4Cub: A Little Language for Big RoutersEric Hayden Campbell, Nate Foster, Rudy Peterson, Ryan Doenges, John Chen, Natalie Isak, Calvin Shyu, Parsia Ataei · CPP 2023
• 16mSirius: Composing Network Function Chains into P4-Capable Edge GatewaysDennis Cai, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Jiamin Cao, Yifan Li, Ming Tang · 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)
• 19mNet-P4ct: Enhanced WAN Bandwidth Fair Sharing Using P4 Programmable SwitchesHongyu Wu, Yongping Tang, Haoran Chen, Mingwei Cui, Yihan Zou, Yihang Miao, Suhan Jiang, Damu Ding, Lirong Lai, Ming Gao, Rui Jiang, Shengyuan He, Anjian Chen, Jiaming Shi, Junjie Wan, Yandong Duan, Ruomin Fang, Qiao Kang, Guangrui Wu, Xiyun Xu · NSDI '26
• 20mContra: A Programmable System for Performance aware RoutingDavid Walker, Ryan Beckett, Kuo-Feng Hsu, Ang Chen, Jennifer Rexford, Praveen Tammana · NSDI 2020
• 22mDependently-Typed Data Plane ProgrammingEric Hayden Campbell, Nate Foster, Mira Mezini, Matthias Eichholz, Matthias Krebs · POPL 2022
• 12mFlightplan: Dataplane Disaggregation and Placement for P4 ProgramsBoon Thau Loo, Isaac Pedisich, John Sonchack, Nik Sultana, Hans Giesen, Zhaoyang Han, Nishanth Shyamkumar, Shivani Burad, André DeHon · NSDI ’21