pith. sign in

Title resolution pending

By Item 1, Item 2, Item 3, Def

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.PL 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

NEST: Network Enforced Session Types (Technical Report)

cs.PL · 2026-04-23 · unverdicted · novelty 7.0

NEST synthesizes packet-level monitors from session types to enforce protocols in the data plane, with extensions for packet loss and reordering, implemented in P4 and evaluated on microservices and network functions.

citing papers explorer

Showing 1 of 1 citing paper.

  • NEST: Network Enforced Session Types (Technical Report) cs.PL · 2026-04-23 · unverdicted · none · ref 6

    NEST synthesizes packet-level monitors from session types to enforce protocols in the data plane, with extensions for packet loss and reordering, implemented in P4 and evaluated on microservices and network functions.