共 50 条
- [21] p4v: Practical Verification for Programmable Data Planes PROCEEDINGS OF THE 2018 CONFERENCE OF THE ACM SPECIAL INTEREST GROUP ON DATA COMMUNICATION (SIGCOMM '18), 2018, : 490 - 503
- [22] HOL4P4: Semantics for a Verified Data Plane PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON P4 IN EUROPE, EUROP4 2022, 2022, : 39 - 45
- [23] P2C: Understanding Output Data Files via On-the-Fly Transformation from Producer to Consumer Executions 22ND ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2015), 2015,
- [26] DWT in P4: Periodicity Detection in the Data Plane 2022 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM 2022), 2022, : 6343 - 6348
- [27] Improving TCP Fairness in Non-programmable Networks using P4-programmable Data Planes 2024 IEEE INTERNATIONAL BLACK SEA CONFERENCE ON COMMUNICATIONS AND NETWORKING, BLACKSEACOM 2024, 2024, : 102 - 107
- [28] P4-CoDel: Active Queue Management in Programmable Data Planes 2018 IEEE CONFERENCE ON NETWORK FUNCTION VIRTUALIZATION AND SOFTWARE DEFINED NETWORKS (NFV-SDN), 2018,
- [30] In-situ Programmable Switching using rP4: Towards Runtime Data Plane Programmability PROCEEDINGS OF THE THE 20TH ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2021, 2021, : 69 - 76