Published August 30, 2024 | Version 1.1.0
Software Open

Artifact of 'Verified Lock-Free Session Channels with Linking'

Creators

  • 1. ROR icon Radboud University Nijmegen

Description

The artifact for the OOPSLA 2024 paper 'Verified Lock-Free Session Channels with Linking', containing the source code, instructions for evaluating the artifact, and the correspondence between the artifact and paper.

Files

README.md

Files (78.6 kB)

Name Size Download all
md5:c7352649b19b15121ae804c0278c6129
58.8 kB Preview Download
md5:f3431d147bceadc3cee03cf8f1c74a07
1.7 kB Download
md5:99aad856ac0299cf9dbabf3634d4a53c
18.1 kB Preview Download