The research community has published a growing number of papers on the design and implementation of networked systems built using P4.
Journals
- “Efficient File Dissemination in Data Center Networks with Priority-based Adaptive Multicast.” April 2020. In IEEE Journal on Selected Areas in Communications.
- “Towards a Sweet Spot of Dataplane Programmability, Portability and Performance: On the Scalability of Multi-Architecture P4 Pipelines.” September 2018. In IEEE Journal on Selected Areas in Communications.
- “P4-to-VHDL: Automatic Generation of High-Speed Input and Output Network Blocks.” February 2018. In Microprocessors and Microsystems journal (MICPRO).
- “Data Plane Programmability Beyond OpenFlow: Opportunities and Challenges for Network and Service Operations and Management.” September 2017. In Journal of Network and Systems Management.
- “The P4-16 Programming Language.” August 2017. In ACM SIGOPS Operating Systems Review (OSR), Vol. 51, no 1.
- “Programming the Network Dataplane in P4 (in Chinese).” July 2016. In Communications of the China Computer Federation (CCF).
- “Paxos Made Switch-y.” April 2016. In ACM SIGCOMM Computer Communication Review (CCR).
- “P4: Programming Protocol-Independent Packet Processors.” July 2014. In ACM SIGCOMM Computer Communication Review (CCR).
Conferences
- “How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.” July 2019. In European Conference on Object-Oriented Programming (ECOOP).
- “Fast String Searching on PISA.” April 2019. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “The Case For In-Network Computing On Demand.” March 2019. In European Conference on Computer Systems (EuroSYS).
- “Efficient Measurement on Programmable Switches Using Probabilistic Recirculation.” September 2018. In IEEE International Conference on Network Protocols (ICNP).
- “SketchLearn: Relieving User Burdens in Approximate Measurement with Automated Statistical Inference.” August 2018. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “Elastic Sketch: Adaptive and Fast Network-wide Measurements.” August 2018. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “Debugging P4 programs with Vera.” August 2018. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “p4v: Practical Verification for Programmable Data Planes.” August 2018. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “Synchronized Network Snapshots.” August 2018. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “NetHide: Secure and Practical Network Topology Obfuscation.” August 2018. In USENIX Security Symposium.
- “Distributed Network Monitoring and Debugging with SwitchPointer.” April 2018. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).
- “NetChain: Scale-Free Sub-RTT Coordination.” April 2018. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).
- “Approximating Fair Queueing on Reconfigurable Switches.” April 2018. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).
- “Uncovering Bugs in P4 Programs with Assertion-based Verification.” March 2018. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “Life in the Fast Lane: A Line-Rate Linear Road.” March 2018. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “P4-Compatible High-Level Synthesis of Low Latency 100 Gb/s Streaming Packet Parsers in FPGAs.” February 2018. In 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA'18).
- “Configurable FPGA Packet Parser for Terabit Networks with Guaranteed Wire-Speed Throughput.” February 2018. In 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA'18).
- “NetCache: Balancing Key-Value Stores with Fast In-Network Caching.” October 2017. In ACM SIGOPS Symposium on Operating Systems Principles (SOSP).
- “Programmable Data Plane for Professional Media Networking.” October 2017. In SMPTE 2017 Annual Technical Conference and Exhibition.
- “Line Rate Programmable Packet Processing in 100Gb Networks.” September 2017. In 27th International Conference on Field Programmable Logic and Applications (FPL).
- “SilkRoad: Making Stateful Layer-4 Load Balancing Fast and Cheap Using Switching ASICs.” August 2017. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “dRMT: Disaggregated Programmable Switching.” August 2017. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “Language-Directed Hardware Design for Network Performance Monitoring.” August 2017. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “MACSAD: High performance dataplane applications on the move.” June 2017. In IEEE International Conference on High Performance Switching and Routing (HPSR).
- “Swing State: Consistent Updates for Stateful and Programmable Data Planes.” April 2017. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “Heavy-Hitter Detection Entirely in the Data Plane.” April 2017. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “Dapper: Data Plane Performance Diagnosis of TCP.” April 2017. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “Whippersnapper: A P4 Language Benchmark Suite.” April 2017. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “P4FPGA: A Rapid Prototyping Framework for P4.” April 2017. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “Evaluating the Power of Flexible Packet Processing for Network Resource Allocation.” March 2017. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).
- “LossRadar: Fast Detection of Lost Packets in Data Center Networks.” December 2016. In ACM SIGCOMM International Conference on emerging Networking EXperiments and Technologies (CoNEXT).
- “PISCES: A Programmable, Protocol-Independent Software Switch.” August 2016. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “SNAP: Stateful Network-Wide Abstractions for Packet Processing.” August 2016. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “One Sketch to Rule Them All: Rethinking Network Flow Monitoring with UnivMon.” August 2016. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “Programmable Packet Scheduling at Line Rate.” August 2016. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “Packet Transactions: High-Level Programming for Line-Rate Switches.” August 2016. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
- “P4-to-VHDL: Automatic Generation of 100Gbps Packet Parsers.” May 2016. In IEEE 24th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM2016).
- “FlowRadar: A Better NetFlow for Data Centers.” March 2016. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).
- “HULA: Scalable Load Balancing Using Programmable Data Planes.” March 2016. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “NetPaxos: Consensus at Network Speed.” June 2015. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “DC.p4: programming the forwarding plane of a data-center switch.” June 2015. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “Compiling Packet Programs to Reconfigurable Switches.” May 2015. In USENIX Symposium on Networked Systems Design and Implementation (NSDI).
Workshops
- “Packet Subscriptions for Programmable ASICs.” November 2018. In ACM Workshop on Hot Topics in Networks (HotNets).
- “Hardware-Accelerated Network Control Planes.” November 2018. In ACM Workshop on Hot Topics in Networks (HotNets).
- “Infinite Resources for Optimistic Concurrency Control.” August 2018. In ACM SIGCOMM Workshop on In-Network Computing (NetCompute).
- “In-network computation is a dumb idea whose time has come.” November 2017. In ACM Workshop on Hot Topics in Networks (HotNets).
- “The Case for a Flexible Low-Level Backend for Software Data Planes.” August 2017. In Asia-Pacific Workshop on Networking (APNet).
Posters
- “PVPP: A Programmable Vector Packet Processor.” April 2017. In ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR).
- “MACSAD: Multi-Architecture Compiler System for Abstract Dataplanes (Aka Partnering P4 with ODP).” August 2016. In ACM Conference of the Special Interest Group on Data Communication (SIGCOMM).
Dissertations
- “Generation of High-Speed Network Device from High-Level Description.” November 2016. PhD Dissertation, Czech Technical University in Prague, Faculty of Information Technology.