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

Name	Size
artifact.pdf md5:d009763c705a79607a9946807e7a42a4	506.2 kB	Preview Download
paper-appendix.pdf md5:af67c478e8dfa63d096517ff7c31165a	824.0 kB	Preview Download
wfree.ova md5:17275038dc8b956014b9bfd261c5cff1	6.2 GB	Download
wfree_suppl.zip md5:b1c26612bd6bbfd685164afe8cb92808	1.3 MB	Preview Download