Jens Kanstrup Larsen

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Three Dimensional

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
P4R-Type: A Verified API for P4 Control Plane Programs. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, Alceste Scalas
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report). CoRR (2023)