Published May 12, 2026 | Version v3
Project deliverable Open

Verifying wait-freedom for concurrent higher-order programs (Artifact)

Description

This is an artifact for the "Verifying wait-freedom for concurrent higher-order programs" paper accepted to ECOOP'26.

See the artifact.pdf file for the details.

Files

artifact.pdf

Files (6.1 GB)

Name Size
md5:f57759dff97e5ee28a0aa71c07bf4829
525.3 kB Preview Download
md5:6e28f3df96526c9b5ca22f296fac4a4c
6.1 GB Preview Download

Additional details

Funding

Villum Fonden
Villum Investigator VIL73403
Villum Fonden
Center for Basic Research in Program Verification 25804

Software

Repository URL
https://github.com/logsem/aneris/tree/ecoop_artifact
Programming language
Coq
Development Status
Active