There is a newer version of the record available.

Published April 20, 2026 | Version v1
Software Open

NEST: Network Enforced Session Types (Artifact)

Authors/Creators

  • 1. ROR icon Technical University of Denmark
  • 2. ROR icon Cornell University
  • 3. ROR icon Radboud University Nijmegen
  • 4. ROR icon École Polytechnique Fédérale de Lausanne

Description

This artifact contains NEST, the tool presented in the ECOOP'26 paper "NEST: Network Enforced Session Types".
For more information, see the included README.md file.

Files

nest_artifact.zip

Files (5.0 GB)

Name Size
md5:ba56ff1728edc13bf953a4d879064a93
5.0 GB Preview Download