Verifying wait-freedom for concurrent higher-order programs (Artifact)
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.
Authors
- Amin Timany (ORCID: https://orcid.org/0000-0002-2237-851X)
- Lars Birkedal (ORCID: https://orcid.org/0000-0003-1320-0098)
- Egor Namakonov (ORCID: https://orcid.org/0000-0002-7517-9389)
Institutions
- Aarhus University (DK)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-05-12
- DOI
- https://doi.org/10.5281/zenodo.20134905
- Primary Topic
- Distributed systems and fault tolerance
- Type
- article
- Field-Weighted Citation Impact
- 0.00