Published August 30, 2024
| Version 1.1.0
Software
Open
Artifact of 'Verified Lock-Free Session Channels with Linking'
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.