P4Cub: A Little Language for Big Routers
R Peterson, EH Campbell, J Chen, N Isak… - Proceedings of the 12th …, 2023 - dl.acm.org
P4Cub is a new intermediate representation (IR) for the P4 programming language. It has
been designed with the goal of facilitating development of certified tools. To achieve this …
been designed with the goal of facilitating development of certified tools. To achieve this …
P4R-Type: A Verified API for P4 Control Plane Programs
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and
optimizing network devices, such as switches and routers. The de facto standard for …
optimizing network devices, such as switches and routers. The de facto standard for …
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and
optimizing network devices, such as switches and routers. The de facto standard for …
optimizing network devices, such as switches and routers. The de facto standard for …
[PDF][PDF] Traffic Structure-Aware Network Telemetry Systems: Foundations, Designs, and Applications
CH Misa - 2024 - cs.uoregon.edu
Real-time traffic monitoring is a mission-critical capability for engineers and administrators
tasked with managing modern computer networks. To cope with the challenges of extremely …
tasked with managing modern computer networks. To cope with the challenges of extremely …
[PDF][PDF] Traffic Monitoring Using Programmable Switch Hardware for In-Network Aggregation
C Misa - cs.uoregon.edu
The ability to observe and make sense of network traffic is a persistent and well-established
requirement for effective administration of performant and secure networks. Over the last ten …
requirement for effective administration of performant and secure networks. Over the last ten …