Artifact for the paper "Verifying Array Properties in Pure Data-Parallel Programs"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin E. Oancea
DOI: 10.5281/zenodo.19610644
Cited by: 1

Abstract

Artifact for the PLDI'26 paper Verifying Array Properties in Pure Data-Parallel Programs.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
16 April 2026