Artifact details verification of wait-freedom in concurrent higher-order programs, suggesting enhanced reliability in programming practices.
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.
No takes yet. Share an insight, caveat, or question.
Namakonov et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: