Jens Kanstrup Larsen
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Alceste Scalasonce
- Philipp Halleronce
- Roberto Guancialeonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| P4R-Type: A Verified API for P4 Control Plane Programs | OOPSLA 2023 | 2023-10-23 |
Library implements a verified Scala API that encodes P4Info as Scala types and statically rejects mismatches between P4 tables, allowed actions, and action… | ||
| nothing matches | ||