Published May 28, 2026 | Version ICFP-2026-AEC-submission
Software Open

A Separation Logic for Parallel Time Complexity with Work and Span Credits (Artifact)

Authors/Creators

  • 1. ROR icon 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

Files (1.6 GB)

Name Size
md5:7c894b9db7074c12ed9519263ad8873d
1.6 GB Download
md5:8621ccf89cfe7d263405064fbf32d601
223.3 kB Download

Additional details

Software

Repository URL
https://github.com/nobrakal/parcas
Programming language
Coq