Published May 28, 2026 | Version ICFP-2026-AEC-submission
Software Open
Authors/Creators
-
1.
New York University
Description
This is the artifact for the paper "A Separation Logic for Parallel Time Complexity with Work and Span Credits".
The sources are a snapshot of the repository https://github.com/nobrakal/parcas, and the virtual machine contains those sources already built and checked by Rocq. The artifact follows the instructions from https://icfp26.sigplan.org/track/icfp-2026-artifact-evaluation#Submission-Guidelines. The virtual machine has been tested on a Linux x86_64 host (22-core Intel CPU, 30 GiB RAM).
Files
Additional details
Software
- Repository URL
- https://github.com/nobrakal/parcas
- Programming language
- Coq