1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2026
NEST: Network Enforced Session Types (Technical Report)
Jens Kanstrup Larsen, Alceste Scalas, Guy Amir +3
This paper introduces NEST (Network-Enforced Session Types), a runtime verification framework that moves application-level protocol monitoring into the network fabric. Unlike prior…
cs.PL2023★ 1 cited
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller +1
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and optimizing network devices, such as switches and routers. The de facto standard for progr…