Document Open Access Logo

NEST: Network Enforced Session Types (Artifact)

Authors Jens Kanstrup Larsen , Alceste Scalas , Guy Amir , Jules Jacobs , Jana Wagemaker , Nate Foster

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.12.1.2.pdf
  • Filesize: 499 kB
  • 3 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Software and its engineering → Software verification
Keywords
  • Session types
  • runtime verification
  • P4
  • programmable data planes.

Metrics

Artifact

Artifact Evaluation Policy

The artifact has been evaluated as described in the ECOOP 2026 Call for Artifacts and the ACM Artifact Review and Badging Policy.

Abstract

This artifact contains NEST: a tool for synthesizing network-level runtime monitors from application-level protocols specified as session types. More specifically, NEST takes as input one or more session types, and generates (1) a set of table entries to be uploaded on network switches that support the P4 standard, and (2) a Python API allowing applications to send/receive messages that carry the packet headers required for the network-level monitoring to work. This artifact also contains the code for reproducing the examples and measurements in the companion paper.

Cite As Get BibTex

Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, and Nate Foster. NEST: Network Enforced Session Types (Artifact). In Special Issue of the 40th European Conference on Object-Oriented Programming (ECOOP 2026). Dagstuhl Artifacts Series (DARTS), Volume 12, Issue 1, pp. 2:1-2:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DARTS.12.1.2

Author Details

Jens Kanstrup Larsen
  • DTU Compute, Technical University of Denmark, Denmark
Alceste Scalas
  • DTU Compute, Technical University of Denmark, Copenhagen, Denmark
Guy Amir
  • Cornell University, Ithaca, NY, USA
Jules Jacobs
  • Cornell University, Ithaca, NY, USA
Jana Wagemaker
  • Radboud University, Nijmegen, The Netherlands
Nate Foster
  • EPFL, Lausanne, Switzerland
  • Jane Street

Funding

Research partially supported by: the DTU Nordic Five Tech Alliance grant "Safe and secure software-defined networks in P4"; the Horizon Europe grant no. 101093006 "TaRDIS"; and the Independent Research Fund Denmark project "Hyben." The work of Amir was partially supported by a Rothschild Fellowship from Yad Hanadiv (The Rothschild Foundation).

Related Article

  • Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, and Nate Foster, "NEST: Network Enforced Session Types", in 40th European Conference on Object-Oriented Programming (ECOOP 2026), LIPIcs, Vol. 372, pp. 17:1-17:31, 2026. https://doi.org/10.4230/LIPIcs.ECOOP.2026.17
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact