Jens Kanstrup Larsen

Orcid: 0009-0006-4039-3808

According to our database¹, Jens Kanstrup Larsen authored at least 3 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

NEST: Network Enforced Session Types (Technical Report).

[DOI]

CoRR, April, 2026

2023

P4R-Type: A Verified API for P4 Control Plane Programs.

[DOI]

Proc. ACM Program. Lang., October, 2023

P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report).

[DOI]

CoRR, 2023